11,449 reputation
2860
bio website andrej.com
location Slovenia
age 43
visits member for 4 years
seen 17 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
278
× 24
106
× 11
233
× 25
95
× 9
179
× 22
87
× 5
175
× 17
84
× 10
MathOverflow 16,744 rep 14098
Theoretical Computer Science 11,449 rep 2860
Computer Science 5,167 rep 722
Mathematics 1,351 rep 410
Stack Overflow 1,274 rep 515

209 Votes Cast

all time   by type   month  
129 up 123 question 3
80 down 86 answer