爱德蒙·克拉克

小爱德蒙·梅尔森·克拉克（英语：Edmund Melson Clarke, Jr.，1945年7月27日—2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在模型检查（英语：Model checking）取得的杰出贡献而获得图灵奖。^[1]

爱德蒙·克拉克 Edmund Clarke
爱德蒙·克拉克
出生	(1945-07-27)1945年7月27日  美国弗吉尼亚州纽波特纽斯
逝世	2020年12月22日(2020岁—12—22)（75岁）  美国宾夕法尼亚州黎巴嫩山（英语：Mt. Lebanon, Pennsylvania）
母校	康乃尔大学
知名于	模型检查（英语：Model checking）
奖项	图灵奖
网站	www.cs.cmu.edu/~emc
科学生涯
研究领域	电脑科学
机构	卡内基美隆大学
论文	Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems（1976）
博士导师	罗伯特·李·康斯特勃（英语：Robert Lee Constable）
博士生	艾伦·爱默生 布巴内斯瓦尔·米莎拉（英语：Bhubaneswar Mishra） 大卫·L·迪尔（英语：David L. Dill）

美国匹兹堡当地时间2020年12月22日下午（北京时间12月23日上午）因感染2019冠状病毒去世。^[2]