Interesses
- Fluxo Quantitativo de Informação
- Privacidade
- Fundamentos da Segurança de Computadores
- Métodos Formais
Formação
-
PhD in Computer Science, 2011
LIX - École Polytechnique, France
-
MSc in Computer Science, 2008
Universidade Federal de Minas Gerais (UFMG), Brazil
-
BSc in Computer Science, 2005
Universidade Federal de Minas Gerais (UFMG), Brazil