14,360 reputation
3474
bio website andrej.com
location Slovenia
age 44
visits member for 4 years, 10 months
seen 2 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.


450
× 43
153
× 14
348
× 29
125
× 9
269
× 31
121
× 12
253
× 28
106
× 13
242
× 22
105
× 10
MathOverflow 19,375 rep 348112
Theoretical Computer Science 14,360 rep 3474
Computer Science 6,296 rep 1028
Mathematics 1,431 rep 512
Stack Overflow 1,314 rep 515

250 Votes Cast

all time   by type  
151 up 149 question
99 down 101 answer