Jefferson Santos

Jefferson Santos

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

Teaching Professor in undergraduated courses in PUC-Rio and in Fundação Getulio Vargas

Curriculum Vitae

Research Areas


TecMF: JeffersonSantos (last edited 2017-04-21 18:34:58 by JeffersonSantos)