Andrew M. Kent

Software Engineer, Automated Reasoning Group, Amazon
Joined
September 2025

Names

Andrew M. Kent (Preferred)

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

No relations added

Expertise

Programming Languages
2014 – Present
Formal Methods
2014 – Present

Publications

Co-Authors