Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 11 years, 5 months
  • Last seen this week
Stats
29,920
reputation
626k
reached
422
answers
1
question
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
70
silver badges
115
bronze badges
611
Score
88
Posts
21
Posts %
533
Score
93
Posts
22
Posts %
442
Score
69
Posts
16
Posts %
379
Score
68
Posts
16
Posts %
328
Score
63
Posts
15
Posts %
277
Score
48
Posts
11
Posts %
Top posts
View all questions and answers