Past Member
Steve Awodey
Friends of the Institute for Advanced Study Member; additional funding provided by the Charles Simonyi Endowment
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
