Aditya V. Thakur (Preferred)
Aditya Thakur
Aditya V. Thakur
Associate Professor, Computer Science, University of California, Davis
Joined
July 2019
Names
,
Emails
****@ucdavis.edu (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science, University of California, Davis (ucdavis.edu)
2022 – Present
Assistant Professor
Computer Science, University of California, Davis (ucdavis.edu)
2017 – 2022
Advisors, Relations & Conflicts
Expertise
safety
Present
verification
Present
formal methods
Present
certification
Present
Publications
Co-Authors
- Aditya V. Nori
- Akash Lal
- Alex Sim
- Amanda Burton
- Arnaud J. Venet
- Aseem Rastogi
- Ben Liblit
- Cindy Rubio-González
- Daniel DeFreez
- Daniel Kroening
- Dinakar Dhurjati
- Dipak Ghosal
- Evan Driscoll
- François Gygi
- Gaurav R. Ghosal
- Gogul Balakrishnan
- Guoliang Jin
- Haaken Martinson Baldwin
- Jacqueline Mitchell
- Jason Breck
- Junghee Lim
- Kapil Vaswani
- Kesheng Wu
- Matt Elder
- Matthew Sotoudeh