Português 
English 
Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), com período sanduíche no Institut National de Recherche en Informatique et en Automatique (INRIA), na França. Tem como principal interesse de pesquisa a área de Lógica, especificamente em Teoria da Prova e no desenvolvimento de provadores automáticos e semi-automáticos para diferentes lógicas. Atualmente coordena o Núcleo de Computação da FGV EBAPE.