24,338
reputation
1
65
110

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.

219
answers
3
questions
~312k
people reached

Top tags (132)

Score 614
Posts 56
Posts % 25
Score 601
Posts 68
Score 512
Posts 40
Score 436
Posts 41
Score 395
Posts 43
Score 250
Posts 17

Top posts (222)

View all questions and answers

Badges (176)

Gold

1

Rarest

Silver

65

Rarest

Bronze

110

Rarest