Steven M. Awodey[1] (/ˈaʊdi/; born 1959) is an American mathematician and logician.
He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
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.
[3] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.