爱德蒙·克拉克
| 爱德蒙·克拉克 Edmund Clarke | |
|---|---|
 爱德蒙·克拉克 | |
| 出生 | 1945年7月27日 美国維吉尼亞州紐波特紐斯 |
| 逝世 | 2020年12月22日（75歲） 美国賓夕法尼亞州黎巴嫩山 |
| 母校 | 康乃爾大學 |
| 知名于 | 模型檢查 |
| 奖项 | 圖靈獎 |
| 网站 | www |
| 科学生涯 | |
| 研究领域 | 電腦科學 |
| 机构 | 卡內基美隆大學 |
| 论文 | Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems（1976） |
| 博士導師 | 羅伯特·李·康斯特勃 |
| 博士生 | |
小爱德蒙·梅爾森·克拉克（英語：Edmund Melson Clarke, Jr.，1945年7月27日—2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在模型檢查取得的杰出贡献而获得图灵奖。[1]
美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。[2]
参照
[编辑]- ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始内容存档于2008-05-09）.
- ^ My father, Edmund M Clarke, passed away from Covid today. （页面存档备份，存于互联网档案馆） James S. Clarke, 7:51PM, Dec 22, 2020
