Resource-aware program analysis and complexity estimation have become pivotal in modern software engineering, where understanding and verifying the quantitative resource consumption of computer ...

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.