爱德蒙·克拉克

小爱德蒙·梅尔森·克拉克（英语：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]

参照

1. 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）.
2. My father, Edmund M Clarke, passed away from Covid today. （页面存档备份，存于互联网档案馆） James S. Clarke, 7:51PM, Dec 22, 2020

外部链接

• 爱德蒙·克拉克在数学谱系计划的资料。
• Home page at Carnegie Mellon University （页面存档备份，存于互联网档案馆）
• Turing Award announcement
• Model Checking book （页面存档备份，存于互联网档案馆）
• CMACS home page （页面存档备份，存于互联网档案馆）