18,973 reputation
347108
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years, 5 months
seen 5 hours ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

55
May 20 '10 at 16:08
41
Apr 30 '10 at 7:19
29
Apr 20 '11 at 14:25
29
Jan 2 '10 at 0:37
25
May 28 '10 at 6:22
19
Apr 29 '10 at 21:28