Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
Andrej Bauer
  • Member for 11 years, 9 months
  • Last seen this week
Stats
26,431
reputation
364k
reached
244
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
71
silver badges
123
bronze badges
672
Score
82
Posts
33
Posts %
633
Score
56
Posts
23
Posts %
549
Score
43
Posts
17
Posts %
453
Score
42
Posts
17
Posts %
407
Score
44
Posts
18
Posts %
245
Score
16
Posts
6
Posts %
Top posts
View all questions and answers