Steve Awodey | |
|---|---|
 Awodey in 2011 | |
| Born | Steven M. Awodey (1959-07-05)July 5, 1959 (age 65) |
| Alma mater | University of Marburg University of Chicago |
| Known for | Model theory ofhigher-order logic using the methods ofcategory theory[1] Type theory ofhigher-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 Americanmathematician andlogician. He is a Professor ofPhilosophy andMathematics atCarnegie Mellon University.
Awodey studiedmathematics andphilosophy at theUniversity of Marburg and theUniversity of Chicago. He earned his Ph.D. from Chicago underSaunders Mac Lane in 1997. He is an active researcher in the areas ofcategory theory andlogic, and has also written on thephilosophy of mathematics. He is one of the originators of the field ofhomotopy type theory.[3] He was a member of the School of Mathematics at theInstitute for Advanced Study in 2012–13.[4]
