Chase Norman

Doctoral Research Assistant

Website

Office 9002 Gates and Hillman Centers

Email chasen@cmu.edu

Department
Computer Science Department

Research Interests
Programming Languages

Thesis Advisor
Jeremy Avigad