За его основной вклад в анализ алгоритмов и дизайна языков программирования, и, в частности, за его вклад в «искусство компьютерного программирования» через его известные книги в непрерывной серии по этому названию.