(原标题:2007年图灵奖得主因感染新冠肺炎去世,享年75岁)

澎湃新闻记者 张唯

当地时间12月23日,英特尔实验室量子硬件研究组总监James S. Clarke在社交媒体发文表示,他的父亲、2007年图灵奖得主爱德蒙·克拉克(Edmund M. Clarke)因感染新冠肺炎于12月23日不幸去世。

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

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

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

免责声明:本网站部分内容来源于互联网或用户投稿,内容版权归原作者所有,文章观点为原作者独立发表,不代表澈逆凡博客立场,不对其真实性、准确性负责!如本站内容侵犯了您的权益,我们也会在第一时间予以删除!