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

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

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