中科院「愛因斯坦講席教授」、圖靈獎得主Edmund Clarke教授訪問...

2020-12-15 中國科大新聞網

美國卡內基梅隆大學計算機系教授、中國科學院「愛因斯坦講席教授」、圖靈獎得主EdmundClarke於10月20日至27日對蘇州研究院進行了為期8天的學術訪問與交流。

 

 

Edmund Clarke教授是形式化驗證領域中模型檢查(Model Checking)技術的創始人之一,美國計算機學會(ACM)與美國電氣電子工程師學會(IEEE)院士,同時也是美國國家科學院和工程院院士。Clarke教授於2007年和另外兩位科學家E.Allen Emerson和Joseph Sifakis一同分享了「圖靈獎」,以表彰他們對模型檢查理論與技術做出的奠基性貢獻。目前模型檢查技術已成為一個被廣泛應用在硬體和軟體工業中非常有效的驗證技術。 

 

10月21日上午,Clarke教授為蘇州研究院的師生帶來了題為「Model Checking and the Curse of Dimensionality」 的精彩報告。Clarke教授在演講中回顧了模型檢查理論技術的發展歷程,分析了在過去20多年裡面遇到的四個典型的難題,講解了科研人員如何解決這些難題並取得重大突破。

 

 

 

10月22日上午,Clarke教授針為中科大-耶魯高可信軟體聯合研究中心師生作題為「Symbolic Model Checking with BDDs」的講座,深入淺出地介紹了符號化模型檢查的由來與基本算法原理,還興致勃勃地講述了在1992年他與他的學生們採用該模型檢查算法檢測到一個緩存一致性協議存在缺陷的故事,這一協議來自一個當時已經公布四年之久的工業標準協議(IEEE FutureBus+ Standard)。這是第一個採用形式化方法在IEEE標準中找到錯誤的應用案例,展現了模型檢查方法在工業硬體設計領域中的應用前景。

 

10月23日上午,Clarke教授為研究中心師生帶來了第二場專場講座,題目為「Bounded Model Checking with SAT/SMT」。Clarke教授在這個講座中重點講述了他在模型檢查方法中取得的一個重大突破——目前已在工業界廣泛採用的基於SAT工具的限界模型檢查方法。研究中心的師生表示通過這個內容詳實的講座學習到了模型檢查最前沿的研究成果與工業應用,收穫頗豐。

 

 

隨後的幾天裡,Clarke教授與研究院的師生進行了面對面的深入交流,並聽取了中科大-耶魯高可信軟體聯合研究中心、嵌入式系統實驗室等團隊的工作介紹。Clarke教授對蘇州研究院各團隊的研究課題表示出了極大的興趣,並提出了寶貴意見。

 

(計算機學院、蘇州研究院)

相關焦點

  • 愛因斯坦講席教授C.A.R.Hoare訪問中科院
    中國科學院副院長曹健林為Tony Hoare頒發了中國科學院「愛因斯坦講席教授」證書和紀念獎牌    5月17日上午,應中國科學院邀請,世界上最有影響力的計算機科學家之一Hoare (Tony Hoare)教授,以「愛因斯坦講席教授」的身份為中科院軟體研究所作了一場題為「Unifying Theories of Concurrency: CCS and CSP」的學術報告。報告會前,中國科學院副院長曹健林會見並為Tony Hoare頒發了中國科學院「愛因斯坦講席教授」證書和紀念獎牌。
  • 2007圖靈獎得主離開了:模型檢測先驅Edmund Clarke因新冠逝世
    Clarke 發文表示,他的父親、2007 年圖靈獎得主 Edmund M. Clarke 因感染新冠不幸去世,享年 75 歲。Edmund M. Clarke 生前就職於卡內基梅隆大學(CMU),是該校的終身教授。
  • 北大訪問講席教授約翰·霍普克羅夫特、名譽教授文森特·珀爾當選...
    北京大學訪問講席教授、前沿計算研究中心主任約翰·霍普克羅夫特(John Edward Hopcroft),北京大學名譽教授、北京大學-普林斯頓大學聯合實驗室主任文森特·珀爾(H. Vincent Poor)博士分別憑藉在計算機科學、電子工程專業對中國科學技術事業所作出的重要貢獻及其在國際上享有的學術地位,雙雙當選中國科學院外籍院士。
  • 07年圖靈獎得主Edmund Clarke因感染新冠逝世
    當地時間12月23日,2007年圖靈獎得主Edmund M. Clarke(愛德蒙·克拉克)因感染新冠肺炎不幸去世,享年75歲。其子James S. Clarke隨後發推文緬懷父親:「他對我的學術研究有著極高的期望,同時又教我打棒球、釣魚,以及環遊世界。
  • 又一位巨星因「新冠」隕落,07年圖靈獎得主Edmund Clarke,享年75歲
    其子James S.此後,他先是在杜克大學計算機科學系任教2年,並於1978年轉到了哈佛大學,擔任應用科學系計算機科學助理教授。1982年,離開哈佛大學的他,又來到了卡內基梅隆大學計算機科學系任教。7年後,也就是1989年,Edmund 被任命為正教授。
  • 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 歲。 Edmund M. Clarke ,這位「模型檢測先驅」,他這 75 年的人生,為科技的貢獻無法計量。
  • Leggett教授訪問中科院上海應物所
    近日,2003年諾貝爾物理學獎獲得者、美國伊利諾伊大學教授Anthony J. Leggett作為中國科學院「愛因斯坦講席教授」,在上海應用物理研究所進行為期兩天的學術訪問,成為上海應物所首位「愛因斯坦講席教授」,也是首位正式訪問該所的諾貝爾獎獲得者。
  • 圖靈獎唯一中國得主,成為同濟大學名譽教授
    圖靈獎唯一中國得主,成為同濟大學名譽教授 2020-08-15 15:29 來源:澎湃新聞·澎湃號·湃客
  • ...網】圖靈獎獲得者、中科院院士姚期智教授受聘為同濟大學名譽教授
    【光明網】圖靈獎獲得者、中科院院士姚期智教授受聘為同濟大學名譽教授 來源:光明網   時間:2020-08-12  瀏覽:
  • 享年75歲,圖靈獎得主Edmund Clarke因感染新冠逝世
    公眾號「國外碩博招生」,每天監控國外獎學金多、愛招中國學生的名校招錄信息,千萬別錯過哦,掃碼關注——國外碩博招生當地時間12月23日,2007年圖靈獎得主Edmund M. Clarke(愛德蒙·克拉克)因感染新冠肺炎不幸去世。其子James S.
  • 我與哈工大有緣 ——訪講席教授、菲爾茲獎得主吳寶珠
    我希望能夠為哈工大數學學科的發展盡一份力,幫助有志於投身數學研究的哈工大師生開拓新的研究方向,助力哈工大早日建成國際高水平數學研究中心……」日前,剛剛加盟我校成為講席教授的菲爾茲獎得主吳寶珠(Ngô Bảo Châu)教授在接受記者採訪時說。
  • 美國佛羅裡達大學終身講席教授蔣華北訪問蘇州醫工所
    5月30日,美國佛羅裡達大學終身講席教授蔣華北來中國科學院蘇州生物醫學工程技術研究所訪問,被授予中科院海外評審專家榮譽證書,並作了精彩的學術報告。  蘇州醫工所所長唐玉國為蔣華北頒發了中科院海外評審專家榮譽證書。
  • 圖靈獎獲得者、中科院院士姚期智教授受聘為同濟大學名譽教授!
    8月11日,圖靈獎獲得者、中科院院士、美國科學院外籍院士、清華大學交叉信息研究院院長姚期智教授受聘為同濟大學名譽教授。受聘儀式在同濟大學四平路校區舉行,校黨委書記方守恩、校長陳杰等校領導出席。方守恩為姚期智院士頒發同濟大學名譽教授聘書,佩戴同濟大學校徽;陳杰致辭並介紹姚期智院士的學術簡歷。受聘儀式後,姚期智院士作了題為「人工智慧淺談」的學術報告。在報告中,他闡述了人工智慧的科學基礎,介紹了作為神經網絡研究新視角的神經拓撲結構、隱私保護學習以及可控的超級人工智慧三個新方向。
  • CMU教授邢波出任全球最富AI大學校長,曾師從圖靈獎得主
    邢波教授的學術生涯充滿了傳奇色彩,他從分子生物學phd轉向UCB計算機,深得圖靈獎得主青睞。據悉,MBZUAI首個學年計劃將從2021年1月開始。 世界上第一所研究型人工智慧大學穆罕默德·本·扎耶德人工智慧大學(Mohamed bin Zayed University of Artificial Intelligence,簡稱「MBZUAI」)任命著名華人學者邢波為校長。
  • 他曾是中科大最年輕教授,現全職回國與姚期智合作量子信息
    2019年4月24日晚,清華大學交叉信息院段路明教授從邱勇校長手中接過聘書,獲聘成為首位「清華大學基礎科學講席教授」。清華大學交叉信息研究院 圖澎湃新聞(www.thepaper.cn)獲悉,在辭去美國密西根大學費米講席教授職位後,量子信息科學家段路明近日獲聘成為首位「清華大學基礎科學講席教授」。同比他年長三歲的著名量子信息科學家潘建偉一樣,段路明出身中國科學技術大學,兩人在本世紀初嶄露頭角,並被破格晉升為教授。
  • 菲爾茲獎得主吳寶珠受聘哈工大講席教授
    日前,菲爾茲獎得主吳寶珠(Ngô Bảo Châu)教授受聘我校講席教授。校長周玉為吳寶珠教授頒發聘書。
  • 清華大學全面推進全職講席教授、冠名教授制度
    諾貝爾獎獲得者、圖靈獎獲得者,還是長江學者……提起清華大學的師資建設,往往是這些學術牛人和科研大咖最引人注目,清華用全職講席教授、冠名教授制度獻禮第三十四個教師節,以制度重塑尊師重教之基。為了感念恩師,清華校友常常不僅每年返校看望恩師,近年來更還開始通過用捐贈以恩師的名字命名的獎助學金、獎教金的方式,在支持學校人才培養和師資建設的同時,使恩師之風骨在學生中廣為流傳:為了紀念土木系傑出教授盧謙先生,由盧先生的學生發起設立的「盧謙勵學勵教基金」;為了紀念蕭樹鐵先生對推動中國應用數學事業發展及人才培養所作出的卓越貢獻,而設立的「蕭樹鐵應用數學基金」;
  • CMU教授邢波出任全球最富AI大學校長,曾師從圖靈獎得主
    邢波教授的學術生涯充滿了傳奇色彩,他從分子生物學phd轉向UCB計算機,深得圖靈獎得主青睞。據悉,MBZUAI首個學年計劃將從2021年1月開始。在邢教授的指導下,MBZUAI 將通過發展人力資本和加強研究與合作夥伴關係來加快這些努力,從而推動阿聯乃至更多國家的經濟和社會進步。」邢教授是世界上頂尖的計算機科學教授之一,他最近擔任了卡內基梅隆大學計算機科學學院機器學習系的副主任。
  • 諾貝爾獎得主麥可•科斯特利茨教授受聘蘇州大學講席教授
    新華網南京5月23日電(記者凌軍輝)5月21日,2016年諾貝爾物理學獎獲得者麥可•科斯特利茨教授從蘇州大學校長熊思東手中接過聘書,並佩戴上蘇州大學校徽,成為蘇州大學首位講席教授。    麥可•科斯特利茨教授出生於1943年,是世界著名物理學家,現任布朗大學物理學教授,主要研究方向是物理拓撲相和冷凝聚態。