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

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
  • Mathematics
9/20125/2013
Degrees
University of Chicago Ph.D., 1997