<jsantos AT puc-rio DOT br>
Doctoral student in Computer Science at Pontifícia Universidade Católica of Rio de Janeiro (PUC-Rio). He has got his M.Sc. and B.Sc. at the same university. Nowadays, he is IT coordinator at Brazilian School of Public and Business Administration of the Getulio Vargas Foundation (EBAPE/FGV). He is also an undergraduate professor of Computer Science subjects in the same institution. He also taught the course Introduction to Logic at PUC-Rio for Engineering and Computer Science students. He was a student visitor in INRIA, France from August to December 2016.
Member of the Formal Methods Technology Lab (TecMF)
Former student visitor at Deducteam, INRIA, France.
- Theory of Computation
- Proof Theory
- Automated Theorem Proving
- Master's dissertation: