Michael Alton Warren
Funding provided by the Oswald Veblen Fund
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.