Joe Hendrix (Preferred)
Joe Hendrix
Researcher, Amazon
Joined
September 2025
Names
Emails
****@amazon.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Amazon (amazon.com)
2024 – Present
Principal Researcher
Lean FRO (lean-lang.org)
2023 – 2024
Principal Researcher
CSL, SRI International (sri.com)
2021 – 2023
Principal Researcher
Galois (galois.com)
2009 – 2021
Advisors, Relations & Conflicts
Expertise
Formal Methods
2000 – 2025
Publications
Co-Authors
- Ali Torkamani
- Aman Goel
- Andrew M. Kent
- Benjamin Kiesl-Reiter
- Byron Cook
- Darion Cassel
- Dejan Jovanović
- Dimitra Giannakopoulou
- Divya Raghunathan
- Duncan Clough
- Ferhat Erata
- Jeffrey J. Kuna
- Jianan Yao
- Joseph Lilien
- Marc Hudak
- Michael Tautschnig
- Nadia Labai
- Nafi Diallo
- Nathaniel Weir
- Nick Feng
- Niloofar Razavi
- Rémi Delmas
- Sam Bayless
- Zvonimir Rakamaric