Justin Raizes

Doctoral Research Assistant

Website

Google Scholars Link

Office 5113 Gates and Hillman Centers

Email jraizes@cmu.edu

Department
Computer Science Department

Research Interests
Type Theory

Thesis Advisor
Vipul Goyal