19,455 reputation
348113
bio website andrej.com
location Ljubljana
age 44
visits member for 5 years, 9 months
seen yesterday
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

19,455 Reputation

25 2 days ago
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
10 May 5
10 Apr 30
10 Apr 28
20 Apr 26
5 Apr 21
10 Apr 17