James Gallicchio Doctoral Research Assistant Office 7121 Gates and Hillman Centers Email jgal@cmu.edu Department Computer Science Department Thesis Advisor Jeremy Avigad Marijn Heule
