16,634 reputation
14098
bio website andrej.com
location Ljubljana
age 43
visits member for 4 years, 10 months
seen yesterday
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

16,634 Reputation

20 2 days ago
25 Aug 20
30 Aug 19
40 Aug 18
10 Aug 16
10 Aug 13
10 Aug 12
50 Aug 11
5 Aug 6
17 Aug 5
5 Aug 2
33 Aug 1
10 Jul 30
70 Jul 29
45 Jul 28
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