Associate Professor of Computer Science CV My research and teaching interests are in machine learning, formal methods, programming languages, and software engineering. Please read this if you are a student interested in working with me. |
![]() |
Recent News/Highlights
09/2025 | Paper accepted as Spotlight in NeurIPS 2025. |
07/2025 | Awarded NSF/DOE CS2 grant. |
06/2025 | Paper accepted to FMSD 2025. |
04/2025 | Paper accepted to STTT 2025. |
09/2024 | Paper accepted to NeurIPS 2024. |
09/2024 | Paper accepted to Correctness 2024. |
06/2024 | Tutorial on Provable Repair of Deep Neural Networks at PLDI 2024. Checkout dnn.repair. |
05/2024 | Paper accepted to SAIV 2024. |
04/2023 | Paper accepted to PLDI 2023 |
12/2022 | Paper accepted to STTT 2023 |
07/2022 | Promoted to Associate Professor |
05/2021 | Received DOE Early Career award |
05/2021 | Invited talk at Tenth Summer School on Formal Techniques |
04/2021 | Featured in Episode 7 of the Build Better Systems Podcast; interview was in Aug. 2020. |
02/2021 | Received NSF CAREER award |