Chase Norman
Doctoral Research Assistant
Email chasen@cmu.edu
Department
Computer Science Department
Thesis Advisor
Jeremy Avigad