40,369
reputation
11
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.
1
answer
0
questions
~1k
people reached
-
Ljubljana
-
Member for 11 years, 4 months
-
29 profile views
-
Last seen Dec 31 '20 at 19:24
Communities (15)
Top network posts
Badges (15)
Gold
—
Silver
11
Rarest
Bronze
4
Rarest
-
Jun 7 '17
-
Apr 6
-
Apr 8
