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
-
Ljubljana
-
Member for 10 years, 5 months
-
23 profile views
-
Last seen 2 days ago
Communities (14)
Top network posts
Badges (14)
Gold
—
Silver
10
Rarest
Bronze
4
Rarest
-
Jun 7 '17
-
2d ago
-
23h ago
