22,796
reputation
1
51
91

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.

312
answers
1
question
~387k
people reached

Top tags (162)

Score 453
Posts 65
Posts % 21
Score 405
Posts 71
Score 329
Posts 48
Score 309
Posts 52
Score 264
Posts 48
Score 252
Posts 36

Top posts (313) All Questions Answers | Votes Newest

View all questions and answers

Badges (143)

Gold

1

Rarest

Silver

51

Rarest

Bronze

91

Rarest