2022 Developer Survey is open! Take survey.
user avatar
user avatar
user avatar
Mike Shulman
  • Member for 11 years, 9 months
  • Last seen this week
Stats
1,475
reputation
240k
reached
8
answers
12
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.

1
gold badge
13
silver badges
18
bronze badges
16
Score
7
Posts
35
Posts %
10
Score
3
Posts
15
Posts %
8
Score
1
Posts
5
Posts %
8
Score
1
Posts
5
Posts %
5
Score
1
Posts
5
Posts %
1
Score
2
Posts
10
Posts %
Top posts
View all questions and answers