40,912
reputation
9
104
197

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.

309
answers
15
questions
~1.0m
people reached

Top tags (156)

Score 2,008
Posts 155
Posts % 48
Score 917
Posts 54
Score 815
Posts 93
Score 456
Posts 27
Score 348
Posts 35
Score 289
Posts 30

Top posts (324)

View all questions and answers

Badges (310)

Gold

9

Rarest

Silver

104

Rarest

Bronze

197

Rarest