Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 14 years, 4 months
  • Last seen this week
Stats
47,714
reputation
1.3m
reached
345
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.

11
gold badges
125
silver badges
233
bronze badges
2,309
Score
174
Posts
48
Posts %
1,042
Score
59
Posts
16
Posts %
947
Score
101
Posts
28
Posts %
557
Score
31
Posts
9
Posts %
489
Score
25
Posts
7
Posts %
434
Score
43
Posts
12
Posts %
Top posts
View all questions and answers