2024 Amazon Research Award
Scaling Formal Verification of Security Properties for Unmodified System Software
Research topic
Automated reasoning
2021 Amazon Research Award
Verifying System Software on an Arm Multiprocessor Hardware Model
