2024 Amazon Research Award
Synthesis-based Symbolic BitVector Simplification for Lean
Research topic
Automated reasoning
2023 Amazon Research Award
Correct and High-Performance Domain-Specific Compilation with Lean and MLIR
Research topic
Automated reasoning
