14,030 reputation
3472
bio website andrej.com
location Slovenia
age 44
visits member for 4 years, 9 months
seen 9 mins 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.


447
× 43
152
× 14
346
× 29
124
× 9
261
× 30
120
× 12
253
× 28
106
× 13
239
× 22
105
× 10
MathOverflow 19,148 rep 347109
Theoretical Computer Science 14,030 rep 3472
Computer Science 6,156 rep 1028
Mathematics 1,415 rep 512
Stack Overflow 1,314 rep 515

248 Votes Cast

all time   by type   month   week  
151 up 147 question 6 2
97 down 101 answer