2007年图灵奖得主因感染新冠肺炎去世 享年75岁

访问：

[活动]阿里云“企业飞天会员年终盛典”：新户最高可得1212元红包

百度文库联合会员活动：加送百度网盘年卡只需193.74元

爱德蒙·克拉克曾任美国卡内基梅隆大学计算机科学系教授，是ACM和IEEE会士。他在软硬件验证、自动定理证明、形式方法等方面享有崇高的国际声誉，是模型检验方法的开创者之一，2007年获ACM图灵奖。

爱德蒙·克拉克1945年出生，1967年在弗吉尼亚大学获得数学学士学位，1968年在杜克大学获得数学硕士学位，1976年在康奈尔大学获得计算机博士学位。然后，克拉克教授在杜克大学任教两年，于1978年加入哈佛大学并担任助理教授。1982年，加入卡内基梅隆大学计算机系。

克拉克教授曾获IEEE Harry M. Goode纪念奖（2004年），Herbrand奖（2008年）。2005年当选美国工程院院士，2011年当选美国艺术和科学院院士。

本文素材来自互联网

（编辑：应用网_阳江站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!