11,274 reputation
2860
bio website andrej.com
location Slovenia
age 43
visits member for 4 years
seen 15 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.


389
× 39
110
× 8
272
× 23
106
× 11
228
× 24
95
× 9
175
× 17
87
× 5
174
× 21
84
× 10
MathOverflow 16,664 rep 14098
Theoretical Computer Science 11,274 rep 2860
Computer Science 5,062 rep 722
Mathematics 1,341 rep 410
Stack Overflow 1,274 rep 515

206 Votes Cast

all time   by type  
127 up 121 question
79 down 85 answer