Past Member
Steve Awodey
Friends of the Institute for Advanced Study Member; additional funding provided by the Charles Simonyi Endowment
Affiliation
Mathematics
Field of Study
Univalent Foundations
Home Institution
Carnegie Mellon University
Website
From
-
Steve Awodey is investigating connections between logic and homotopy theory. He uses methods from higher category theory to relate constructive type theories and Quillen model categories.
Dates at IAS
Member
School of Mathematics
–
Degrees
University of Chicago
Ph.D.
1997
