Mike Shulman
179
reputation
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.