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