user avatar
user avatar
user avatar
Andrej Bauer
  • Member for 12 years, 9 months
  • Last seen this week
Stats
43,792
reputation
1.1m
reached
323
answers
17
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.

10
gold badges
110
silver badges
210
bronze badges
2,079
Score
161
Posts
47
Posts %
976
Score
56
Posts
16
Posts %
874
Score
97
Posts
29
Posts %
508
Score
29
Posts
9
Posts %
439
Score
22
Posts
6
Posts %
353
Score
38
Posts
11
Posts %
Top posts
View all questions and answers