2007年圖靈獎得主因感染新冠肺炎去世 享年75歲

原標題：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年當選美國藝術和科學院院士。

來源:中國青年網