2007年圖靈獎得主愛德蒙·克拉克因感染新冠肺炎不幸去世

2021-01-21 電子發燒友
打開APP
2007年圖靈獎得主愛德蒙·克拉克因感染新冠肺炎不幸去世

新智元 發表於 2021-01-14 10:36:07

【導讀】2007年圖靈獎得主愛德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎於當地時間12月22日不幸去世。

當地時間12月22日，2007年圖靈獎得主愛德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎不幸去世，享年75歲。

他的兒子James Clarke在推特上發布了這一消息。在推文中，James Clarke說：「今天，我的父親愛德蒙·M·克拉克因為新冠肺炎去世了。他是2007年圖靈獎獲得者。父親對我的學術研究一直寄予厚望，他還教我打棒球，釣魚，環球旅行。我將會深切懷念他。」

據了解，James Clarke目前擔任英特爾量子硬體研究組總監。

克拉克教授生前一直專注於軟硬體系統的驗證和自動理論證明方面的研究工作。在他的博士論文中，有一項工作就是證明在一些程序語言的控制邏輯中沒有一個完善的Hoare理論證明系統。

教授生平

愛德蒙·克拉克生於1945年，1967年從維吉尼亞大學獲得數學學士學位。1976年，康奈爾大學計算機系獲得其博士學位。

1982年，克拉克教授加入卡內基梅隆大學計算機科學系；在此之前，他先後在杜克大學和哈佛大學任教，在那裡，他的研究小組繼續開創形式驗證和自動定理證明。

他是計算機輔助驗證會議的創始人之一，也曾擔任過Formal Methods in Systems Design雜誌的主編。

1995年，克拉克成為第一個獲得FORE Systems教授資格的人，2008年，他升任大學教授，這也是CMU教師的最高榮譽。

他曾獲得1998年的ACM Kanellakis獎，1999年Allen Newell 研究卓越獎，2004年 IEEE Harry h. Goode 紀念獎以及2008年自動推理演繹會議Herbrand傑出貢獻獎（共同獲得者）。2014年，富蘭克林學會授予他鮑爾科學成就獎，以表彰他在計算機系統驗證技術的構想和開發方面的領導作用。

他在2015年當選CMU名譽教授。

教計算機自己檢查錯誤的人走了

自計算機誕生以來，工程師們通過運行模擬以測試性能或手動檢查每行計算機代碼的方法來檢查計算機電路或軟體程序中的邏輯錯誤。但是，隨著計算機晶片上組件的數量呈幾何級數增長，軟體和計算機系統同樣也變得更加複雜，這些偶然的「非正式驗證」方法顯然是不夠的。錯誤通常在產品發布後才被發現，因為即使是微小的錯誤就整起來也非常昂貴的。

1981年，當時在哈佛擔任助理教授的克拉克與他的研究生E. Allen Emerson以及Grenoble大學的Joseph Sifakis，開發了一種自動檢測計算機硬體和軟體設計錯誤的方法，被稱為模型檢測。

模型檢測是一種分析設計背後邏輯的「形式驗證」，就像數學家使用證明來確定一個定理是正確的。模型檢測考慮硬體或軟體設計的每一種可能狀態，並確定它是否與設計者的規範一致，大大避免了偶然錯誤的出現，隨後它被廣泛應用，幫助提高複雜計算機晶片、系統和網絡的可靠性。

克拉克教授和E. Allen Emerson， Joseph Sifakis因此獲得了2007年的圖靈獎。

卡內基梅隆大學的校長Farnam Jahanian說：「Ed在模型檢測方面的開創性工作將形式化的計算方法應用於最終的挑戰: 計算機檢查自己的正確性。隨著系統變得越來越複雜，我們才剛剛開始看到Ed的見解所帶來的廣泛和長期的益處，這將在未來幾年繼續激勵研究人員和實踐者。」

新冠帶走了克拉克教授，從此世界又少了一個計算機巨人，但天堂沒有新冠，教授，走好！

責任編輯：lq

 

打開APP閱讀更多精彩內容

聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人，不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用，如有內容圖片侵權或者其他問題，請聯繫本站作侵刪。 侵權投訴

相關焦點

  • 2007年圖靈獎得主因感染新冠肺炎去世,享年75歲
    2007年圖靈獎得主因感染新冠肺炎去世，享年75歲 澎湃新聞記者 張唯 2020-12-24 13:30 來源：澎湃新聞 當地時間12月23
  • 2007年圖靈獎得主因感染新冠肺炎去世 享年75歲
    Clarke在社交媒體發文表示，他的父親、2007年圖靈獎得主愛德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎於12月23日不幸去世。愛德蒙·克拉克曾任美國卡內基梅隆大學計算機科學系教授，是ACM和IEEE會士。
  • 2007年圖靈獎得主Edmund Clarke因感染新冠離世...
    而前幾天，讓計算機圈子格外惋惜的是，當地時間12月22日，2007年圖靈獎得主，美國著名計算機專家，愛德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎不幸去世，享年75歲。2007年，克拉克教授與艾倫·愛默生教授（Allen Emerson）和約瑟夫·斯發基斯（Joseph Sifakis）共同獲得有著計算科學領域諾貝爾之稱的圖靈獎。獲獎理由是他們開發的模型檢測技術，成為一個廣泛應用在硬體和軟體工業中非常有效的算法驗證技術。
  • 圖靈獎得主 Edmund Clarke 因感染「新冠」逝世
    Clarke 在社交媒體發布了一封訃告稱，他的父親、2007 年圖靈獎得主 Edmund M. Clarke 因感染新冠肺炎不幸去世，享年 75 歲。2007 年度圖靈獎被授予給了 Edmund M.Clarke 出生於 1945 年。先後於 1967 年在維吉尼亞大學獲得數學學士學位、1968 年在杜克大學取得數學碩士學位、1976 年在康奈爾大學獲得計算機博士學位。之後，Clarke 教授在杜克大學任教兩年後，於 1978 年加入哈佛大學並擔任助理教授。
  • 圖靈獎得主Edmund Clarke因新冠逝世
    據最新消息，2007年圖靈獎得主、計算機科學家Edmund Clarke，因感染新冠肺炎，於北京時間12月23日上午不幸逝世。2007年，他與Ernest Allen Emerson和Joseph Sifakis一起，因在模型檢查方面取得的傑出貢獻而獲得圖靈獎。
  • 又一位巨星因「新冠」隕落,圖靈獎得主Edmund Clarke,享年75歲
    據最新消息，2007年圖靈獎得主、計算機科學家Edmund Clarke，因感染新冠肺炎，於北京時間12月23日上午不幸逝世。其子James S. Clarke在Twitter發文公布此消息之餘，也悼念道：雖然他對（我）學業上的成功總是抱有很高的期望，但他也教會了我打棒球、釣魚和環遊世界。我將深深地懷念他。
  • 全球首位圖靈獎女性得主去世,在計算機領域做出了開拓性貢獻
    首頁 > 動態 > 關鍵詞 > 圖靈獎最新資訊 > 正文 全球首位圖靈獎女性得主去世，在計算機領域做出了開拓性貢獻
  • 全球首位圖靈獎女性得主去世 1983年曾到訪中國
    8月4日，全球首位圖靈獎女性得主法蘭西斯·艾倫(Frances E. Allen)去世，享年88歲。法蘭西斯·艾倫生於1954 年，畢業於美國紐約州立大學奧爾巴尼分校。她在 1980 年代早期創立了並行翻譯(Parallel TRANslation，PTRAN)研究組，致力於研究並行計算機的編譯問題。她在計算機領域做出了開拓性貢獻。
  • 韓國著名導演金基德因感染新冠肺炎去世
    來源：北青網原標題：韓國著名導演金基德因感染新冠肺炎去世據韓國媒體報導，韓國著名導演金基德因感染新冠肺炎於12月11日晚在拉脫維亞去世，終年60歲。該相關人士接著補充說：「（關於金基德導演去世的消息）家人當天也接到了聯繫。」金基德於1960年12月20日出生於慶尚北道奉化郡，本月原本是他60歲的生日。韓媒援引拉脫維亞媒體Delfi報導，金基德於11月20日進入拉脫維亞，在當地找房子，想要獲得居留權。本月5號之後，他朋友發現聯繫不上他了，於是通過排查，發現他可能因眼暈症在入院後去世，疑為感染新冠肺炎。
  • 全球首位圖靈獎女性得主去世，曾呼籲更多女性學習計算機
    唯一女性圖靈獎得主去世，圖靈獎是什麼？近日，地球上唯一的一位女性圖靈獎得主艾倫去世，享年88歲，不少國外的媒體評論，這是計算界的一次重大損失，那麼艾倫曾經都為計算機行業做出過哪些貢獻呢？所謂的圖靈獎又是嘉獎了什麼？
  • 全球首位女性圖靈獎得主去世，三次到訪中國，曾是IBM首位女院士
    全球首位圖靈獎女性得主、首位 IBM 女院士弗朗西斯·艾倫（Frances Allen），因阿爾茨海默病併發症去世，去世當天是 8 月 4 日，正好是她 88 歲生日。對於她的不幸去世，中國科學院計算技術研究所研究員、國內編譯器專家馮曉兵告訴DeepTech：「弗朗西斯·艾倫的去世非常令人惋惜，像她這樣的業界巨擘寥寥無幾。艾倫本身也是計算機科學的先驅之一，其在編譯系統架構、程序分析、優化技術等方面做出的開創性和基礎性工作至今影響深遠。其於 2007 年斬獲圖靈獎可謂實至名歸。
  • 世界首位女性圖靈獎得主去世，她有哪些驚人成就？
    法蘭西斯·伊莉莎白·艾倫，暱稱法蘭艾倫(英語: Fran Allen)是一位卓越的計算機科學家，1933年出生於美國紐約州。這位慈祥的老婦人恰巧在2020年8月4日生日當天去世，享年88歲。法蘭艾倫這一生創造了兩個「女性第一」，她既是 IBM 首位女性院士，也在2007年成為首位女性圖靈獎得主。
  • 首位圖靈獎女得主去世，她說編程與登山一樣，充滿挑戰
    【新智元導讀】全球首位圖靈獎女性得主Frances Allen去世了，享年88歲。2007 年 2 月，圖靈獎第一次授予給一位女性，以表彰她在編譯器設計和機器架構方面做出了開創性貢獻。除圖靈獎外，艾倫還獲得了許多讚譽和榮譽。
  • 首位圖靈獎女得主去世，她說編程與登山一樣，充滿挑戰
    全球首位圖靈獎女性得主Frances Allen去世了，享年88歲。她同時也是IBM歷史上第一位女院士。 她的研究影響了計算機發展歷程，為現代優化編譯器和自動並行化執行奠定了基礎。她去世了，在紐約。2007 年 2 月，圖靈獎第一次授予給一位女性，以表彰她在編譯器設計和機器架構方面做出了開創性貢獻。
  • 2020年全球至少133位名人明星因新冠去世,名單曝光最年輕者29歲
    11月28日，時尚品牌KENZO創始人高田賢三因感染新冠去世，享年81歲，高田是日本著名設計師。　　　　拉姆拉赫曼（右）　　12月9日，58歲的巴西著名演員埃杜阿多高旺，因感染新冠不幸去世。　　　　12月23日，一位科學家因新冠隕落，2007年計算機圖靈獎獲得者愛德蒙克拉克（EdmundM.CLarke）因感染新冠去世，享年75歲。
  • A.M.圖靈獎獲得者、CMU教授Edmund M. Clarke因COVID去世
    圖靈獎得主Edmund M. Clarke在長期患病後於當地時間周二死於COVID-19，享年75歲。Clarke來自黎巴嫩山，他最著名的工作成果是模型檢查，這是一種檢測計算機硬體和軟體設計錯誤的自動化方法。
  • 這7位圖靈獎得主
    通過5G新零售跨境拼搶模式，實現用戶、商家、消費者三方受益，打造新時代的共贏電商。這7位圖靈獎得主，竟然今日才入選ACM Fellow，他們可是程式設計師「祖師爺」7位圖靈獎得主計算機科學許多基礎研究的關鍵是ACM研究員。要知道，ACM—美國計算機協會是世界著名的重要計算機組織，會員是其重要榮譽之一。計算機領域的諾貝爾獎由ACM頒發。
  • A.M.圖靈獎獲得者、CMU教授Edmund M. Clarke因COVID-19去世
    圖靈獎得主Edmund M. Clarke在長期患病後於當地時間周二死於COVID-19，享年75歲。Clarke來自黎巴嫩山，他最著名的工作成果是模型檢查，這是一種檢測計算機硬體和軟體設計錯誤的自動化方法。CMU校長Farnam Jahanian表示，隨著Clarke先生的去世，世界失去了計算機科學領域的一位巨人。
  • 武漢29歲女醫生感染新冠肺炎去世,全家都是醫護人員,2歲兒子還不知情
    2月23日，武漢市協和江北醫院/蔡甸區人民醫院（以下簡稱「協和江北醫院」）官微發布公告，院內29歲的消化內科醫生夏思思在抗擊疫情一線不幸感染新冠肺炎，2月23日清晨6時30分，經救治無效在武漢大學中南醫院去世。
  • 首位圖靈獎女性得主去世，她的研究影響了計算機科學發展的整個歷程
    圖片來源：IBM Research Blog8月4日，全球首位圖靈獎女性得主弗朗西斯·艾倫（Frances Allen）去世了，享年88歲，當天正好是她的生日。2007 年2月，圖靈獎第一次授予一位女性，以表彰她在編譯器設計和機器架構方面做出的開創性貢獻。艾倫作為早期計算機行業為數不多的女性之一，為今天高效、快速的應用程式鋪平了道路。「她打破了無形頂障，」她的同事馬克-韋格曼告訴《紐約時報》。「當時，甚至沒有人認為像她這樣的人能夠取得她的成就。」