19,495 reputation
448113
bio website andrej.com
location Ljubljana
age 44
visits member for 5 years, 10 months
seen 10 mins 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
405
× 39
120
× 15
177
× 22
117
× 12
139
× 21
116
× 13
MathOverflow 19,495 rep 448113
Theoretical Computer Science 14,739 rep 3578
Computer Science 6,605 rep 1129
Mathematics 1,431 rep 512
Stack Overflow 1,313 rep 615

735 Votes Cast

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