2024 Amazon Research Award
Scaling Formal Verification of Security Properties for Unmodified System Software
Research topic
Automated reasoning
2021 Amazon Research Award
“Learning inductive invariants for real distributed protocols”
2020 Amazon Research Award
Microverification of the Linux KVM hypervisor: proving VM confidentiality and integrity
Research topic
Security, privacy, and abuse prevention
2025 Amazon Research Award
Scaling Formal Verification of Security Properties for Unmodified System Software
Research topic
Automated reasoning
