|
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 |