Aditya Thakur

Associate Professor, Computer Science, University of California, Davis

  • Joined July 2019

Names

Aditya Thakur
,
Aditya V. Thakur

Emails

****@ucdavis.edu (Confirmed)

Career & Education History

Associate Professor
Computer Science, University of California, Davis (ucdavis.edu)
2022Present
 
Assistant Professor
Computer Science, University of California, Davis (ucdavis.edu)
20172022
 

Advisors, Relations & Conflicts

PhD Advisor
Present
 
Postdoc Advisor
Present
 

Expertise

safety
Present
 
verification
Present
 
formal methods
Present
 
certification
Present