From Surf Wiki (app.surf) — the open knowledge base

Steve Awodey

American mathematician (born 1959)

Summary

American mathematician (born 1959)

Field	Value
image	StevenAwodey.jpg
caption	Awodey in 2011
name	Steve Awodey
birth_name	Steven M. Awodey
birth_date
birth_place	Michigan
alma_mater	University of Marburg
University of Chicago
work_institutions	Carnegie Mellon University
thesis_title	Logic in Topoi: Functorial Semantics for Higher-Order Logic
thesis_url	https://web.archive.org/web/20190221234344/http://pdfs.semanticscholar.org/35c2/a040f369aeafd4c796fecd1f5e2a159508ab.pdf
thesis_year	1997
doctoral_advisors	Saunders Mac Lane
academic_advisors	William Walker Tait
fields	Category theory, homotopy type theory
known_for	Model theory of higher-order logic using the methods of category theory
Type theory of higher-dimensional categories{{cite journal
last1	Awodey	first1=Steve
last2	Warren	first2=Michael
title	Homotopy theoretic models of identity type
journal	Mathematical Proceedings of the Cambridge Philosophical Society
volume	146
issue	1
pages	45–55
date	2009
arxiv	0709.0248
doi	10.1017/S0305004108001783}}
website

University of Chicago Type theory of higher-dimensional categories{{cite journal Steven M. Awodey (; 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.

Bibliography

References

[https://philpapers.org/rec/AWOLIT Steven M. Awodey, ''Logic in Topoi'' – PhilPapers]
[https://www.loria.fr/~lamarche/listPart.html Preliminary list of PSSL86 participants]
"Institute for Advanced Study: A Community of Scholars".

Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

american-logicians 20th-century-american-mathematicians 21st-century-american-mathematicians american-philosophers-of-mathematics living-people marburg-university-alumni university-of-chicago-alumni institute-for-advanced-study-visiting-scholars carnegie-mellon-university-faculty 1959-births

Want to explore this topic further?

Ask Mako anything about Steve Awodey — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report