2,549
reputation
12
21

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.

43
answers
0
questions
~50k
people reached

Top tags (63)

Score 80
Posts 8
Posts % 19
Score 72
Posts 12
Score 65
Posts 4
Score 63
Posts 6
Score 26
Posts 2
Score 15
Posts 2

Top posts (43)

View all questions and answers

Badges (33)

Gold

Silver

12

Rarest

Bronze

21

Rarest