Steve Awodey

Steve Awodey
Awodey in 2011
Born	Steven M. Awodey (1959-07-05) July 5, 1959 Michigan
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.andrew.cmu.edu/user/awodey/

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.

Biography

Awodey studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.