亡くなった著名人
エドムンド・クラーク氏（計算機）
2020年12月22日 新型コロナウイルス感染症により逝去
ファイル:Edmund Clarke FLoC 2006.jpg／thumb／エドムンド・クラーク
エドムンド・メルソン・クラーク・ジュニア（Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日）は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。
1967年、バージニア大学で数学の学士号を取得。1968年、デューク大学で数学の修士号を取得。1976年、コーネル大学で計算機科学の博士号を取得した。その後2年間、デューク大学計算機科学科で教壇に立った。1978年、ハーバード大学に移り、応用科学部で計算機科学の助教授を務めた。1982年にハーバードを離れ、カーネギーメロン大学の計算機科学科に移った。1989年には教授になっている。1995年、:en:Carnegie Mellon School of Computer Science／Carnegie Mellon School of Computer Science の :en:FORE Systems／FORE Systems の教授職を最初に受領した。
（ウィキペディアより）
ログイン
bochi運営室からのお知らせ
- 2018年06月24日
- 総括の順位選択仕様変更
- 2018年04月04日
- bochi10周年記念おまいレージ10倍キャンペ
- 2018年01月25日
- 平均余命を更新しました
- 2018年01月23日
- お墓の天候が反映されない不具合について
- 2016年11月14日
- 音楽プレーヤーの埋め込みについて
- 2014年02月21日
- お墓の天気について
- 2013年12月16日
- メインメニューデザイン変更