アメリカ合衆国（ペンシルベニア州）
伝記
アメリカの計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られ、カーネギーメロン大学の教授を務めた。
同じ年に亡くなった人物
- アン・E・トッド (2020年没)
- ケン・ロビンソン (2020年没)
- クレイトン・クリステンセン (2020年没)
- アマドゥ・トゥマニ・トゥーレ (2020年没)
- フィリップ・レダー (2020年没)
同じ地域に関係する人物
- トーマス・S・ゲイツ (1983年没)
- エドワード・ブラドック (1755年没)
- レイモンド・ドゥーガン (1940年没)
- ウォルター・テュークスベリー (1968年没)
- ズィアド・ジャッラーフ (2001年没)