26,201
reputation
1
58
101

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.

364
answers
1
question
~469k
people reached

Top tags (173)

Score 529
Posts 79
Posts % 22
Score 466
Posts 81
Score 372
Posts 57
Score 337
Posts 57
Score 304
Posts 58
Score 256
Posts 37

Top posts (365)

View all questions and answers

Badges (160)

Gold

1

Rarest

Silver

58

Rarest

Bronze

101

Rarest