<meter id="3erig"><strong id="3erig"><del id="3erig"></del></strong></meter>

    1. <mark id="3erig"><button id="3erig"><span id="3erig"></span></button></mark>

        當前位置:首頁 > 2007年圖靈獎得主因感染新冠肺炎去世,享年75歲

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

        華人電視網 來源:華人電視網 2020-12-24 14:23  評論:0

        當地時間12月23日,英特爾實驗室量子硬件研究組總監James S. Clarke在社交媒體發文表示,他的父親、2007年圖靈獎得主愛德蒙·克拉克(Edmund M. Clarke)因感染新冠肺炎于12月23日不幸去世。

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

        (本文來自澎湃新聞,更多原創資訊請下載“澎湃新聞”APP) 返回搜狐,查看更多

        責任編輯:

        精彩評論
        華人電視網

        為有效控制疫情,防止疫情進一步蔓延,2020年12月24日上午大連市教育局電話通知,根據大連市疫情防控指揮部領導要求,即日起立即暫停校外培訓機構線下授課。各培訓機構要嚴格遵照執行。未盡事宜待另行通知。

        原文:重要通知!大連即日起暫停校外培訓機構線下授課

        華人電視網

        @中國新聞網 消息,12月24日,記者從2021年全國交通運輸工作會上獲悉,2021年,交通運輸部將毫不放松抓好常態化疫情防控。因時因勢調整、細化和完善交通運輸防控措施。堅持人物同防,完善疫情防控的指揮體系、政策體系、預案體系、力量體系、物資保障體系。全力做好新冠病毒疫苗冷鏈運輸保障工作。同時,做好外防輸入、內防反彈各項工作。加大國際冷鏈運輸疫情防控力度,嚴格落實交通運輸工具及場站消毒通風、人員防護、乘客測溫和信息登記等措施。

        原文:交通運輸部:全力做好新冠疫苗冷鏈運輸保障工作

        華人電視網

        法治日報全媒體記者 唐榮 通訊員 張建國

        原文:訴訟代理人在法庭上撒潑被重罰

        華人電視網

        高鐵試點“靜音車廂”首日,效果如何?

        原文:高鐵試行“靜音車廂”效果如何?記者實地探訪:車內總體安靜

        二四六玄机