25,432
reputation
1
67
115

Andrej Bauer
Loading…

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.

231
answers
3
questions
~340k
people reached

Top tags (132)

Score 639
Posts 76
Posts % 32
Score 622
Posts 56
Score 529
Posts 41
Score 449
Posts 41
Score 401
Posts 43
Score 256
Posts 17

Top posts (234)

View all questions and answers

Badges (183)

Gold

1

Rarest

Silver

67

Rarest

Bronze

115

Rarest