Aditya Thakur

Associate Professor, Computer Science, University of California, Davis

  • Joined July 2019

Names

Aditya Thakur
,
Aditya V. Thakur

Emails

****@ucdavis.edu (Confirmed)

Personal Links

Education & Career 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