36,823
reputation
5
91
184

Andrej Bauer

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.

293
answers
15
questions
~899k
people reached

Top tags (148)

Score 1,820
Posts 147
Posts % 48
Score 716
Posts 87
Score 657
Posts 51
Score 336
Posts 34
Score 259
Posts 29
Score 233
Posts 26

Top posts (308)

View all questions and answers

Badges (280)

Gold

5

Rarest

Silver

91

Rarest

Bronze

184