The new programming model will leverage computers to solve their own issues of complexity and allow humans to do what they do best: choreographing the outcomes.

He is the author of the multi-volume work, the magnum opus, The Art of Computer Programming. He made several key contributions to the rigorous analysis of the computational complexity of algorithms.