16,774 reputation
14099
bio website andrej.com
location Ljubljana
age 43
visits member for 4 years, 11 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.

16,774 Reputation

0 Sep 29
10 Sep 26
10 Sep 24
10 Sep 23
20 Sep 18
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