14,679 reputation
3477
bio website andrej.com
location Slovenia
age 44
visits member for 4 years, 11 months
seen 19 hours ago

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.


452
× 43
157
× 14
352
× 29
142
× 13
270
× 31
127
× 9
255
× 28
106
× 13
243
× 22
105
× 10
MathOverflow 19,455 rep 348113
Theoretical Computer Science 14,679 rep 3477
Computer Science 6,360 rep 1029
Mathematics 1,431 rep 512
Stack Overflow 1,314 rep 615

255 Votes Cast

all time   by type  
153 up 151 question
102 down 104 answer