24,043
reputation
1
64
109

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.

215
answers
3
questions
~306k
people reached

Top tags (131)

Score 607
Posts 55
Posts % 25
Score 585
Posts 65
Score 509
Posts 40
Score 426
Posts 39
Score 395
Posts 43
Score 249
Posts 17

Top posts (218)

View all questions and answers

Badges (174)

Gold

1

Rarest

Silver

64

Rarest

Bronze

109

Rarest