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