爱德蒙·克拉克1945—2020

Edmund M. Clarke

美国计算机科学家

小爱德蒙·梅尔森·克拉克，美国计算机科学家。2007年，他与艾伦·爱默生和约瑟夫·斯发基斯一起因在模型检查取得的杰出贡献而获得图灵奖。

出生: 1945 年，纽波特纽斯
逝世: 2020 年
国籍: 美国
学科: 数学、计算机科学、工程与发明、博物与综合
职业: 计算机科学家、大学教师、工程师、数学家
研究领域: 信息学、计算机科学
母校: 弗吉尼亚大学、杜克大学、康奈尔大学
工作单位: 杜克大学、哈佛大学、康奈尔大学、卡内基梅隆大学
导师: 罗伯特·李·康斯特勃
学生: 布巴内斯瓦尔·米莎拉、艾伦·爱默生、Sicun Gao、大卫·L·迪尔、Kenneth L. McMillan、Marius Minea、Sérgio Vale Aguiar Campos、Somesh Jha、Xudong Zhao、David Elsey Long、Jerry Robert Burch、Michael Browne
学会 / 院士: 电气电子工程师学会、美国文理科学院、美国国家工程院、计算机协会
其他荣誉: 帕里斯·卡内拉基斯奖、亨利·h·古德纪念奖、ACM会士、IEEE Fellow、美国文理科学院院士、富兰克林研究所奖项