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.
-
Ljubljana
-
Member for 8 years, 11 months
-
1,306 profile views
-
Last seen yesterday
Communities (15)
Top network posts
Badges (33)
Gold
Silver
Rarest
Bronze
Rarest
-
Dec 20 '15
-
Feb 4 '16
-
Dec 12 '19