19,485 reputation
448113
bio website andrej.com
location Ljubljana
age 44
visits member for 5 years, 10 months
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.

1k
× 100
122
× 16
407
× 62
121
× 12
404
× 39
120
× 15
177
× 22
117
× 12
139
× 21
116
× 13
MathOverflow 19,485 rep 448113
Theoretical Computer Science 14,729 rep 3478
Computer Science 6,570 rep 1129
Mathematics 1,431 rep 512
Stack Overflow 1,314 rep 615

735 Votes Cast

all time   by type   month   week  
600 up 332 question 4 2
135 down 403 answer