18,261 reputation
344104
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years, 1 month
seen 12 hours ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

18,261 Reputation

10 yesterday
20 2 days ago
10 Dec 15
0 Dec 13
10 Dec 11
10 Dec 10
30 Dec 9
105 Dec 8
5 Dec 7
60 Dec 5
40 Dec 4
20 Dec 2
40 Dec 1
10 Nov 28
10 Nov 27
10 Nov 22
30 Nov 11
10 Nov 5
60 Nov 3
20 Nov 1
10 Oct 31
5 Oct 30
5 Oct 28
5 Oct 27
5 Oct 24
5 Oct 21
15 Oct 20
5 Oct 17
35 Oct 16
20 Oct 13