エドムンド・クラーク
| 読み | エドムンドクラーク |
|---|---|
| 生没年 | 1945年07月27日 - 2020年12月22日 |
| 年齢 | 満75歳4ヶ月没 |
| 星座 | 獅子座(しし座, Leo, The Lion) |
| 干支 | 酉年(とり年) |
| 運命星 | 天王星人(－)[運命数8, 星数34] |
エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日)は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。
[ ウィキペディアで続きを見る... ]
[ ウィキペディアで続きを見る... ]
◆「エドムンド・クラーク」と同じカテゴリ
◆「エドムンド・クラーク」の外部リンク