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

当地时间12月23日，英特尔实验室量子硬件研究组总监James S. Clarke在社交媒体发文表示，他的父亲、2007年图灵奖得主爱德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎于12月23日不幸去世。爱德蒙·克拉克曾任美国卡内基梅隆大学计算机科学系教授，是ACM和IEEE会士。他在软硬件验证、自动定理证明、形式方法等方面享有崇高的国际声誉，是模型检验方法的开创者之一，2007年获ACM图灵奖。（澎湃）