<![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]><![CDATA[<dfn id="yhprb"><delect id="yhprb"></delect></dfn>]]><![CDATA[<dfn id="yhprb"></dfn>]]><![CDATA[<dfn id="yhprb"><delect id="yhprb"></delect></dfn>]]><![CDATA[<dfn id="yhprb"></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"><strike id="yhprb"></strike></s></dfn>]]><![CDATA[<small id="yhprb"></small>]]><![CDATA[<small id="yhprb"><delect id="yhprb"></delect></small>]]><![CDATA[<small id="yhprb"></small>]]><![CDATA[<small id="yhprb"></small>]]><![CDATA[<dfn id="yhprb"><delect id="yhprb"></delect></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]>
全球華人12人入選！東北大學(xué)王義教授入選2020年ACM Fellow！
作者：
時(shí)間：2021-01-16
來(lái)源：東北大學(xué)
收藏
1月13日，美國計算機協(xié)會(huì )（Association for Computing Machinery）官網(wǎng)發(fā)布公告，公布了2020年當選的95名ACM Fellow，東北大學(xué)計算機科學(xué)與工程學(xué)院王義教授因在“實(shí)時(shí)系統的自動(dòng)分析和驗證方面”取得突出貢獻而成功入選，全球華人12人入選。
本文引用地址：http://dyxdggzs.com/article/202101/422139.htm王義，歐洲科學(xué)院院士，IEEE Fellow，系東北大學(xué)計算機科學(xué)與工程學(xué)院院長(cháng)、教授。主要從事實(shí)時(shí)計算機系統建模、設計與驗證研究工作。領(lǐng)導開(kāi)發(fā)的UPPAAL模型檢驗工具已成為實(shí)時(shí)計算機系統的標準分析工具，被廣泛應用于汽車(chē)、通信、航空和航天等領(lǐng)域中電子系統的設計與驗證。領(lǐng)導的研究團隊近年來(lái)在實(shí)時(shí)系統領(lǐng)域提出了一系列重大理論創(chuàng )新成果。王義教授曾獲得國際學(xué)術(shù)界CAV Award （計算機輔助驗證領(lǐng)域最高獎） 和實(shí)時(shí)系統領(lǐng)域杰出技術(shù)成就和領(lǐng)導獎IEEE TCRTS Award（實(shí)時(shí)系統領(lǐng)域最高獎）。
據悉，ACM（Association for Computing Machinery, ACM）是美國計算機協(xié)會(huì )的簡(jiǎn)稱(chēng)，創(chuàng )立于 1947 年，是全世界計算機領(lǐng)域影響力最大的專(zhuān)業(yè)學(xué)術(shù)組織之一。ACM Fellow 是由該組織授予著(zhù)名計算機科學(xué)家的榮譽(yù)，目的是表彰在計算機和信息技術(shù)領(lǐng)域取得的杰出成就的學(xué)者，其審查過(guò)程十分嚴格，每年遴選一次。2020 年，共有 95 人因其在人工智能、云計算、計算機圖形學(xué)、計算生物學(xué)、數據科學(xué)、人機交互、軟件工程、理論計算機科學(xué)和虛擬現實(shí)等領(lǐng)域中做出廣泛和基礎性貢獻入選 ACM Fellow。其中，包括7位圖靈獎得主。
技術(shù)專(zhuān)區
国产精品自在自线亚洲|国产精品无圣光一区二区|国产日产欧洲无码视频|久久久一本精品99久久K精品66|欧美人与动牲交片免费播放
<![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]><![CDATA[<dfn id="yhprb"><delect id="yhprb"></delect></dfn>]]><![CDATA[<dfn id="yhprb"></dfn>]]><![CDATA[<dfn id="yhprb"><delect id="yhprb"></delect></dfn>]]><![CDATA[<dfn id="yhprb"></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"><strike id="yhprb"></strike></s></dfn>]]><![CDATA[<small id="yhprb"></small>]]><![CDATA[<small id="yhprb"><delect id="yhprb"></delect></small>]]><![CDATA[<small id="yhprb"></small>]]><![CDATA[<small id="yhprb"></small>]]><![CDATA[<dfn id="yhprb"><delect id="yhprb"></delect></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]><![CDATA[<dfn id="yhprb"><s id="yhprb"></s></dfn>]]>
加入技術(shù)交流群
評論