Aditya V. Thakur

Associate Professor
Department of Computer Science
University of California, Davis
avthakur at ucdavis.edu
(530) 754-0434
http://thakur.cs.ucdavis.edu

Research Interests

Programming Languages, Machine Learning, Formal Methods, Automated Reasoning, Program Analysis, Security, Software Engineering