2,299
reputation
10
20

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.

40
answers
0
questions
~41k
people reached

Top tags (58)

Score 74
Posts 8
Posts % 20
Score 67
Posts 10
Score 61
Posts 4
Score 59
Posts 6
Score 12
Posts 3
Score 10
Posts 3

Top posts (40) All Questions Answers | Votes Newest

View all questions and answers

Badges (30)

Gold

Silver

10

Rarest

Bronze

20

Rarest