Note that Dennis Ritchie already received the Turing award in 1983 for inventing and writing UNIX. In fact, more than half of the Turing awards are for practic

Note that Dennis Ritchie already received the Turing award in 1983 for inventing and writing UNIX. In fact, more than half of the Turing awards are for practical inventions and software: work on programming languages and compilers, TCP/IP, operating systems, relational databases. And even many of awarded "theoretical" achievements had working software that demonstrated or automated the maths parts. I'm not arguing against an "Art and Design" award - but just noting that the Turing award is not that far off, it covers Computer Science contributions much more widely than just proving CS maths theorems.