爱德蒙·克拉克
| 爱德蒙·克拉克 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
