2022 Amazon Research Award
Gillian-Rust: unbounded verification for unsafe rust code
2021 Amazon Research Award
A multi-language platform for symbolic testing and verification
Research topic
Automated reasoning
