2022 Amazon Research Award
Enabling one-line rust verification with program synthesis
2023 Amazon Research Award
Proving the Absence of Timing Side Channels in Cryptographic Applications
Research topic
Automated reasoning
