Jean-baptiste Tristan
Senior Principal Scientist at Amazon Web Services (AWS)
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolJean-baptiste Tristan is a Senior Principal Scientist based in Cambridge, MA with 14 years of experience at the intersection of formal methods, machine learning, and production AI. He has led core ML research and fairness efforts at Oracle Labs, taught advanced ML and compilers at Harvard and Boston College, and now drives agentic security and neurosymbolic guardrails for AWS Agentic AI. His background combines formal verification (Lean, Dafny, CompCert) and probabilistic modelling with practical systems work such as large-scale topic modeling and GPU-accelerated inference. He has a PhD in computer science from Université Paris Cité and a postdoc from Harvard, reflecting deep theory paired with hands-on implementation. Notably, he has translated formal proofs into deployable tooling—ranging from compiler correctness to differential-privacy verification—bridging proof-first research and cloud-scale AI safety. Colleagues rely on him for rigorous, reproducible solutions to hard verification and fairness problems in real-world ML systems.
15 years of coding experience
17 years of employment as a software developer
Master, Computer science, Master, Computer science at Ecole normale supérieurepostdoc, Computer Science, postdoc, Computer Science at Harvard UniversityPh.D., Computer science, Ph.D., Computer science at Université Paris Cité
English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (24)
programming-language10
verification10
dafny10
differential-privacy9
math-library9
monte-carlo8
ranking8
vscode8
ide7
science7
react7
kernel6
computer-science6
algorithms6
machine-learning5
Programming languages (15)
Github contributions (5)
leanprover/SHerLOC
Aug 2024 - Jun 2025
A StableHLO analyzer in Lean
Contributions:2 reviews, 32 PRs, 116 pushes in 9 months
leanprover/SampCert
Apr 2024 - Apr 2025
SampCert : Verified Differential Privacy
Contributions:1 release, 7 reviews, 62 PRs in 1 year
differential-privacy
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.