Jefferson Santos


He is a professor at the Brazilian School of Public and Business Administration at Getulio Vargas Foundation (FGV EBAPE), where he teaches subjects related to Computer Science and Digital Technologies to undergraduate and master's students. At FGV EBAPE, he also coordinates the Computer Center, where he leads software systems development projects for the School. 

He is a collaborating member of the Laboratory of Technologies in Formal Methods (TecMF) at PUC-Rio. There, he collaborates with research in Theory of Computation and Logic, specifically in the study of theorem provers, automated reasoning, and artificial intelligence. At PUC-Rio, he was also a professor of subjects related to Computing Theory in undergraduate courses in Engineering and Computer Science. 

Educational Background 

  • PhD in Computer Science – Pontifical Catholic University of Rio de Janeiro (PUC-Rio, completed in 2017), with a four-month sandwich period at the Institut National de Recherche en Informatique et en Automatique (INRIA), France, 2016. 
  • Master’s in Computer Science – PUC-Rio, Brazil (completed in 2010); 
  • Bachelor’s in Computer Science – PUC-Rio, Brazil (completed in 2006). 

Fields of Interest 

  • Automated Reasoning (Logic, Provers and Formal Methods)  
  • Software Design (Models, Object Orientation and Patterns) 
  • Intersections between Software Engineering, Data Science and AI 
  • Impact of Emerging Technologies 


  • Undergraduation
  • Professional Master in Business Administration (MEX)
  • Professional Master in Public Administration (MAP)


High contrast