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[1] Type theory of higher-dimensional categories[2] |
| 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[1] (/ˈaʊdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
- ^ a b Steven M. Awodey, Logic in Topoi – PhilPapers
- ^ Steve Awodey, Michael Warren, "Homotopy theoretic models of identity type", Mathematical Proceedings of the Cambridge Philosophical Society 146(1), 2009. arXiv:0709.0248.