23,174
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.

207
answers
2
questions
~286k
people reached

Top tags (127)

Score 582
Posts 53
Posts % 25
Score 556
Posts 59
Score 500
Posts 39
Score 414
Posts 38
Score 387
Posts 42
Score 241
Posts 17

Top posts (209) All Questions Answers | Votes Newest

View all questions and answers

Badges (171)

Gold

1

Rarest

Silver

62

Rarest

Bronze

108

Rarest