Amar Shah Doctoral Research Assistant Office 7121 Gates and Hillman Centers Email amar@cmu.edu Department Computer Science Department Thesis Advisor Bryan Parno Marijn Heule