2022 Amazon Research Award
Formalizing FISA: using automated reasoning to formalize legal reasoning
2021 Amazon Research Award
Counterexample-guided inference of modular specifications
Research topic
Automated reasoning
2023 Amazon Research Award
Democratizing the Law - Using LLMs and Automated Reasoning for Legal Reasoning
Research topic
Automated reasoning
