12,533 reputation
3066
bio website andrej.com
location Slovenia
age 43
visits member for 4 years, 3 months
seen 14 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.


409
× 40
117
× 8
312
× 27
112
× 11
236
× 25
110
× 11
210
× 26
106
× 13
191
× 19
91
× 5
MathOverflow 18,251 rep 344104
Theoretical Computer Science 12,533 rep 3066
Computer Science 5,545 rep 723
Mathematics 1,371 rep 412
Stack Overflow 1,274 rep 515

222 Votes Cast

all time   by type   month  
137 up 130 question 2
85 down 92 answer