Edmund M. Clarke

小埃德蒙·梅尔森·克拉克（Edmund Melson Clarke, Jr.，1945 年 7 月 27 日至 2020 年 12 月 22 日）是一位美国计算机科学家和学者，以开发模型检查（一种正式验证硬件和软件设计的方法）而闻名。他是卡内基梅隆大学计算机科学系的 FORE Systems 教授。 Clarke 与 E. Allen Emerson 和 Joseph Sifakis 一起荣获 2007 年 ACM 图灵奖。克拉克出生于弗吉尼亚州纽波特纽斯，获得了学士学位。 1967 年在夏洛茨维尔弗吉尼亚大学获得数学学士学位，1968 年在北卡罗来纳州达勒姆杜克大学获得数学硕士学位，1968 年在北卡罗来纳州杜克大学获得数学博士学位。 1976 年获得纽约州伊萨卡康奈尔大学计算机科学博士学位。获得博士学位后，他在杜克大学计算机科学系任教两年。 1978年，他搬到马萨诸塞州剑桥市的哈佛大学，担任应用科学部计算机科学助理教授。 1982 年，他离开哈佛大学，加入宾夕法尼亚州匹兹堡卡内基梅隆大学计算机科学系任教。 1989 年，他被任命为正教授。1995 年，他成为卡内基梅隆计算机科学学院的 FORE 系统教授职位的第一位获得者。他于 2008 年成为大学教授，并于 2015 年成为名誉教授。 [2] 他于 2020 年 12 月在宾夕法尼亚州 COVID-19 大流行期间死于 COVID-19，享年 75 岁。 [ 3 ] [ 4 ] 领域：计算机科学 教育背景：弗吉尼亚大学 文学学士 杜克大学 文学硕士 康奈尔大学 博士奖获奖者：A.M.图灵奖