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
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