Thakur, Aditya

Aditya V. Thakur

Assistant 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, Automated Reasoning, Program Analysis, Security, Software Engineering

Comments are closed.