Jefferson Of Barros Santos
Computer Science
Engineering
Getulio Vargas Foundation
Brazil
Biography
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.
Research Interest
Theory of Computation Logic Proof Theory Automatic Reasoning
