小爱德蒙·梅尔森·克拉克（英语：Edmund Melson Clarke, Jr.，1945年7月27日—2020年12月22日），美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在模型检查（英语：Model checking）取得的杰出贡献而获得图灵奖。[1] 事实速览 爱德蒙·克拉克Edmund Clarke, 出生 ...爱德蒙·克拉克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 （页面存档备份，存于互联网档案馆）Wikiwand - on Seamless Wikipedia browsing. On steroids.
