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