日前，東北大學(xué)人才特聘教授王義入選歐洲科學(xué)院院士，是本次該科學(xué)院信息學(xué)部遴選的12名院士中唯一的華人。王義教授因其在模型檢驗、嵌入式系統(tǒng)等領(lǐng)域的巨大貢獻(xiàn)獲此殊榮。
歐洲科學(xué)院又稱歐洲人文和自然科學(xué)院，總部設(shè)在英國倫敦，英語全稱為Academia Europaea (The Academy of Europe)，成立于1988年，是歐洲多國科學(xué)部長共同倡導(dǎo)創(chuàng)立，英國皇家學(xué)會等多個代表歐洲國家最高學(xué)術(shù)水平的國家科學(xué)院共同發(fā)起成立的一個包括東、西歐國家的國際科學(xué)組織。
歐洲科學(xué)院分20個學(xué)部，其學(xué)科領(lǐng)域涵蓋人文科學(xué)、社會科學(xué)、自然科學(xué)和科學(xué)技術(shù)等，是國際上跨地域和學(xué)術(shù)領(lǐng)域最廣泛、學(xué)術(shù)地位最高、影響最大的科學(xué)組織之一。該院院士來自全球54個國家，主要從歐洲各個國家的科學(xué)院院士中選出，代表著歐洲人文和自然科學(xué)界最優(yōu)秀的科學(xué)精英和學(xué)術(shù)權(quán)威，目前有院士2000多人，其中包括諾貝爾獎得主58人，圖靈獎得主6人，菲爾茲獎得主13人，諾貝爾獎級別得主共有150余人。
今年入選歐洲科學(xué)院的200余位院士中共有4位華人。王義教授入選歐洲科學(xué)院，是歐洲科學(xué)界對他學(xué)術(shù)造詣的極高評價和肯定。
王義教授現(xiàn)為東北大學(xué)信息科學(xué)與工程學(xué)院教授，2007年入選教育部長江學(xué)者，2011年入選中組部人才。主要從事實時系統(tǒng)、嵌入式系統(tǒng)、多核計算機系統(tǒng)、模型檢測、形式方法等領(lǐng)域的研究。所發(fā)表論文在Google Scholar統(tǒng)計的論文引用次數(shù)超過8000次，H-Index為46，論文單篇最高引用達(dá)1500余次。王義教授在上個世紀(jì)80年代建立了時間進程代數(shù)理論TCCS，在實時系統(tǒng)及形式化方法領(lǐng)域有廣泛影響；90年代領(lǐng)導(dǎo)開發(fā)了UPPAAL模型檢驗系統(tǒng)，在60多個國家的高校、研究機構(gòu)及工業(yè)界中得到了廣泛應(yīng)用，產(chǎn)生了巨大影響。由于在計算機系統(tǒng)的建模及驗證領(lǐng)域的卓越貢獻(xiàn)，王義教授榮獲2013年度CAV獎。在實時系統(tǒng)領(lǐng)域，王義教授為推動多核計算機芯片在嵌入式系統(tǒng)的應(yīng)用，帶領(lǐng)團隊解決了多個前沿技術(shù)發(fā)展中的理論難題，做出了一批國際領(lǐng)先的成果，多次在頂級會議獲得最佳論文及最佳論文提名。由于在實時系統(tǒng)領(lǐng)域的杰出貢獻(xiàn)，2015年被增選為IEEE Fellow。（原標(biāo)題：東北大學(xué)王義教授入選歐洲科學(xué)院院士）
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標(biāo)題格式：應(yīng)聘職位名稱+姓名+學(xué)歷+專業(yè)+中國博士人才網(wǎng)）
中國-博士人才網(wǎng)發(fā)布
聲明提示：凡本網(wǎng)注明“來源：XXX”的文/圖等稿件，本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的，并不意味著本站贊同其觀點或證實其內(nèi)容的真實性，文章內(nèi)容僅供參考。
