Contact

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

This email address is being protected from spambots. You need JavaScript enabled to view it.
+55 (61) 3107-3676

Links

Miscellaneous Information

 

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.