Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 11 years, 11 months
  • Last seen this week
Stats
30,426
reputation
658k
reached
430
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
117
bronze badges
627
Score
90
Posts
21
Posts %
536
Score
93
Posts
22
Posts %
447
Score
69
Posts
16
Posts %
385
Score
69
Posts
16
Posts %
331
Score
64
Posts
15
Posts %
289
Score
49
Posts
11
Posts %
Top posts
View all questions and answers