Jean-baptiste Tristan
Principal Applied 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.
14 years of coding experience
14 years of employment as a software developer
Master, Computer science, Master, Computer science at Ecole normale supérieurePh.D., Computer science, Ph.D., Computer science at Université Denis Diderot (Paris VII)postdoc, Computer Science, postdoc, Computer Science at Harvard University
English, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (50)
programming-language10
agda10
in-progress10
verification10
dafny10
theorem10
compiler10
homotopy-type-theory10
visual-studio-code-extension9
proof-assistant9
dependent-types9
computer-algebra-system9
mathematics9
theorem-proving9
science8
Programming languages (15)
Github contributions (5)
leanprover/SampCert
Apr 2024 - Aug 2024
SampCert : Verified Differential Privacy
Contributions:1 release, 7 reviews, 62 PRs in 4 months
jtristan/jtristan.github.io
Oct 2016 - Jan 2025
Contributions:161 pushes, 1 branch in 8 years 4 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.