Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 14 years, 5 months
  • Last seen this week
Stats
48,039
reputation
1.3m
reached
347
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
234
bronze badges
2,322
Score
176
Posts
48
Posts %
1,046
Score
59
Posts
16
Posts %
948
Score
101
Posts
28
Posts %
559
Score
31
Posts
9
Posts %
482
Score
25
Posts
7
Posts %
441
Score
44
Posts
12
Posts %
Top posts
View all questions and answers