36,463
reputation
10
4

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.

2
answers
0
questions
~1k
people reached

Top tags (4)

Score 18
Posts 2
Posts % 100
Score 10
Posts 1
Score 10
Posts 1
Score 8
Posts 1

Top posts (2)

Badges (14)

Gold

Silver

10

Rarest

Bronze

4

Rarest