10,974 reputation
2456
bio website andrej.com
location Slovenia
age 43
visits member for 3 years, 11 months
seen 10 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.


386
× 39
110
× 8
251
× 21
103
× 11
227
× 24
94
× 9
174
× 17
87
× 5
173
× 21
84
× 10
MathOverflow 16,412 rep 14096
Theoretical Computer Science 10,974 rep 2456
Computer Science 4,932 rep 722
Stack Overflow 1,264 rep 515
Mathematics 1,171 rep 410

203 Votes Cast

all time   by type   week  
126 up 118 question 2
77 down 85 answer