<meter id="pryje"><nav id="pryje"><delect id="pryje"></delect></nav></meter>
          <label id="pryje"></label>

          新聞中心

          EEPW首頁 > 嵌入式系統(tǒng) > 業(yè)界動態(tài) > 全球華人12人入選!東北大學王義教授入選2020年ACM Fellow!

          全球華人12人入選!東北大學王義教授入選2020年ACM Fellow!

          作者: 時間:2021-01-16 來源:東北大學 收藏

          1月13日,美國計算機協(xié)會(Association for Computing Machinery)官網(wǎng)發(fā)布公告,公布了2020年當選的95名ACM Fellow,東北大學計算機科學與工程學院王義教授因在“實時系統(tǒng)的自動分析和驗證方面”取得突出貢獻而成功入選,全球華人12人入選。

          本文引用地址:http://www.ex-cimer.com/article/202101/422139.htm
          image.png
          image.png

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

          image.png

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



          關(guān)鍵詞:

          評論


          相關(guān)推薦

          技術(shù)專區(qū)

          關(guān)閉
          看屁屁www成人影院,亚洲人妻成人图片,亚洲精品成人午夜在线,日韩在线 欧美成人 (function(){ var bp = document.createElement('script'); var curProtocol = window.location.protocol.split(':')[0]; if (curProtocol === 'https') { bp.src = 'https://zz.bdstatic.com/linksubmit/push.js'; } else { bp.src = 'http://push.zhanzhang.baidu.com/push.js'; } var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(bp, s); })();