user avatar
user avatar
user avatar
Andrej Bauer
  • Member for 3 months
  • Last seen this week
Stats
4,828
reputation
13k
reached
44
answers
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.

This user doesn’t have any gold badges yet.
16
silver badges
49
bronze badges
131
Score
9
Posts
20
Posts %
92
Score
6
Posts
14
Posts %
59
Score
3
Posts
7
Posts %
55
Score
4
Posts
9
Posts %
54
Score
4
Posts
9
Posts %
48
Score
4
Posts
9
Posts %
Top posts
View all questions and answers