Doutor em Informática
pela Pontifícia Universidade Católica do Rio de Janeiro
Área de concentração: Fundamentos, Modelagem e Automatização do Raciocínio
Conclusão: outubro de 1995
Mestre em Informática
pela Pontifícia Universidade Católica do Rio de Janeiro
Área de concentração: Lógica e Automatização do Raciocínio
Conclusão: setembro de 1988
Bacharel em Matemática
pela Universidade Federal Fluminense
Conclusão: janeiro de 1983