爱德蒙·克拉克

维基百科,自由的百科全书
爱德蒙·克拉克
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
博士生

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

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

参照[编辑]

外部链接[编辑]