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

735 Votes Cast

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