Principal Applied Scientist, Agentic Automated Reasoning Group
at Amazon
The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep