Steve Awodey
American mathematician (born 1959) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Steve Awodey?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
Quick Facts Born, Alma mater ...
Steve Awodey | |
---|---|
Born | Steven M. Awodey (1959-07-05) July 5, 1959 (age 64) |
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 |
Close