Stats
46,675
reputation
1k
reached
1
answer
0
questions
Loading…
About
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.
Badges
View all badges
This user doesn’t have any gold badges yet.
14
silver badges
-
Yearling
× 14Oct 26
5
bronze badges
-
TeacherJun 7, 2017
-
CriticApr 6, 2020
-
Nice AnswerApr 8, 2020
Top tags
9
Score
1
Posts
100
Posts %
9
Score
1
Posts
100
Posts %
Top network posts
View all network posts