Chase Norman
Doctoral Research Assistant
Office 9002 Gates and Hillman Centers
Email chasen@cmu.edu
Department
Computer Science Department
Thesis Advisor
Jeremy Avigad