22,278
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.

305
answers
1
question
~367k
people reached

Top tags (161)

Score 443
Posts 64
Posts % 21
Score 400
Posts 71
Score 318
Posts 46
Score 307
Posts 52
Score 252
Posts 45
Score 251
Posts 36

Top posts (306) All Questions Answers | Votes Newest

View all questions and answers

Badges (143)

Gold

1

Rarest

Silver

51

Rarest

Bronze

91

Rarest