Mike Shulman
209
reputation
1
5
I am an associate professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.