Aditya V. Thakur

Associate Professor, Computer Science, University of California, Davis

  • Joined July 2019

Names

Aditya V. Thakur (Preferred)
,
Aditya Thakur

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

PhD Advisor
Present
 
Postdoc Advisor
Present
 

Expertise

safety
Present
 
verification
Present
 
formal methods
Present
 
certification
Present