18,983 reputation
347108
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years, 5 months
seen 6 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,983 Reputation

10 2 days ago
20 Mar 26
10 Mar 24
5 Mar 18
10 Mar 15
40 Mar 14
25 Mar 11
20 Mar 9
2 Mar 8
15 Mar 7
70 Mar 6
105 Mar 5
10 Feb 27
10 Feb 26
5 Feb 23
2 Feb 22
38 Feb 21
30 Feb 20
25 Feb 16
10 Feb 15
15 Feb 12
10 Feb 3
10 Jan 28
10 Jan 27
15 Jan 23
10 Jan 22
10 Jan 20
5 Jan 19
75 Jan 12
5 Jan 10