25,223
reputation
1
57
96

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.

344
answers
1
question
~442k
people reached

Top tags (169)

Score 509
Posts 76
Posts % 22
Score 447
Posts 76
Score 358
Posts 52
Score 321
Posts 56
Score 296
Posts 54
Score 255
Posts 37

Top posts (345)

View all questions and answers

Badges (154)

Gold

1

Rarest

Silver

57

Rarest

Bronze

96

Rarest