Past Member

Steve Awodey

Affiliation
Mathematics
Field of Study
Univalent Foundations
From 9/2012 – 5/2013:

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