Aditya V. Thakur

Registered user since Thu 14 Nov 2019

Name:Aditya V. Thakur

I graduated with a Ph.D. in Computer Science from the University of Wisconsin–Madison, under the supervision of Prof. Thomas Reps. My dissertation spanned the areas of machine-code analysis, abstract interpretation, and decision procedures. I was the co-recipient of the Outstanding Graduate Student Research Award awarded by the Computer Sciences Department of the University of Wisconsin–Madison for 2013-2014. I was the recipient of the 2013 Google Ph.D. Fellowship in Programming Technology.



Show activities from other conferences

PLDI 2016-profile
View general profile