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.
223
answers
3
questions
~321k
people reached
-
Ljubljana
-
Member for 10 years, 4 months
-
5,117 profile views
-
Last seen 9 hours ago
Communities (15)
Top network posts
Badges (180)
Gold
1
Rarest
-
Jun 13 '19
Silver
67
Rarest
-
Oct 22 '11
Bronze
112
Rarest
-
Aug 4 '14
-
Apr 27 '15
-
Oct 29 '12