2022 Amazon Research Award
Advances in conflict-driven SATisfiability modulo theories and assignments
2025 Amazon Research Award
New Data Structure Theories and Quantifiers in CDSAT
Research topic
Automated reasoning
