エドムンド・クラーク
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/09 01:30 UTC 版)
エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日)は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。
- ^ “Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors” (英語). カーネギーメロン大学 HP. (2020年12月23日) 2020年12月25日閲覧。
- 1 エドムンド・クラークとは
- 2 エドムンド・クラークの概要
- 3 外部リンク
固有名詞の分類
アメリカ合衆国のコンピュータ技術者 | リチャード・ハミング ダグラス・カマー エドムンド・クラーク エドワード・フレドキン ビャーネ・ストロヴストルップ |
IEEEフェロー | 上林弥彦 アルフレッド・エイホ エドムンド・クラーク 原島文雄 ジャック・ドンガラ |
- エドムンド・クラークのページへのリンク