Steve Awodey
Steve Awodey | |
|---|---|
Awodey in 2011 | |
| Born | Steven M. Awodey July 5, 1959 |
| Alma mater | University of Marburg University of Chicago |
| Known for | Model theory of higher-order logic using the methods of category theory Type theory of higher-dimensional categories |
| Scientific career | |
| Fields | Category theory, homotopy type theory |
| Institutions | Carnegie Mellon University |
| Thesis | Logic in Topoi: Functorial Semantics for Higher-Order Logic (1997) |
| Doctoral advisors | Saunders Mac Lane |
| Other academic advisors | William Walker Tait |
| Website | www |
Steven M. Awodey (/ˈaʊdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.