Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 6 months
  • Last seen this week
Stats
28,737
reputation
412k
reached
264
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.

1
gold badge
80
silver badges
132
bronze badges
743
Score
90
Posts
34
Posts %
711
Score
62
Posts
23
Posts %
588
Score
45
Posts
17
Posts %
485
Score
45
Posts
17
Posts %
431
Score
47
Posts
18
Posts %
289
Score
19
Posts
7
Posts %
Top posts
View all questions and answers