14,729 reputation
3578
bio website andrej.com
location Slovenia
age 44
visits member for 5 years
seen 51 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.


454
× 43
158
× 14
353
× 29
142
× 13
273
× 31
127
× 9
256
× 28
106
× 13
244
× 22
106
× 10
MathOverflow 19,495 rep 448113
Theoretical Computer Science 14,729 rep 3578
Computer Science 6,595 rep 1129
Mathematics 1,431 rep 512
Stack Overflow 1,313 rep 615

261 Votes Cast

all time   by type   month   week  
155 up 156 question 6 4
106 down 105 answer