Contato

Flavio Leonardo Cavalcanti Moura
A1-15/7
Atendimento: segunda-feira e quarta-feira 16:45-18:45

Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
+55 (61) 3107-3676

Links

Outras Informações

 

Possui graduação em Bacharelado e Licenciatura em Matemática pela Universidade de Brasília (1998), mestrado em Matemática pela Universidade de Brasília (2002), doutorado em Teoria da Computação (Sanduíche) - Heriot-Watt University (2005), doutorado em Matemática pela Universidade de Brasília (2006) e pós-doutorado na Université Paris Diderot (Paris 7) (2011). Atualmente é professor associado da Universidade de Brasília. Tem experiência na área de Matemática, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: cálculo lambda, substituições explícitas e unificação de ordem superior.