24,782
reputation
1
67
112

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.

223
answers
3
questions
~321k
people reached

Top tags (132)

Score 615
Posts 56
Posts % 25
Score 608
Posts 70
Score 524
Posts 41
Score 437
Posts 41
Score 396
Posts 43
Score 252
Posts 17

Top posts (226)

View all questions and answers

Badges (180)

Gold

1

Rarest

Silver

67

Rarest

Bronze

112

Rarest