Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 13 years, 1 month
  • Last seen this week
Stats
28,131
reputation
401k
reached
257
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
79
silver badges
130
bronze badges
720
Score
87
Posts
33
Posts %
698
Score
61
Posts
23
Posts %
581
Score
45
Posts
17
Posts %
471
Score
44
Posts
17
Posts %
429
Score
47
Posts
18
Posts %
285
Score
19
Posts
7
Posts %
Top posts
View all questions and answers