Possui graduação em Ciências da Computação pela Universidade de Brasília (2003), mestrado em Matemática pela Universidade de Brasília (2006) e doutorado em Matemática pela Universidade de Brasília (2010). Tem experiência na área de Teoria e Matemática da Computação, com ênfase em Formalismos, Lógica e Semântica da Computação
Interesses
- Teoria de Tipos
- Tipos de Intersecção
- Cálculo Lambda e Substituições Explícitas
- Métodos Formais em Computação
Formação
-
Pós-Doutorado em Teoria de Tipos, 2013
Université Paris Diderot, PARIS 7, França
-
Doutorado em Matemática, 2010
Universidade de Brasilia, UnB, Brasil
-
Mestre em Matemática, 2006
Universidade de Brasilia, UnB, Brasil