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

980
× 98
118
× 20
393
× 39
118
× 15
375
× 61
118
× 12
166
× 22
114
× 12
119
× 16
110
× 12
MathOverflow 18,487 rep 345106
Theoretical Computer Science 12,943 rep 3267
Computer Science 5,650 rep 824
Mathematics 1,401 rep 412
Stack Overflow 1,274 rep 515

696 Votes Cast

all time   by type   month   week  
570 up 309 question 6 1
126 down 387 answer