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).

Experience

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, which manages the School's software and systems development projects.

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, automatic 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.

Currently, he is working in the creation of the Study Group on Computing, Data and Digital Technologies, focused on the study of software artifacts as objects of scientific investigation.

Fields of Interest

• Computational aspects: programming, languages, algorithms, and software development;
• Obtaining, processing and analyzing data; Data Analytics; Software Analytics;
• Impacts of digital technologies on society, organizations, and governments.