A.M.圖靈獎獲得者、CMU教授Edmund M. Clarke因COVID去世

2020-12-27 cnBeta

據外媒報導，卡內基梅隆大學(CMU)名譽教授、A.M. 圖靈獎得主Edmund M. Clarke在長期患病後於當地時間周二死於COVID-19，享年75歲。Clarke來自黎巴嫩山，他最著名的工作成果是模型檢查，這是一種檢測計算機硬體和軟體設計錯誤的自動化方法。

CMU校長Farnam Jahanian表示，隨著Clarke先生的去世，世界失去了計算機科學領域的一位巨人。

上世紀80年代早期，Clarke和他的哈佛大學研究生E. Allen Emerson以及格勒諾布爾大學的Joseph Sifakis開發了模型檢查，這在很大程度上幫助提高了複雜計算機晶片、系統和網絡的可靠性。

鑑於這幾位科研人員的工作，計算機協會在2007年給這三位科學家頒了著名的A.M.圖靈獎--被稱之為計算機科學界的諾貝爾獎。

Clarke在發表在Turing Award網站上的獲獎感言中表示，微軟和英特爾等公司都會使用模型檢查來驗證他們計算機網絡和軟體的設計。

根據CMU的說法，模型檢查可以讓工程師分析設計背後的邏輯。它會將硬體或軟體設計的每一種可能狀態考慮在內並確定其是否符合設計者的規格。

CMU指出，在開發模型檢查之前，工程師則都是通過運行模擬測試性能以及手工檢查每一行計算機代碼來檢查計算機電路或軟體程序中的邏輯錯誤。但隨著計算機變得越來越複雜，這些方法變得不夠充分，這使得錯誤往往需要到產品發布後才被發現。

Clarke則是於1982年加入CMU的計算機科學系。1995年，他成為了該校計算機科學學院的第一位講席教授--FORE Systems Professorship。

而在來到CMU之前，Clarke曾在杜克大學和哈佛大學任教。他於1967年獲得維吉尼亞大學數學學士學位，1968年獲得杜克大學數學碩士學位，1976年獲得康奈爾大學計算機科學博士學位。

另外，Clarke還是《Formal Methods in Systems Design》雜誌的前任主編，也是Computer Aided Verification大會的創始人之一。

現在，黎巴嫩山的 Laughlin紀念教堂正在安排私人葬禮。

相關焦點

  • A.M.圖靈獎獲得者、CMU教授Edmund M. Clarke因COVID-19去世
    據外媒報導，卡內基梅隆大學(CMU)名譽教授、A.M. 圖靈獎得主Edmund M. Clarke在長期患病後於當地時間周二死於COVID-19，享年75歲。Clarke來自黎巴嫩山，他最著名的工作成果是模型檢查，這是一種檢測計算機硬體和軟體設計錯誤的自動化方法。
  • 模型檢測先驅Edmund Clarke因新冠逝世
    Clarke 發文表示，他的父親、2007 年圖靈獎得主 Edmund M. Clarke 因感染新冠不幸去世，享年 75 歲。作為這一領域的先驅，Clarke 不僅開創了模型檢測技術，還使之成為一個廣泛應用在硬體和軟體工業中非常有效的算法驗證技術，並因此獲得 2007 年的圖靈獎
  • 圖靈獎得主Edmund Clarke因新冠逝世
    據最新消息，2007年圖靈獎得主、計算機科學家Edmund Clarke，因感染新冠肺炎，於北京時間12月23日上午不幸逝世。值得注意的是，他是CMU計算機科學學院FORE Systems Professorship的第一位獲得者。
  • 又一位巨星因「新冠」隕落,圖靈獎得主Edmund Clarke,享年75歲
    據最新消息，2007年圖靈獎得主、計算機科學家Edmund Clarke，因感染新冠肺炎，於北京時間12月23日上午不幸逝世。其子James S. Clarke在Twitter發文公布此消息之餘，也悼念道：雖然他對（我）學業上的成功總是抱有很高的期望，但他也教會了我打棒球、釣魚和環遊世界。我將深深地懷念他。
  • 圖靈獎得主 Edmund Clarke 因感染「新冠」逝世
    Clarke 在社交媒體發布了一封訃告稱，他的父親、2007 年圖靈獎得主 Edmund M. Clarke 因感染新冠肺炎不幸去世，享年 75 歲。2007 年度圖靈獎被授予給了 Edmund M.之後，Clarke 教授在杜克大學任教兩年後，於 1978 年加入哈佛大學並擔任助理教授。1981年，他與自己的博士生 Allen Emerson 首次提出了模型檢測的想法並用在自動機並發系統的驗證研究上，成為形式邏輯研究方面模型檢查的開創者之一。1982 年，他加入了卡內基梅隆大學計算機系，並於 1989 年被評為全職終身教授一職。
  • 2007年圖靈獎得主Edmund Clarke因感染新冠離世...
    而前幾天，讓計算機圈子格外惋惜的是，當地時間12月22日，2007年圖靈獎得主，美國著名計算機專家，愛德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎不幸去世，享年75歲。2007年，克拉克教授與艾倫·愛默生教授（Allen Emerson）和約瑟夫·斯發基斯（Joseph Sifakis）共同獲得有著計算科學領域諾貝爾之稱的圖靈獎。獲獎理由是他們開發的模型檢測技術，成為一個廣泛應用在硬體和軟體工業中非常有效的算法驗證技術。
  • 2007年圖靈獎得主愛德蒙·克拉克因感染新冠肺炎不幸去世
    打開APP 2007年圖靈獎得主愛德蒙·克拉克因感染新冠肺炎不幸去世 新智元 發表於 2021-01-14 10:36:07 【
  • 2007年圖靈獎得主因感染新冠肺炎去世,享年75歲
    2007年圖靈獎得主因感染新冠肺炎去世，享年75歲 澎湃新聞記者 張唯 2020-12-24 13:30 來源：澎湃新聞 當地時間12月23
  • 2007年圖靈獎得主因感染新冠肺炎去世 享年75歲
    Clarke在社交媒體發文表示，他的父親、2007年圖靈獎得主愛德蒙·克拉克（Edmund M. Clarke）因感染新冠肺炎於12月23日不幸去世。愛德蒙·克拉克曾任美國卡內基梅隆大學計算機科學系教授，是ACM和IEEE會士。
  • 圖靈獎得主Clarke教授訪問中國科大蘇州研究院
    10月20日至27日，美國卡內基梅隆大學計算機系教授、中國科學院「愛因斯坦講席教授」、圖靈獎得主Edmund Clarke對中國科學技術大學蘇州研究院進行了為期8天的學術訪問與交流。　　21日上午，Clarke教授為蘇州研究院的師生帶來了題為Model Checking and the Curse of Dimensionality的精彩報告。Clarke教授在演講中回顧了模型檢查理論技術的發展歷程，分析了在過去20多年裡面遇到的四個典型的難題，講解了科研人員如何解決這些難題並取得重大突破。
  • 圖靈獎神秘獲獎者會是誰呢?
    圖靈獎神秘獲獎者會是誰呢？圖靈獎，由美國計算機協會於1966年設立，又叫「A.M. 圖靈獎」，它是計算機界最負盛名、最崇高的一個獎項，有「計算機界的諾貝爾獎」之稱。讓小編為你講解第三十一屆到第四十屆的圖靈獎獲獎者。
  • 中國唯一圖靈獎獲得者—姚期智
    3月27日AMC又宣布了2018年圖靈獎的獲得者，美國的三位深度學習巨頭共同獲獎，圖靈獎這一計算機領域的「諾貝爾獎」，中國也有一位科學家也曾在2000年獲得過此項殊榮，這個人就是目前中國科學院院士，清華大學高等研究中心教授姚期智。
  • 圖靈獎獲得者John Hennessy將參加CNCC2020
    John Hennessy和David Patterson獲得了2017 年圖靈獎，這讓兩位學者走進了大家的視野。當看到這兩個名字的時候很難想到他們與我們之間的聯繫，但是當你在手機上滑動拇指刷視頻時，或者足不出戶點上美味打開平板刷劇時，你都享受了來自他們的研究成果。
  • 2002年諾貝爾物理學獎獲得者小柴昌俊去世,享年94歲
    中新網11月13日消息，據日本放送協會（NHK）報導，當地時間12日晚，日本東京大學名譽教授、2002年諾貝爾物理學獎獲得者小柴昌俊逝世，享年94歲。當地時間11月12日晚，日本東京大學名譽教授、2002年諾貝爾物理學獎獲得者小柴昌俊逝世，享年94歲。圖為小柴昌俊生前接受採訪時的畫面。
  • 加快上海人工智慧「底座」建設 圖靈獎獲得者獻策認知智能新可能
    圖靈獎獲得者曼紐爾·布盧姆及其夫人麗諾爾·布盧姆發表主題演講。新華網發1995年圖靈獎獲得者、美國卡內基梅隆大學計算機科學學院名譽教授曼紐爾·布盧姆（Manuel Blum）發表《通向意識AI——受神經科學啟發的計算機架構》的主題演講。曼紐爾·布盧姆認為，有意識圖靈機的目的不是計算不可計算的函數，也不是為了更有效地計算函數，而是為困難問題提出可能的解決方案。
  • 你知道圖靈獎獲獎者都有誰嗎?
    2012年與伯克利校友、麻省理工同事莎菲·戈德瓦塞爾一同獲得計算機界最高獎圖靈獎。Leslie Valiant英國科學家Les Valiant，生於1949年3月28日，英國科學家。1974年獲得英國華威大學計算機科學博士學位。Les Valiant是哈佛大學計算機和應用數學系的教授。2010年，圖靈獎。
  • 圖靈獎獲得者、中科院院士姚期智教授受聘為同濟大學名譽教授
    8月11日，圖靈獎獲得者、中科院院士、美國科學院外籍院士、清華大學交叉信息研究院院長姚期智教授受聘為同濟大學名譽教授。方守恩為姚期智院士頒發同濟大學名譽教授聘書，佩戴同濟大學校徽；陳杰致辭並介紹姚期智院士的學術簡歷。
  • 2020世界VR產業大會雲峰會演講嘉賓|2018年圖靈獎獲得者,蒙特婁...
    Turing Award Laureate, Full Professor at University of Montreal2018年圖靈獎獲得者，蒙特婁大學教授個人簡介Yoshua Bengio出生於法國巴黎，大學就讀於麥吉爾大學計算機工程學專業。
  • 圖靈獎獲得者姚期智院士受聘為同濟大學名譽教授
    8月11日，圖靈獎獲得者、中科院院士、美國科學院外籍院士、清華大學交叉信息研究院院長姚期智教授受聘為同濟大學名譽教授。受聘儀式在同濟大學四平路校區舉行，同濟大學黨委書記方守恩、校長陳杰等校領導，上海市科委基礎研究處處長宋揚等出席。
  • 圖靈獎獲得者惠特菲爾德·迪菲:增加數位化引入信息科技是未來的...
    圖靈獎獲得者惠特菲爾德·迪菲做主旨演講。經濟日報-中國經濟網記者宋雅靜/攝　　經濟日報-中國經濟網貴陽5月27日訊（記者宋雅靜）5月26日上午，2019中國國際大數據產業博覽會開幕式在貴陽舉行，2015年圖靈獎獲得者惠特菲爾德·迪菲（Whitfield Diffie）受邀出席開幕式並作主旨演講。