17,727 reputation
343102
bio website andrej.com
location Ljubljana
age 43
visits member for 5 years
seen 3 hours ago
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

17,727 Reputation

5 yesterday
5 Oct 21
15 Oct 20
5 Oct 17
35 Oct 16
20 Oct 13
30 Oct 12
10 Oct 11
35 Oct 10
35 Oct 9
45 Oct 8
50 Oct 7
128 Oct 6
180 Oct 5
88 Oct 4
202 Oct 3
65 Oct 2
0 Sep 29
10 Sep 26
10 Sep 24
10 Sep 23
20 Sep 18
10 Sep 17
10 Sep 15
10 Sep 13
10 Sep 9
10 Sep 5
10 Sep 1
10 Aug 29
10 Aug 27