Weby shortcut 1a5a9004da81162f034eff2fc7a06c396dfddb022021fd13958735cc25a4882f
banner_topo

André Luiz Galdino

Publicações Ensino

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.

Desde 1999, sou professor do Departamento de Matemática da Regional Catalão da Universidade Federal de Goiás, 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 extendida das minhas atividades visite CV Lattes.