Steven M. Awodey
Original record- Institution
- The University of Chicago
- Year
- 1997
- Country
- United States
- MGP identifier
- 52211
Dissertation: Logic in Topoi: Functorial Semantics for Higher-Order Logic
Advisors 2
- Saunders Mac LaneInstitution not recorded
- William Walker TaitYale University · 1959
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Spencer Breiner | Carnegie Mellon University | 2013 | 0 |
| Jonas Eliasson | Uppsala universitet | 2003 | 0 |
| Henrik Forssell | Carnegie Mellon University | 2008 | 2 |
| Jesse Hughes | Carnegie Mellon University | 2001 | 0 |
| Matthew Tobias Jackson | University of Pittsburgh | 2006 | 0 |
| Kohei Kishida | University of Pittsburgh | 2010 | 0 |
| Peter LeFanu Lumsdaine | Carnegie Mellon University | 2010 | 1 |
| Clive Newstead | Carnegie Mellon University | 2018 | 0 |
| Egbert Rijke | Carnegie Mellon University | 2018 | 0 |
| Kristina Sojakova | Carnegie Mellon University | 2016 | 0 |
| Floris van Doorn | Carnegie Mellon University | 2018 | 0 |
| Michael A. Warren | Carnegie Mellon University | 2008 | 0 |
| Colin Zwanziger | Carnegie Mellon University | 2023 | 0 |