主要經(jīng)歷
1982年畢業(yè)于東北工學(xué)院自動(dòng)控制系計(jì)算機(jī)專業(yè)，獲學(xué)士學(xué)位
1988年在瑞典Chalmers技術(shù)大學(xué)計(jì)算機(jī)系獲Licentiate學(xué)位（副博士）
1991年獲瑞典查爾姆斯大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位，
1992起在瑞典Uppsala大學(xué)任教，1994晉升副教授，2000年任瑞典Uppsala大學(xué)教授。
2009年任講席教授
2015年由于在實(shí)時(shí)系統(tǒng)領(lǐng)域的杰出貢獻(xiàn)，被增選為IEEE Fellow。同年王義教授入選歐洲科學(xué)院。
主要任職
曾兼任中科院軟件研究所、新加坡國(guó)立大學(xué)、聯(lián)合國(guó)大學(xué)澳門軟件研究所客座教授。
曾任IEEE Transactions on Computers編委 （associate editor），現(xiàn)任Journal of System Architecture、Journal of Computer Science and Engineering、Journal of Computer Science and Technology等多個(gè)國(guó)際重要學(xué)術(shù)雜志編委，
任國(guó)際嵌入式軟件年會(huì)EMSOFT和實(shí)時(shí)系統(tǒng)建模與分析國(guó)際會(huì)議FORMATS的執(zhí)委，
任RTSS，EMSOFT，LCTES，TACAS，DATE，HSCC等多個(gè)實(shí)時(shí)嵌入式系統(tǒng)領(lǐng)域頂級(jí)國(guó)際學(xué)術(shù)會(huì)議主席，
長(zhǎng)期在RTSS，CAV等多個(gè)國(guó)際頂級(jí)學(xué)術(shù)會(huì)議中擔(dān)任程序委員會(huì)委員。
任荷蘭、比利時(shí)、澳大利亞、北愛爾蘭、捷克斯洛伐克自然科學(xué)基金專家評(píng)委，同時(shí)是法國(guó)INRIA嵌入式系統(tǒng)學(xué)科國(guó)際專家組成員及歐盟研究項(xiàng)目評(píng)委。
曾獲得研究基金總計(jì)1000多萬美元，包括歐盟研究基金，瑞典自然科學(xué)基金、瑞典戰(zhàn)略研究基金、及瑞典技術(shù)開發(fā)委員會(huì)基金等。
科學(xué)研究
科學(xué)成果
（1）實(shí)時(shí)進(jìn)程代數(shù)TCCS理論及隨機(jī)系統(tǒng)測(cè)試?yán)碚摰膭?chuàng)始人，并為嵌入式系統(tǒng)的設(shè)計(jì)建立了一套完整的理論體系與開發(fā)工具。
（2）他帶領(lǐng)團(tuán)隊(duì)做出了一批國(guó)際領(lǐng)先的重要理論成果，解決了多個(gè)前沿技術(shù)發(fā)展中的理論難題，其中包括一個(gè)本領(lǐng)域?qū)W術(shù)界40年未解決的多核調(diào)度問題。
（3）研發(fā)工具：
UPPAL：實(shí)時(shí)系統(tǒng)的模型檢測(cè)軟件。UPPAAL是由王義教授領(lǐng)導(dǎo)的研究組歷經(jīng)20余年開發(fā)的一個(gè)實(shí)時(shí)系統(tǒng)建模，仿真和驗(yàn)證工具。UPPAAL的用戶遍布世界各地，已被下載超過80000次。該工具成功應(yīng)用于汽車電子、航天航空、數(shù)字醫(yī)療等重要領(lǐng)域安全關(guān)鍵性系統(tǒng)的設(shè)計(jì)與驗(yàn)證。
TIMES： 嵌入式系統(tǒng)的調(diào)度分析和代碼生成。此工具于2002年法國(guó)舉行的“軟件理論與實(shí)踐歐洲年會(huì)(ETAPS)”上獲得最佳工具論文獎(jiǎng)。
CATS ：基于近似估計(jì)的實(shí)時(shí)系統(tǒng)組成分析
研究論文
在頂級(jí)國(guó)際學(xué)術(shù)期刊及會(huì)議發(fā)表論文100多篇，論文引用次數(shù)超過6000次，論文單篇最高引用次數(shù)達(dá)1400余次，他所發(fā)表的論文在實(shí)時(shí)系統(tǒng)排名第一的國(guó)際頂級(jí)會(huì)議RTSS 2009, DATE 2013上獲得最佳論文獎(jiǎng)，在實(shí)時(shí)系統(tǒng)頂級(jí)國(guó)際會(huì)議ECRTS 2012上獲杰出論文獎(jiǎng)，在實(shí)時(shí)系統(tǒng)頂級(jí)國(guó)際會(huì)議RTAS 2011，RTSS 2010，RTAS 2010上多次獲得最佳論文提名。
近期科研項(xiàng)目
國(guó)內(nèi)項(xiàng)目
國(guó)家863課題“面向可重構(gòu)計(jì)算系統(tǒng)的實(shí)時(shí)調(diào)度問題與操作系統(tǒng)技術(shù)的研究”、
教育部科技創(chuàng)新工程重大培育項(xiàng)目“面向智能化裝備的嵌入式平臺(tái)開發(fā)及應(yīng)用示范”
國(guó)外項(xiàng)目
CoDeR-MP: 多核平臺(tái)的實(shí)時(shí)應(yīng)用，由SSF（瑞典戰(zhàn)略研究基金）支持（合作者，與ABB和SAAB的5年科研項(xiàng)目，2009-2014）
UPMARC：多核結(jié)構(gòu)研究中心的uppsala編程
SAVE++：以元件為基礎(chǔ)的安全關(guān)鍵性汽車系統(tǒng)，由瑞典戰(zhàn)略研究基金支持的國(guó)家5年研發(fā)項(xiàng)目）
CREDO ：分布式服務(wù)發(fā)展結(jié)構(gòu)的建模與分析，STREP 項(xiàng)目，EC支持
ARTIST ：嵌入式系統(tǒng)設(shè)計(jì)的優(yōu)越性網(wǎng)絡(luò)（核心成員，建模與驗(yàn)證）
實(shí)時(shí)系統(tǒng)的建模與認(rèn)證
