Steve Awodey

Steve Awodey

Steve Awodey in 2011
Alma mater University of Chicago
Thesis Logic in Topoi: Functorial Semantics for Higher-Order Logic (1997)
Doctoral advisors Saunders Mac Lane, William Walker Tait
Doctoral students Spencer Breiner, Jonas Eliasson, Henrik Forssell, Jesse Hughes, Matthew Jackson, Kohei Kishida, Peter Lumsdaine, Michael Warren
Website
www.andrew.cmu.edu/user/awodey/

Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University.

He 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.[1]

Bibliography

References

  1. Institute for Advanced Study: A Community of Scholars
  2. Connelly, James (Nov 2005 – Feb 2006). "Review of Frege's Lectures on Logic". The Bertrand Russell Society Quarterly.
  3. Birkedal, Lars (June 2007). "Review: STEVE AWODEY, Category Theory". Studia Logica. 86 (1): 133–135. JSTOR 40210743.
This article is issued from Wikipedia - version of the 11/16/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.