Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Thesis Announcements

FINAL PUBLIC ORAL EXAMINATION FOR THE DEGREE OF DOCTOR OF PHILOSOPHY

Clive Newstead
Carnegie Mellon University

Title: Algebraic Models of Dependent Type Theory

Date: Monday, August 20, 2018
Time: 11:30 am

Location: Wean Hall 8220

Examiners: Professor Steve Awodey (Advisor, Department of Philosophy)
Professor Clinton Conley
Professor James Cummings (Committee Chair)
Professor Richard Statman
Professor Jonas Frey (Department of Philosophy)
Nicola Gambino (School of Mathematics, University of Leeds, UK)