854
reputation
6
9

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.

4
answers
0
questions
~9k
people reached

Top tags (8)

Score 54
Posts 2
Posts % 50
Score 54
Posts 2
Score 34
Posts 1
Score 32
Posts 2
Score 24
Posts 2
Score 12
Posts 1

Top posts (4)

Badges (15)

Gold

Silver

6

Rarest

Bronze

9

Rarest