24,027
reputation
1
56
94

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.

326
answers
1
question
~426k
people reached

Top tags (164)

Score 483
Posts 72
Posts % 22
Score 424
Posts 72
Score 339
Posts 49
Score 316
Posts 55
Score 271
Posts 50
Score 255
Posts 37

Top posts (327)

View all questions and answers

Badges (151)

Gold

1

Rarest

Silver

56

Rarest

Bronze

94

Rarest