1996年ACM A・M・チューリング賞
受賞理由
計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して。
受賞者
アミール・プヌーリ
計算機科学に時相論理を導入した独創的業績とプログラムやシステムの検証への多大な貢献に対して。