1978年ACM A・M・チューリング賞
受賞理由
効率的で信頼性の高いソフトウェアを生み出す方法論に明確な影響を与えたこと、また、解析理論、プログラミング言語の意味論、プログラムの自動検証、プログラムの自動合成、アルゴリズムの解析など、コンピュータサイエンスの重要な分野の発見への貢献に対して。
受賞者
ロバート・フロイド
効率的で信頼性の高いソフトウェアを生み出す方法論に明確な影響を与えたこと、また、解析理論、プログラミング言語の意味論、プログラムの自動検証、プログラムの自動合成、アルゴリズムの解析など、コンピュータサイエンスの重要な分野の発見への貢献に対して。