Sou Graduado, Especialista e Mestre em Matemática pela Universidade Federal de Goiás (UFG), Doutor e Pós-Doutor em Matemática pela Universidade de Brasília (UnB). Enquanto cursava o doutorado, fiz um Estágio de Doutorado Sanduíche em Métodos Formais, realizado nos Estados Unidos (USA) no National Institute of Aerospace (NIA) em NASA Langley Research Center, no qual fui um dos desenvolvedores de um algoritmo 2-dimensional optimal para detecção e resolução de conflitos no tráfego áereo, chamado KB2D. Também sou um dos contribuidores, através das teorias TRS e group, da NASA Langley PVS Libraries.