Mike Shulman
6,560
reputation
21
53
I am an associate professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.