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.
309
answers
15
questions
~1.0m
people reached

Ljubljana

Member for 11 years, 6 months

16,806 profile views

Last seen 1 hour ago
Communities (15)
Top Meta Posts
0
1
Top network posts
Badges (310)
Gold
9
Rarest

Nov 21

Aug 27 '15

Jul 26
Silver
104
Rarest

Jul 12 '13

Oct 21 '19

Jun 18 '19
Bronze
197
Rarest

Nov 16 '17

Nov 18 '19

Aug 21 '17