Steve Awodey

Professor of Philosophy and Computer Science

Pittsburgh, USA

About Steve

Steve Awodey is a professor of philosophy and computer science at Carnegie Mellon University. He is known for his work in homotopy type theory and its applications to mathematics and philosophy.

Associated Podcasts

MCMP – Philosophy of Mathematics

Host

Connect

Are you Steve Awodey? Manage your profile and connect with your audience.

Claim Profile

Recent Appearances

The Univalence Axiom

MCMP – Philosophy of Mathematics•Apr 18, 2019•56:22•host