全球華人12人入選！東北大學王義教授入選2020年ACM Fellow！
加入技術交流群
1月13日，美國計算機協(xié)會（Association for Computing Machinery）官網(wǎng)發(fā)布公告，公布了2020年當選的95名ACM Fellow，東北大學計算機科學與工程學院王義教授因在“實時系統(tǒng)的自動分析和驗證方面”取得突出貢獻而成功入選，全球華人12人入選。
本文引用地址：http://www.104case.com/article/202101/422139.htm
王義，歐洲科學院院士，IEEE Fellow，系東北大學計算機科學與工程學院院長、教授。主要從事實時計算機系統(tǒng)建模、設計與驗證研究工作。領導開發(fā)的UPPAAL模型檢驗工具已成為實時計算機系統(tǒng)的標準分析工具，被廣泛應用于汽車、通信、航空和航天等領域中電子系統(tǒng)的設計與驗證。領導的研究團隊近年來在實時系統(tǒng)領域提出了一系列重大理論創(chuàng)新成果。王義教授曾獲得國際學術界CAV Award （計算機輔助驗證領域最高獎） 和實時系統(tǒng)領域杰出技術成就和領導獎IEEE TCRTS Award（實時系統(tǒng)領域最高獎）。
據(jù)悉，ACM（Association for Computing Machinery, ACM）是美國計算機協(xié)會的簡稱，創(chuàng)立于 1947 年，是全世界計算機領域影響力最大的專業(yè)學術組織之一。ACM Fellow 是由該組織授予著名計算機科學家的榮譽，目的是表彰在計算機和信息技術領域取得的杰出成就的學者，其審查過程十分嚴格，每年遴選一次。2020 年，共有 95 人因其在人工智能、云計算、計算機圖形學、計算生物學、數(shù)據(jù)科學、人機交互、軟件工程、理論計算機科學和虛擬現(xiàn)實等領域中做出廣泛和基礎性貢獻入選 ACM Fellow。其中，包括7位圖靈獎得主。
評論