21,068
reputation
1
47
86

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.

289
answers
1
question
~347k
people reached

Top tags (159)

Score 393
Posts 70
Posts % 24
Score 375
Posts 55
Score 304
Posts 43
Score 294
Posts 47
Score 245
Posts 34
Score 240
Posts 44

Top posts (290) All Questions Answers | Votes Newest

View all questions and answers

Badges (134)

Gold

1

Rarest

Silver

47

Rarest

Bronze

86

Rarest