Jefferson Santos
Professor at FGV
Rio de Janeiro, Brazil
Summary
👤
Senior🎓
Top SchoolJefferson Santos is a Professor and IT Coordinator at FGV EBAPE in Rio de Janeiro with 16 years of experience bridging academic research and practical software delivery. He holds a Ph.D. in Computer Science from PUC‑Rio, conducted research at INRIA in France, and collaborates with PUC‑Rio’s TecMF lab on theorem proving, automated reasoning, and formal methods. At FGV he leads the Computer Center’s software projects while teaching undergraduate and master's courses in computing and digital technologies, translating formal theory into operational systems. His interests span software design, the intersection of software engineering with data science and AI, and the societal impacts of emerging technologies—bringing a rare blend of rigorous theoretical background and hands-on institutional IT leadership.
16 years of coding experience
8 years of employment as a software developer
Pontifical Catholic University of Rio de Janeiro
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (44)
notebook9
ide9
pharo8
knowledge-management8
visualization8
dataflow-programming7
pdf-viewer7
pdf7
ubuntu7
glamorous7
code-editor7
pen6
arch6
markdown6
handwriting5
Programming languages (6)
Github contributions (5)
jeffsantos/pharo-learning
Sep 2021 - Mar 2025
Contributions:36 pushes, 3 branches in 3 years 6 months
jeffsantos/GraphProver
Aug 2013 - Sep 2019
Contributions:70 commits, 44 pushes, 2 branches in 6 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.