爱德蒙·克拉克

维基百科,自由的百科全书
跳到导航 跳到搜索
爱德蒙·克拉克
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]

参照[编辑]

外部链接[编辑]