Steve Awodey

Steve Awodey
Awodey in 2011
Born
Steven M. Awodey

(1959-07-05) July 5, 1959 (age 67)
Michigan
EducationUniversity of Marburg
University of Chicago
Known forModel theory of higher-order logic using the methods of category theory
Type theory of higher-dimensional categories
Scientific career
FieldsCategory theory, homotopy type theory
WorkplacesCarnegie Mellon University
ThesisLogic in Topoi: Functorial Semantics for Higher-Order Logic (1997)
Saunders Mac Lane
Other academic advisors
William Walker Tait
Websitewww.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.

Personal life

Awodey is the brother of late artist Marc Awodey.

Bibliography

References

  1. 1 2 Steven M. Awodey, Logic in Topoi – PhilPapers
  2. ↑ Awodey, Steve; Warren, Michael (2009). "Homotopy theoretic models of identity type". Mathematical Proceedings of the Cambridge Philosophical Society. 146 (1): 45–55. arXiv:0709.0248. doi:10.1017/S0305004108001783.
  3. ↑ Preliminary list of PSSL86 participants
  4. ↑ "Institute for Advanced Study: A Community of Scholars". Archived from the original on 2015-11-25. Retrieved 2015-01-10.
  5. ↑ Soychak, Paul (2012-10-18). "The Burlington Free Press". Legacy.com.
  6. ↑ "Eulogy". Marc Awodey. 2015-11-05.