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

2020-12-24 中國青年網

當地時間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年當選美國藝術和科學院院士。

來源：澎湃新聞

相關焦點

  • 2007年圖靈獎得主因感染新冠肺炎去世,享年75歲
    2007年圖靈獎得主因感染新冠肺炎去世，享年75歲 澎湃新聞記者 張唯 2020-12-24 13:30 來源：澎湃新聞 當地時間12月23
  • 2007年圖靈獎得主愛德蒙·克拉克因感染新冠肺炎不幸去世
    打開APP 2007年圖靈獎得主愛德蒙·克拉克因感染新冠肺炎不幸去世 新智元 發表於 2021-01-14 10:36:07 【
  • 又一位巨星因「新冠」隕落,圖靈獎得主Edmund Clarke,享年75歲
    據最新消息，2007年圖靈獎得主、計算機科學家Edmund Clarke，因感染新冠肺炎，於北京時間12月23日上午不幸逝世。其子James S. Clarke在Twitter發文公布此消息之餘，也悼念道：雖然他對（我）學業上的成功總是抱有很高的期望，但他也教會了我打棒球、釣魚和環遊世界。我將深深地懷念他。
  • 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日上午不幸逝世。75歲，人類的損失！2007年，他與Ernest Allen Emerson和Joseph Sifakis一起，因在模型檢查方面取得的傑出貢獻而獲得圖靈獎。
  • 全球首位圖靈獎女性得主去世 1983年曾到訪中國
    8月4日，全球首位圖靈獎女性得主法蘭西斯·艾倫(Frances E. Allen)去世，享年88歲。法蘭西斯·艾倫生於1954 年，畢業於美國紐約州立大學奧爾巴尼分校。她在 1980 年代早期創立了並行翻譯(Parallel TRANslation，PTRAN)研究組，致力於研究並行計算機的編譯問題。她在計算機領域做出了開拓性貢獻。
  • 全球首位圖靈獎女性得主去世，曾呼籲更多女性學習計算機
    唯一女性圖靈獎得主去世，圖靈獎是什麼？近日，地球上唯一的一位女性圖靈獎得主艾倫去世，享年88歲，不少國外的媒體評論，這是計算界的一次重大損失，那麼艾倫曾經都為計算機行業做出過哪些貢獻呢？所謂的圖靈獎又是嘉獎了什麼？
  • A.M.圖靈獎獲得者、CMU教授Edmund M. Clarke因COVID去世
    圖靈獎得主Edmund M. Clarke在長期患病後於當地時間周二死於COVID-19，享年75歲。Clarke來自黎巴嫩山，他最著名的工作成果是模型檢查，這是一種檢測計算機硬體和軟體設計錯誤的自動化方法。
  • A.M.圖靈獎獲得者、CMU教授Edmund M. Clarke因COVID-19去世
    圖靈獎得主Edmund M. Clarke在長期患病後於當地時間周二死於COVID-19，享年75歲。Clarke來自黎巴嫩山，他最著名的工作成果是模型檢查，這是一種檢測計算機硬體和軟體設計錯誤的自動化方法。CMU校長Farnam Jahanian表示，隨著Clarke先生的去世，世界失去了計算機科學領域的一位巨人。
  • 2020年全球至少133位名人明星因新冠去世,名單曝光最年輕者29歲
    11月28日，時尚品牌KENZO創始人高田賢三因感染新冠去世，享年81歲，高田是日本著名設計師。　　　　拉姆拉赫曼（右）　　12月9日，58歲的巴西著名演員埃杜阿多高旺，因感染新冠不幸去世。
  • 全球首位圖靈獎女性得主去世,在計算機領域做出了開拓性貢獻
    首頁 > 動態 > 關鍵詞 > 圖靈獎最新資訊 > 正文 全球首位圖靈獎女性得主去世，在計算機領域做出了開拓性貢獻
  • 韓國著名導演金基德因感染新冠肺炎去世
    來源：北青網原標題：韓國著名導演金基德因感染新冠肺炎去世據韓國媒體報導，韓國著名導演金基德因感染新冠肺炎於12月11日晚在拉脫維亞去世，終年60歲。該相關人士接著補充說：「（關於金基德導演去世的消息）家人當天也接到了聯繫。」金基德於1960年12月20日出生於慶尚北道奉化郡，本月原本是他60歲的生日。韓媒援引拉脫維亞媒體Delfi報導，金基德於11月20日進入拉脫維亞，在當地找房子，想要獲得居留權。本月5號之後，他朋友發現聯繫不上他了，於是通過排查，發現他可能因眼暈症在入院後去世，疑為感染新冠肺炎。
  • 首位圖靈獎女得主去世，她說編程與登山一樣，充滿挑戰
    女性得主Frances Allen去世了，享年88歲。 她去世了，在紐約。當天是 8 月 4 日，正好是她的88歲生日。2007 年 2 月，圖靈獎第一次授予給一位女性，以表彰她在編譯器設計和機器架構方面做出了開創性貢獻。
  • 首位圖靈獎女得主去世，她說編程與登山一樣，充滿挑戰
    全球首位圖靈獎女性得主Frances Allen去世了，享年88歲。她同時也是IBM歷史上第一位女院士。 她的研究影響了計算機發展歷程，為現代優化編譯器和自動並行化執行奠定了基礎。她去世了，在紐約。當天是 8 月 4 日，正好是她的88歲生日。「她的研究幾乎影響了計算機科學發展的整個歷程。」2007 年 2 月，圖靈獎第一次授予給一位女性，以表彰她在編譯器設計和機器架構方面做出了開創性貢獻。
  • 《大白鯊》女演員因新冠去世,享年91歲,住在島上也未能倖免於難
    4月6日，根據外國媒體報導，曾出演史匹柏拍攝的驚悚電影《大白鯊》的女演員李·費耶羅（Lee Fierro）因感染性肺炎去世，享年91歲。李·費耶羅常年住在美國的著名度假勝地瑪莎葡萄園島內。這次新冠病毒席捲全球，李·費耶羅也不幸感染新冠肺炎並引起一系列併發症，最終處於高齡高危人群的她遺憾離世。在李·費耶羅去世之後，她的家人還有5個孩子，7個孫子和7個曾孫。目前家人打算就在居住的小島內舉辦追悼儀式，萬幸的是，她的家人並沒有受到新冠肺炎的影響，身體狀況良好。
  • 世界首位女性圖靈獎得主去世，她有哪些驚人成就？
    法蘭西斯·伊莉莎白·艾倫，暱稱法蘭艾倫(英語: Fran Allen)是一位卓越的計算機科學家，1933年出生於美國紐約州。這位慈祥的老婦人恰巧在2020年8月4日生日當天去世，享年88歲。法蘭艾倫這一生創造了兩個「女性第一」，她既是 IBM 首位女性院士，也在2007年成為首位女性圖靈獎得主。
  • 2002年諾貝爾物理學獎獲得者小柴昌俊去世 享年94歲
    日本諾獎得主小柴昌俊去世【2002年諾貝爾物理學獎獲得者小柴昌俊去世 享年94歲】據日本放送協會(NHK)報導，當地時間12日晚，日本東京大學名譽教授、2002年諾貝爾物理學獎獲得者小柴昌俊逝世，享年94歲。
  • 諾貝爾和平獎得主休姆去世,享年83歲
    1998年諾貝爾和平獎得主之一的休姆（John Hume）、北愛爾蘭「社會民主工黨」(Social Democratic and Labour Party，SDLP)創始成員之一的休姆去世，享年83歲。
  • 首位圖靈獎女性得主去世，她的研究影響了計算機科學發展的整個歷程
    圖片來源：IBM Research Blog8月4日，全球首位圖靈獎女性得主弗朗西斯·艾倫（Frances Allen）去世了，享年88歲，當天正好是她的生日。2007 年2月，圖靈獎第一次授予一位女性，以表彰她在編譯器設計和機器架構方面做出的開創性貢獻。艾倫作為早期計算機行業為數不多的女性之一，為今天高效、快速的應用程式鋪平了道路。「她打破了無形頂障，」她的同事馬克-韋格曼告訴《紐約時報》。「當時，甚至沒有人認為像她這樣的人能夠取得她的成就。」