26,972
reputation
1
62
105

Andrej Bauer
Loading…

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.

372
answers
1
question
~505k
people reached

Top tags (175)

Score 555
Posts 82
Posts % 22
Score 482
Posts 83
Score 384
Posts 58
Score 343
Posts 58
Score 309
Posts 59
Score 258
Posts 38

Top posts (373)

View all questions and answers

Badges (168)

Gold

1

Rarest

Silver

62

Rarest

Bronze

105