Associate Professor of Computer Science CV
Vice Chair of Graduate Group in Computer Science (GGCS)

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.

Aditya V. Thakur

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

More news.