2021 Amazon Research Award
“Scaling automated verification of distributed protocols with specification transformation and synthesis”
2025 Amazon Research Award
Linear Types for a Foundational Multi-Modal Program Verifier
Research topic
Automated reasoning
