Loading...
Loading...
Professor of Philosophy and Computer Science
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.
Are you Steve Awodey? Manage your profile and connect with your audience.
Claim Profile