2023 Amazon Research Award
Flotilla: Compositional Formal Verification of Liveness of Distributed Systems Implementations
Research topic
Automated reasoning
2025 Amazon Research Award
Verifying Rust distributed system implementations using monotonic ownership state machines in Verus
Research topic
Automated reasoning
