爱德蒙·克拉克

维基百科,自由的百科全书
跳到导航 跳到搜索
爱德蒙·克拉克
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
爱德蒙·克拉克
出生 (1945-07-27) 1945年7月27日73歲)
国籍 美國
母校 康乃爾大學
知名于 模型檢查英语Model checking
奖项 圖靈獎
网站 www.cs.cmu.edu/~emc
科学生涯
研究領域 電腦科學
机构 卡內基美隆大學
论文 Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems(1976)
博士導師 羅伯特·李·康斯特勃英语Robert Lee Constable
博士生

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

参照[编辑]

外部链接[编辑]