Carnegie Mellon University

Steve Awodey

Steve Awodey

Professor

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Research

Category Theory, Logic, Homotopy Type Theory