当地时间 12 月 23 日，英特尔实验室量子硬件研究组总监 James S. Clarke 在社交媒体发布了一封讣告称，他的父亲、2007 年图灵奖得主 Edmund M. Clarke 因感染新冠肺炎不幸去世，享年 75 岁。
2007 年度图灵奖被授予给了 Edmund M. Clarke、E Allen Emerson 和 Joseph Sifakis 三位科学家，以表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
Edmund M. Clarke 出生于 1945 年。先后于 1967 年在弗吉尼亚大学获得数学学士学位、1968 年在杜克大学取得数学硕士学位、1976 年在康奈尔大学获得计算机博士学位。
之后，Clarke 教授在杜克大学任教两年后，于 1978 年加入哈佛大学并担任助理教授。1981年，他与自己的博士生 Allen Emerson 首次提出了模型检测的想法并用在自动机并发系统的验证研究上，成为形式逻辑研究方面模型检查的开创者之一。
1982 年，他加入了卡内基梅隆大学计算机系，并于 1989 年被评为全职终身教授一职。1995 年，Clarke 成为了卡内基梅隆大学计算机科学学院 FORE Systems Professorship 的首位获奖者；2008 年被评为 University Professor，这是卡内基梅隆大学的最高教师荣誉。
此外，他还是 1998 年 ACM Kanellakis 奖、1999 年 Allen Newell 卓越研究奖、2004 年 IEEE Harry H. Goode 纪念奖和 2008 年 Herbrand 奖的共同获得者。2014 年，富兰克林研究所向他颁发了鲍尔奖和科学成就奖，以表彰他在计算机系统验证技术的构思和开发方面的领导作用。
Edmund M. Clarke 于 1968 年与高中女友 Martha W. Clarke 结婚。据悉，他对妻子说的最后一句话是"我爱你"。由于疫情限制，追悼会将以私人模式举办，计划于当地时间 12 月 28 日星期一下午 2 点直播。
猜你喜欢: