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

15,528 Reputation

10 Apr 12
10 Apr 10
10 Apr 8
20 Apr 7
50 Apr 5
10 Apr 3
10 Mar 27
10 Mar 24
10 Feb 23
20 Feb 22
45 Feb 21
20 Feb 18
10 Feb 13
20 Feb 12
40 Feb 11
10 Feb 8
20 Feb 7
15 Feb 6
10 Feb 4
40 Feb 3
20 Feb 2
40 Feb 1
185 Jan 31
278 Jan 30
0 Jan 28
10 Jan 27
20 Jan 17
25 Jan 14
30 Jan 13
50 Jan 12