16,744 reputation
14098
bio website andrej.com
location Ljubljana
age 43
visits member for 4 years, 11 months
seen 11 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,744 Reputation

20 2 days ago
10 Sep 17
10 Sep 15
10 Sep 13
10 Sep 9
10 Sep 5
10 Sep 1
10 Aug 29
10 Aug 27
10 Aug 26
20 Aug 21
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