Andrew M. Kent (Preferred)
Andrew M. Kent
Software Engineer, Automated Reasoning Group, Amazon
Joined
September 2025
Names
Emails
****@amazon.com (Confirmed)
****@indiana.edu
Personal Links
Career & Education History
Software Engineer
Automated Reasoning Group, Amazon (amazon.com)
2022 – Present
Researcher
Galois (galois.com)
2019 – 2022
PhD student
Computer Science, Indiana University at Bloomington (indiana.edu)
2014 – 2019
Advisors, Relations & Conflicts
Expertise
Programming Languages
2014 – Present
Formal Methods
2014 – Present
Publications
Co-Authors
- Ali Torkamani
- Aman Goel
- Benjamin Kiesl-Reiter
- Byron Cook
- Darion Cassel
- Dejan Jovanović
- Dimitra Giannakopoulou
- Divya Raghunathan
- Duncan Clough
- Ferhat Erata
- Jeffrey J. Kuna
- Jianan Yao
- Joe Hendrix
- Joseph Lilien
- Marc Hudak
- Michael Tautschnig
- Nadia Labai
- Nafi Diallo
- Nathaniel Weir
- Nick Feng
- Niloofar Razavi
- Rémi Delmas
- Sam Bayless
- Zvonimir Rakamaric