Scholar
Jean-Baptiste Tristan
Google Scholar ID: iMs3HJoAAAAJ
Amazon Web Services - Automated Reasoning Group
Citations & Impact
Citations
951
H-index
16
i10-index
23
Publications
20
Co-authors
8
list available
Publications
Resume (English only)
Academic Achievements
- Co-recipient of the 2022 Programming Languages Software Award and the 2021 ACM Software System Award. Published multiple papers such as 'Formally Verified Cloud-Scale Authorization' at ICSE'25, 'Verified Density Compilation for a Probabilistic Programming Language' at PDLI'23, etc.
Research Experience
- Principal Applied Scientist at the Automated Reasoning Group, Amazon Web Services.
Background
- Interested in program verification (especially in Lean), randomized/probabilistic algorithms, reinforcement learning, and compilers.
