Steve Awodey

Steve Awodey is a Professor in the Department of Philosophy at Carnegie Mellon University, holding the Dean's Chair in Logic. He serves as an external member of the Munich Center for Mathematical Philosophy (MCMP) at Ludwig Maximilian University (LMU), spending several months annually in Munich. His research spans Category Theory, Logic, and Foundations of Mathematics, with groundbreaking work in Homotopy Type Theory (HoTT) and the Univalent Foundations Program.

• Education: University of Marburg (Philosophy, Mathematics), University of Chicago (Graduate degrees).

Awodey's research interests include:

• Homotopy Type Theory and its applications to logic
• Modal Logic and topological interpretations
• Algebraic Set Theory
• Philosophy of Mathematics
• Formalization of mathematical structures via category theory

His recent publications focus on HoTT, model categories, and categorical logic. Key awards include the Dean's Chair in Logic and editorship of Rudolf Carnap's Collected Works. He has advised numerous PhD students across Philosophy, Mathematics, and Computer Science, shaping research in synthetic homotopy theory and type theory. Awodey's work bridges abstract mathematics with philosophical inquiry, emphasizing structuralism and invariance in mathematical foundations.