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

16,255 Reputation

10 Jul 10
10 Jul 9
20 Jul 6
10 Jul 2
40 Jun 30
10 Jun 26
40 Jun 23
25 Jun 22
10 Jun 14
10 Jun 2
10 May 26
10 May 23
10 May 20
40 May 19
10 May 16
10 May 11
27 May 10
15 May 9
10 May 6
140 May 5
200 May 4
20 Apr 30
20 Apr 29
10 Apr 28
10 Apr 21
10 Apr 12
10 Apr 10
10 Apr 8
20 Apr 7
50 Apr 5