35,666
reputation
10
2
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.
1
answer
0
questions
~1k
people reached
-
Ljubljana
-
Member for 10 years, 1 month
-
20 profile views
-
Last seen May 6 at 19:22
