Andrej Bauer
  • Member for 11 years, 3 months
  • Last seen this week
Stats
25,957
reputation
351k
reached
237
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
68
silver badges
118
bronze badges
659
Score
79
Posts
33
Posts %
624
Score
56
Posts
23
Posts %
542
Score
42
Posts
18
Posts %
450
Score
41
Posts
17
Posts %
402
Score
43
Posts
18
Posts %
259
Score
17
Posts
7
Posts %