Stats
665
reputation
0
reached
0
answers
0
questions
Loading…
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
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
-
Yearling
× 3Mar 9
1
bronze badge
-
AutobiographerJun 12, 2018
Posts
This user hasn’t posted yet.
Top network posts
View all network posts