18,477 reputation
345106
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years, 3 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.

18,477 Reputation

15 2 days ago
10 Jan 22
+10 22:27 upvote
10 Jan 20
5 Jan 19
75 Jan 12
5 Jan 10
10 Jan 9
5 Dec 30 '14
20 Dec 29 '14
15 Dec 28 '14
10 Dec 27 '14
10 Dec 26 '14
5 Dec 24 '14
10 Dec 21 '14
5 Dec 20 '14
10 Dec 19 '14
20 Dec 18 '14
10 Dec 15 '14
0 Dec 13 '14
10 Dec 11 '14
10 Dec 10 '14
30 Dec 9 '14
105 Dec 8 '14
5 Dec 7 '14
60 Dec 5 '14
40 Dec 4 '14
20 Dec 2 '14
40 Dec 1 '14
10 Nov 28 '14
10 Nov 27 '14