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