Assistant Professor of Computer Science CV

My research and teaching interests are in programming languages, machine learning, formal methods, and software engineering.

Please read this if you are a student interested in working with me.

Aditya V. Thakur

Recent News

05/2021 Matthew Sotoudeh received an Honorable Mention for 2021 Chancellor’s Award for Excellence in Undergraduate Research/Dean Keith Simonton Prize.
05/2021 Invited talk at Tenth Summer School on Formal Techniques
04/2021 Attended the AvenueE Professional Learning Community (PLC) meeting
04/2021 Featured in Episode 7 of the Build Better Systems Podcast; interview was in Aug. 2020.
03/2021 Paper accepted to PLDI 2021
03/2021 Matthew Sotoudeh received an NSF GRFP 2021.
02/2021 Paper accepted to USENIX Security 2021
02/2021 Received NSF CAREER award
12/2020 Paper accepted to TACAS 2021
12/2020 Matthew Sotoudeh received Honorable Mention in the 2021 CRA Outstanding Undergraduate Researcher Award.
12/2020 Invited talk on understanding and repairing Deep Neural Networks at Waterloo ML+Logic Online Colloquium.
12/2020 Presented our work on efficient fixpoint computation for abstract interpretation at the Workshop on Research Highlights in Programming Languages at FSTTCS 2020.
11/2020 Sung Kook Kim awarded Radhia Cousot Young Researcher Best Paper Award at SAS 2020.
08/2020 Paper accepted to SPLASH Onward! 2020
07/2020 Two papers accepted to SAS 2020
06/2020 Sung Kook Kim is the Runner Up for the GGCS 2020 Best Graduate Researcher Award.
06/2020 Awarded Facebook Probability and Programming Research Award 2020
04/2020 Paper accepted to IFIP Networking 2020
01/2020 Matthew Sotoudeh awarded second place in POPL 2020 Student Research Competition.
01/2020 Our research on parallel abstract interpretation is used in two open-source abstract interpreters: NASA IKOS and Facebook SPARTA.
10/2019 Paper accepted to POPL 2020
09/2019 Paper accepted to NeurIPS 2019 Workshop on Safety and Robustness in Decision Making
09/2019 Talk at Probability and Programming Workshop 2019
09/2019 Paper accepted to NeurIPS 2019
07/2019 Paper accepted to Globecom 2019
06/2019 Paper accepted to SMT 2019
05/2019 Paper accepted to ESEC/FSE 2019
05/2019 Awarded Facebook Probability and Programming Research Award 2019
11/2018 Daniel DeFreez awarded first place in ESEC/FSE 2018 Student Research Competition (SRC).
10/2018 Awarded Facebook Testing and Verification (TAV) Research Award 2018
07/2018 Paper accepted to ESEC/FSE 2018
06/2018 Awarded DECOR 2018 Research Award
03/2018  Poster paper accepted to ICSE 2018