イギリス連邦（ケンブリッジシャー）
伝記
イギリスの計算機科学者。自動定理証明ツールを開発し、その言語MLは型推論と例外処理を備えた世界初の言語となった。並行システムを解析する理論も作り、1991年にチューリング賞を受けた。
同じ年に亡くなった人物
- アラン・サンデージ (2010年没)
- Angel Cabrera (2010年没)
- グレゴリー・アイザックス (2010年没)
- ケヴィン・マッカーシー (2010年没)
- Roman Dmitriyev (2010年没)
同じ地域に関係する人物
- アラン・ベイカー (2018年没)
- マックス・ニューマン (1984年没)
- スティーヴン・ホーキング (2018年没)
- ジョージ・ガブリエル・ストークス (1903年没)
- ジョン・フィッシャー・バーンズ (2026年没)