Ph.D. in Computer Science at Pontifícia Universidade Católica of Rio de Janeiro (PUC-Rio), with a sandwich period at the Institut National de Recherche en Informatique et en Automatique (INRIA), France.
Collaborating Member of the Laboratory of Technologies in Formal Methods (TecMF) of PUC-Rio. His main research interest is in the Logic area, specifically in Proof Theory and in the development of automatic and semi-automatic provers for different logics.
He currently coordinates the Computation Center of the Brazilian School of Public and Business Administration of the Getulio Vargas Foundation (EBAPE / FGV), where he also teaches programming subjects for undergraduate courses in Business Administration and Economics.
Fields of Interest
- Theory of Computation