Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
Honorary Research Assistant - Department of Informatics, King's College London Doutorado em Matemática - Departamento de Matemática, Universidade de Brasília Mestrado em Matemática - Departamento de Matemática, Universidade de Brasília
Áreas de Interesse
(áreas de interesse de ensino e pesquisa)
Matemática Aplicada à Computação; Teoria da Computação; Métodos Formais; Raciocínio Equacional; Criptografia.