| 爱德蒙·克拉克 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冠状病毒去世。