アメリカ合衆国（ペンシルベニア州）
伝記
アメリカの計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られ、カーネギーメロン大学の教授を務めた。
同じ年に亡くなった人物
- パット・パターソン (2020年没)
- ジェラール・ウリエ (2020年没)
- 川崎富作 (2020年没)
- イッザト・イブラーヒーム (2020年没)
- ヴラディツァ・ポポヴィッチ (2020年没)
同じ地域に関係する人物
- トーマス・S・ゲイツ (1983年没)
- マリオン・ジンダースタイン (1980年没)
- エミー・ネーター (1935年没)
- フェルディナンド・ヴァンデヴィア・ヘイデン (1887年没)
- ジョージ・マードック (1985年没)