王義，教育部長江學者特聘教授，入選中組部千人計畫，瑞典烏普薩拉大學教授，東北大學計算機科學與工程學院教授、博士生導師，2015年12月16日起任東北大學計算機科學與工程學院院長。
主要從事實時系統的模型檢測、多處理器調度與分析、多核實時系統、汽車電子、數字醫療等領域的研究，是國際上實時系統及模型檢測領域有影響力的計算機科學家與學術帶頭人之一。現任Journal of System Architecture、Journal of Computer Science and Engineering、Journal of Computer Science and Technology等多個國際重要學術雜誌編委，國際嵌入式軟體年會EMSOFT和實時系統建模與分析國際會議FORMATS的執委，RTSS，EMSOFT，LCTES，TACAS，DATE，HSCC等多個實時嵌入式系統領域頂級國際學術會議主席，獲得研究基金總計1000多萬美元。於2013年獲得計算機形式化驗證領域的重要獎項CAV Award，以表彰他在實時嵌入式系統的設計和驗證方面的傑出貢獻以及他們開發的UPPAAL工具對學術界和工業界的深遠影響。
基本介紹
- 中文名：王義
- 職位：東北大學“長江學者”特聘教授
- 性別：男
- 職稱：教授
主要經歷,主要任職,科學研究,科學成果,研究論文,近期科研項目,國內項目,國外項目,
主要經歷
1982年畢業於東北工學院自動控制系計算機專業，獲學士學位
1988年在瑞典Chalmers技術大學計算機系獲Licentiate學位（副博士）
1991年獲瑞典查爾姆斯大學計算機科學博士學位，
1992起在瑞典Uppsala大學任教，1994晉升副教授，2000年任瑞典Uppsala大學教授。
2007年入選教育部長江學者特聘教授，2009年任講席教授
2011年入選中組部千人計畫
2015年由於在實時系統領域的傑出貢獻，被增選為IEEE Fellow。同年王義教授入選歐洲科學院。
主要任職
曾兼任中科院軟體研究所、新加坡國立大學、聯合國大學澳門軟體研究所客座教授。
曾任IEEE Transactions on Computers編委 （associate editor），現任Journal of System Architecture、Journal of Computer Science and Engineering、Journal of Computer Science and Technology等多個國際重要學術雜誌編委，
任國際嵌入式軟體年會EMSOFT和實時系統建模與分析國際會議FORMATS的執委，
任RTSS，EMSOFT，LCTES，TACAS，DATE，HSCC等多個實時嵌入式系統領域頂級國際學術會議主席，
長期在RTSS，CAV等多個國際頂級學術會議中擔任程式委員會委員。
任荷蘭、比利時、澳大利亞、北愛爾蘭、捷克斯洛伐克自然科學基金專家評審，同時是法國INRIA嵌入式系統學科國際專家組成員及歐盟研究項目評審。
曾獲得研究基金總計1000多萬美元，包括歐盟研究基金，瑞典自然科學基金、瑞典戰略研究基金、及瑞典技術開發委員會基金等。
科學研究
科學成果
（1）實時進程代數TCCS理論及隨機系統測試理論的創始人，並為嵌入式系統的設計建立了一套完整的理論體系與開發工具。
（2）他帶領團隊做出了一批國際領先的重要理論成果，解決了多個前沿技術發展中的理論難題，其中包括一個本領域學術界40年未解決的多核調度問題。
（3）研發工具：
UPPAL：實時系統的模型檢測軟體。UPPAAL是由王義教授領導的研究組歷經20餘年開發的一個實時系統建模，仿真和驗證工具。UPPAAL的用戶遍布世界各地，已被下載超過80000次。該工具成功套用於汽車電子、航天航空、數字醫療等重要領域安全關鍵性系統的設計與驗證。
TIMES： 嵌入式系統的調度分析和代碼生成。此工具於2002年法國舉行的“軟體理論與實踐歐洲年會(ETAPS)”上獲得最佳工具論文獎。
CATS ：基於近似估計的實時系統組成分析
研究論文
在頂級國際學術期刊及會議發表論文100多篇，論文引用次數超過6000次，論文單篇最高引用次數達1400餘次，他所發表的論文在實時系統排名第一的國際頂級會議RTSS 2009, DATE 2013上獲得最佳論文獎，在實時系統頂級國際會議ECRTS 2012上獲傑出論文獎，在實時系統頂級國際會議RTAS 2011，RTSS 2010，RTAS 2010上多次獲得最佳論文提名。
近期科研項目
國內項目
國家863課題“面向可重構計算系統的實時調度問題與作業系統技術的研究”、
教育部科技創新工程重大培育項目“面向智慧型化裝備的嵌入式平台開發及套用示範”
國外項目
CoDeR-MP: 多核平台的實時套用，由SSF（瑞典戰略研究基金）支持（合作者，與ABB和SAAB的5年科研項目，2009-2014）
UPMARC：多核結構研究中心的uppsala編程
SAVE++：以元件為基礎的安全關鍵性汽車系統，由瑞典戰略研究基金支持的國家5年研發項目）
CREDO ：分散式服務發展結構的建模與分析，STREP 項目，EC支持
ARTIST ：嵌入式系統設計的優越性網路（核心成員，建模與驗證）
實時系統的建模與認證
