2023 Amazon Research Award
The Foundations of Cloud Virtual-machine Isolation
Research topic
Automated reasoning
2025 Amazon Research Award
Gradual Lightweight Methods for High-Assurance Cloud Infrastructure
Research topic
Automated reasoning
