Friends of the Institute for Advanced Study Member; additional funding provided by the Charles Simonyi Endowment
Field of Study
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
School of Mathematics
University of Chicago