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