25,155
reputation
1
67
113

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.

226
answers
3
questions
~331k
people reached

Top tags (132)

Score 626
Posts 73
Posts % 32
Score 620
Posts 56
Score 527
Posts 41
Score 443
Posts 41
Score 400
Posts 43
Score 253
Posts 17

Top posts (229)

View all questions and answers

Badges (181)

Gold

1

Rarest

Silver

67

Rarest

Bronze

113

Rarest