Jefferson de Barros Santos

(Last updated in: 02/21/2019 - 3:02pm)

Contact Information: 

Educational Background

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
    Proof Theory
    Automatic Reasoning