1月13日，美國計算機協會（Association for Computing Machinery）官網發佈公告，公佈了2020年當選的95名ACM Fellow，東北大學計算機科學與工程學院王義教授因在「實時系統的自動分析和驗證方面」取得突出貢獻而成功入選，全球華人12人入選。

 

 

    王義，歐洲科學院院士，IEEE Fellow，系東北大學計算機科學與工程學院院長、教授。主要從事實時計算機系統建模、設計與驗證研究工作。他領導開發的UPPAAL模型檢驗工具已成為實時計算機系統的標準分析工具，被廣泛應用於汽車、通信、航空和航天等領域中電子系統的設計與驗證。領導的研究團隊近年來在實時系統領域提出了一系列重大理論創新成果。王義教授曾獲得國際學術界CAV Award （計算機輔助驗證領域最高獎） 和實時系統領域傑出技術成就和領導獎IEEE TCRTS Award（實時系統領域最高獎）。

 

 

    據悉，ACM（Association for Computing Machinery, ACM）是美國計算機協會的簡稱，創立於 1947 年，是全世界計算機領域影響力最大的專業學術組織之一。ACM Fellow 是由該組織授予著名計算機科學家的榮譽，目的是表彰在計算機和信息技術領域取得的傑出成就的學者，其審查過程十分嚴格，每年遴選一次。2020 年，共有 95 人因其在人工智能、雲計算、計算機圖形學、計算生物學、數據科學、人機交互、軟件工程、理論計算機科學和虛擬現實等領域中做出廣泛和基礎性貢獻入選 ACM Fellow。其中，包括7位圖靈獎得主。（記者 王藝橋）