19,505 reputation
448113
bio website andrej.com
location Ljubljana
age 44
visits member for 5 years, 10 months
seen 25 mins ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

19,505 Reputation

10 yesterday
10 Aug 28
+10 11:16 upvote
10 Aug 20
10 Aug 19
5 Aug 7
5 Aug 5
25 Jul 31
5 Jul 30
15 Jul 23
10 Jul 18
20 Jul 17
5 Jul 12
30 Jun 27
10 Jun 25
5 Jun 22
15 Jun 19
10 Jun 16
10 Jun 10
20 Jun 5
20 Jun 3
35 Jun 2
90 Jun 1
5 May 31
5 May 28
10 May 22
10 May 19
5 May 17
-5 May 12
10 May 11
10 May 9