アルゴリズムの解析、プログラミング言語の設計、情報処理技術の開発などにより、計算機・情報科学の基礎から応用に至る幅広い分野で大きな研究成果をあげるとともに、ソフトウェア科学を体系化しその基礎を創るなど、研究と教育を通じ、20世紀の情報科学の発展に多大な貢献をした。