2022 Amazon Research Award
DafnyDefender: automated testing for the Dafny ecosystem
Research topic
Automated reasoning
2023 Amazon Research Award
Validating Compilers for the Dafny Verified Programming Language
Research topic
Automated reasoning