受賞理由

3つの明確で完全な業績に対して。1) LCF、Scottの計算可能関数論理の機械化、機械支援証明構築のためのおそらく最初の理論に基づいた実用的なツール、2) ML、多相型推論と型安全な例外処理機構を含む最初の言語、3) CCS、同時実行の一般的な理論。さらに、完全抽象化、すなわち、操作的意味論と叙述的意味論の関係の研究を定式化し、強力に推進した。

受賞者