Português 
English 
PhD in Computer Science from the Pontifical Catholic University of Rio de Janeiro (PUC-Rio), with a sandwich period at the Institut National de Recherche en Informatique et en Automatique (INRIA), France. His main research interest is the Logic area, specifically in Theory of Proof and the development of automatic and semi-automatic tasters for different logics. He currently coordinates the Computing Center of FGV EBAPE.