Sua pesquisa, em área de fronteira, engloba técnicas matemática e computacionais, bem como suas aplicações em segurança de protocolos criptográficos. Dentre suas áreas de interesse estão: Teoria da Computação, Lógica Formal, Teoria da Complexidade, Teoria da Reescrita, Lógica Nominal, Pi-Calculus e Criptografia.
Interesses
- Métodos Formais
- Lógica Formal e Computacional
- Teoria da Reescrita e Aplicações
- Formalizaçao e Análise de Seguranca de Protocolos Criptográficos
Formação
-
Doutorado em Matemática, 2013
Universidade de Brasília, UnB, Brasil/King's College London, UK.
-
Mestrado em Matemática, 2009
Universidade de Brasília, UnB, Brasil
-
Graduação em Matemática, 2006
Universidade Federal de Mato Grosso do Sul, UFMS, Brasil.