爱德蒙·克拉克
美国计算机科学家 / 维基百科,自由的 encyclopedia
小爱德蒙·梅尔森·克拉克(英语:Edmund Melson Clarke, Jr.,1945年7月27日—2020年12月22日),美国计算机科学家。2007年,他与艾伦·爱默生和约瑟夫·斯发基斯一起因在模型检查(英语:Model checking)取得的杰出贡献而获得图灵奖。[1]
Quick Facts 爱德蒙·克拉克Edmund Clarke, 出生 ...
爱德蒙·克拉克 Edmund Clarke | |
---|---|
爱德蒙·克拉克 | |
出生 | (1945-07-27)1945年7月27日 美国维吉尼亚州纽波特纽斯 |
逝世 | 2020年12月22日(2020岁—12—22)(75岁) 美国宾夕法尼亚州黎巴嫩山(英语:Mt. Lebanon, Pennsylvania) |
母校 | 康乃尔大学 |
知名于 | 模型检查(英语:Model checking) |
奖项 | 图灵奖 |
网站 | www |
科学生涯 | |
研究领域 | 电脑科学 |
机构 | 卡内基美隆大学 |
论文 | Completeness and Incompleteness Theorems for Hoare-Like Axiom Systems(1976) |
博士导师 | 罗伯特·李·康斯特勃(英语:Robert Lee Constable) |
博士生 |
|
Close