26,131
reputation
1
58
100

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.

362
answers
1
question
~469k
people reached

Top tags (173)

Score 527
Posts 79
Posts % 22
Score 464
Posts 80
Score 372
Posts 57
Score 335
Posts 57
Score 304
Posts 58
Score 256
Posts 37

Top posts (363)

View all questions and answers

Badges (159)

Gold

1

Rarest

Silver

58

Rarest

Bronze

100

Rarest