Aditya V. Thakur

Headshot of a smiling Aditya Thakur

Associate Professor

  • Computer Science
Academic Surge 2073

At the intersection of programming languages, formal methods, and artificial intelligence, Professor Aditya Thakur leads the Davis Automated Reasoning Group (DARG) to build scalable tools for provably safe software and trustworthy AI.

Honors and Awards
  • DOE Early Career Award
  • NSF CAREER Award
  • Facebook Probability and Programming Research Award
  • Facebook Testing and Verification Research Award

Tags

Artificial Intelligence and Machine Learning Machine Learning Programming Languages Software Software Engineering