2,349
reputation
10
21

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.

41
answers
0
questions
~42k
people reached

Top tags (60)

Score 74
Posts 8
Posts % 20
Score 68
Posts 11
Score 64
Posts 4
Score 59
Posts 6
Score 25
Posts 2
Score 12
Posts 3

Top posts (41) All Questions Answers | Votes Newest

View all questions and answers

Badges (31)

Gold

Silver

10

Rarest

Bronze

21

Rarest