爱德蒙·克拉克

维基百科,自由的百科全书
跳到导航 跳到搜索
爱德蒙·克拉克
Edmund Clarke
Edmund Clarke FLoC 2006.jpg
爱德蒙·克拉克
出生 (1945-07-27) 1945年7月27日74岁)
美国维吉尼亚州纽波特纽斯
国籍  美国
母校 康乃尔大学
知名于 模型检查英语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日),美国计算机科学家。2007年,他与艾伦·爱默生约瑟夫·斯发基斯一起因在模型检查英语Model checking取得的杰出贡献而获得图灵奖[1]

参照[编辑]

外部链接[编辑]