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, fez 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 foi um dos desenvolvedores de um algoritmo 2-dimensional optimal para detecção e resolução de conflitos no tráfego aéreo, chamado KB2D. Também é um dos contribuidores, através das teorias TRS e algebra, da NASA Langley PVS Libraries.

Desde 1999, é professor do Instituto de Matemática e Tecnologia da Universidade Federal de Catalão, onde desenvolvo atividades de ensino, pesquisa e extensão. Quanto à pesquisa minhas áreas de interesse são: Matemática Aplicada, Teoria da Reescrita e Métodos Formais.

Para ver uma versão estendida das minhas atividades visite CV Lattes.