Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), com período sanduíche de 4 meses no Institut National de Recherche en Informatique et en Automatique (INRIA), na França, através do Programa STIC AmSud, tendo a CAPES como instituição de fomento. Membro colaborador do Laboratório de Tecnologias em Métodos Formais (TecMF) da PUC-Rio. 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 Escola Brasileira de Administração Pública e de Empresas da Fundação Getúlio Vargas (EBAPE/FGV), onde também é professor e leciona disciplinas relacionadas à computação para alunos de graduação e mestrado. Foi professor de graduação no Departamento de Informática da PUC-Rio.