2007年圖靈獎得主因感染新冠肺炎去世,享年75歲
2020年12月24日13:30

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

關注我們Facebook專頁
    相關新聞
      更多瀏覽