James Gallicchio
![James Gallicchio](/sites/default/files/2023-10/GALLICCHIO-James-2023.jpg)
Doctoral Research Assistant
Office 7121 Gates and Hillman Centers
Email jgal@cmu.edu
Department
Computer Science Department
Thesis Advisor
Jeremy Avigad
Marijn Heule