Past Member

Michael Alton Warren

Affiliation
Mathematics
Field of Study
Computer Science, Homotopy Theory
From 9/2011 – 8/2013:

Michael Warren’s research is in logic, higher-dimensional category theory, and homotopy theory. He is interested in connections between these areas, and he will take part in the development of Voevodsky’s univalent foundations during his time at the Institute. He is also interested in stacks and nonabelian cohomology.

Dates at IAS
Member
  • Mathematics
9/20118/2013
Degrees
Carnegie Mellon University Ph.D., 2008