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

16,664 Reputation

10 Aug 29
+10 07:17 upvote
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
10 Jun 26
40 Jun 23
25 Jun 22
10 Jun 14
10 Jun 2
10 May 26
10 May 23