Skip to main content
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 9 months
  • Last seen this week
Stats
29,215
reputation
421k
reached
269
answers
3
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.

2
gold badges
80
silver badges
134
bronze badges
750
Score
91
Posts
33
Posts %
713
Score
63
Posts
23
Posts %
602
Score
46
Posts
17
Posts %
488
Score
45
Posts
17
Posts %
434
Score
48
Posts
18
Posts %
265
Score
18
Posts
7
Posts %
Top posts
View all questions and answers