Steve Awodey
From Infogalactic: the planetary knowledge core
| Steve Awodey | |
|---|---|
| File:StevenAwodey.jpg
Steve Awodey in 2011
|
|
| Website | www |
|
Main interests
|
Category theory, Logic, Philosophy of mathematics |
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
- Lua error in package.lua at line 80: module 'strict' not found.[2]
- Lua error in package.lua at line 80: module 'strict' not found.[3]
- Lua error in package.lua at line 80: module 'strict' not found. Lua error in package.lua at line 80: module 'strict' not found.
References
- ↑ Institute for Advanced Study: A Community of Scholars
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
Categories:
- Pages with broken file links
- Articles with hCards
- American logicians
- 20th-century American mathematicians
- 21st-century American mathematicians
- Philosophers of mathematics
- Living people
- University of Marburg alumni
- University of Chicago alumni
- Institute for Advanced Study visiting scholars
- Carnegie Mellon University faculty
