22,443
reputation
1
59
107

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.

200
answers
2
questions
~269k
people reached

Top tags (123)

Score 578
Posts 53
Posts % 26
Score 536
Posts 56
Score 490
Posts 37
Score 409
Posts 38
Score 376
Posts 41
Score 238
Posts 17

Top posts (202) All Questions Answers | Votes Newest

View all questions and answers

Badges (167)

Gold

1

Rarest

Silver

59

Rarest

Bronze

107

Rarest