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

19,375 Reputation

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
10 May 5
10 Apr 30
10 Apr 28
20 Apr 26
5 Apr 21
10 Apr 17
5 Apr 15
35 Apr 13
10 Apr 2
10 Mar 30
10 Mar 27
20 Mar 26