Steve Awodey

Steve Awodey holds the Dean's Chair in Logic at Carnegie Mellon University, where he is Professor of Philosophy and Mathematics. A founder of Homotopy Type Theory, he co-organized a special research year on Univalent Foundations at the Institute for Advanced Study (Princeton). His numerous publications include the textbook Category Theory and the collaborative volume Homotopy Type Theory: Univalent Foundations of Mathematics . He serves on several journal editorial boards and is coordinating...See more

Steve Awodey holds the Dean's Chair in Logic at Carnegie Mellon University, where he is Professor of Philosophy and Mathematics. A founder of Homotopy Type Theory, he co-organized a special research year on Univalent Foundations at the Institute for Advanced Study (Princeton). His numerous publications include the textbook Category Theory and the collaborative volume Homotopy Type Theory: Univalent Foundations of Mathematics . He serves on several journal editorial boards and is coordinating editor of the Journal of Symbolic Logic . He has held visiting appointments at the Poincar� Institute (Paris), Newton Institute (Cambridge), Hausdorff Institute (Bonn), and the Centre for Advanced Studies (Oslo), and is currently a Royal Society Wolfson Visiting Fellow at Cambridge University. See less