2023 Amazon Research Award
Optional Type Systems for Model-Implementation Consistency
Research topic
Automated reasoning
2025 Amazon Research Award
Strata-Sphere: Expressive Type Systems and Language Formalizations
Research topic
Automated reasoning
