23,526
reputation
1
54
93

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.

316
answers
1
question
~407k
people reached

Top tags (163)

Score 465
Posts 67
Posts % 21
Score 416
Posts 71
Score 333
Posts 48
Score 313
Posts 54
Score 265
Posts 48
Score 253
Posts 36

Top posts (317) All Questions Answers | Votes Newest

View all questions and answers

Badges (148)

Gold

1

Rarest

Silver

54

Rarest

Bronze

93

Rarest