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