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.
362
answers
1
question
~469k
people reached
-
Ljubljana
-
Member for 8 years, 9 months
-
3,367 profile views
-
Last seen 9 hours ago
Communities (15)
Top network posts
Badges (159)
Gold
1
Rarest
-
Feb 27 '17
Silver
58
Rarest
-
Jan 17
-
Jul 13 '14
-
Jan 5 '18
Bronze
100
Rarest
-
Aug 4 '17
-
Aug 4 '16
-
Mar 11 '16