Steve Awodey

Steve Awodey
Awodey in 2011
Born
Steven M. Awodey

(1959-07-05) July 5, 1959 (age 65)
Alma materUniversity of Marburg
University of Chicago
Known forModel theory of higher-order logic using the methods of category theory[1]
Type theory of higher-dimensional categories[2]
Scientific career
FieldsCategory theory, homotopy type theory
InstitutionsCarnegie Mellon University
ThesisLogic in Topoi: Functorial Semantics for Higher-Order Logic (1997)
Doctoral advisorsSaunders Mac Lane
Other academic advisorsWilliam Walker Tait
Websitewww.andrew.cmu.edu/user/awodey/

Steven M. Awodey[1] (/ˈdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.

  1. ^ a b Steven M. Awodey, Logic in Topoi – PhilPapers
  2. ^ Steve Awodey, Michael Warren, "Homotopy theoretic models of identity type", Mathematical Proceedings of the Cambridge Philosophical Society 146(1), 2009. arXiv:0709.0248.

Steve Awodey

Dodaje.pl - Ogłoszenia lokalne