Stats
121
reputation
0
reached
0
answers
0
questions
About
I am an associate professor of mathematics at the University of San Diego. My research is in homotopy type theory and higher category theory.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
-
AutobiographerJul 7, 2019
Posts
This user hasn’t posted yet.
Top network posts
View all network posts