Flavio Leonardo Cavalcanti Moura
Contact
-
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.