2022 Amazon Research Award
Human-in-the-loop deep learning optimization for better usability, transparency, and user trust
Research topic
Machine learning
2025 Amazon Research Award
Scaling Interprocedural Data-Flow Analysis with LLMs
Research topic
Automated reasoning
