Stats
2,625
reputation
4k
reached
3
answers
2
questions
Loading…
About
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
-
Good AnswerJan 28, 2022
-
Good Question
× 2Dec 9, 2021 -
Yearling
× 9Feb 28
12
bronze badges
-
MortarboardNov 21, 2021
-
Popular QuestionDec 9, 2021
-
Self-LearnerNov 21, 2021
Top tags
43
Score
5
Posts
100
Posts %
35
Score
3
Posts
60
Posts %
28
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %
Top network posts
View all network posts