23,423
reputation
1
62
108

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.

209
answers
3
questions
~292k
people reached

Top tags (129)

Score 585
Posts 53
Posts % 25
Score 565
Posts 62
Score 500
Posts 39
Score 415
Posts 38
Score 388
Posts 42
Score 241
Posts 17

Top posts (212) All Questions Answers | Votes Newest

View all questions and answers

Badges (171)

Gold

1

Rarest

Silver

62

Rarest

Bronze

108

Rarest