2020 Amazon Research Award
FOREST: first-order reasoning for ensuring system security
2023 Amazon Research Award
QuAT: Quantifiers with Arithmetic Theories are Friends with Benefits
Research topic
Automated reasoning
