يعتبره الكثيرون الأب الروحي لعلم تحليل الخوارزميات حيث ساهم في تطوير وتنظيم أساليب رياضية رسمية لتحليل التعقيد الحسابي للخوارزميات.
He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it.