-
王義
(東北大學特聘教授)
鎖定
王義,瑞典烏普薩拉大學教授
[1]
,東北大學計算機科學與工程學院教授、博士生導師
[2]
,智慧系統國際合作聯合實驗室主任
[8]
,2015年12月16日起任東北大學計算機科學與工程學院院長
[3]
。王義教授入選2020年美國計算機協會院士。
[4]
主要從事實時系統的模型檢測、多處理器調度與分析、多核實時系統、汽車電子、數字醫療等領域的研究,是國際上實時系統及模型檢測領域有影響力的計算機科學家與學術帶頭人之一。現任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工具對學術界和工業界的深遠影響
[5]
。
- 中文名
- 王義
- 學位/學歷
- 博士
- 職 業
- 教師
- 職 稱
- 教授
- 性 別
- 男
王義主要經歷
1982年畢業於東北工學院自動控制系計算機專業,獲學士學位
1988年在瑞典Chalmers技術大學計算機係獲Licentiate學位(副博士)
1991年獲瑞典查爾姆斯大學計算機科學博士學位,
1992起在瑞典Uppsala大學任教,1994晉升副教授,2000年任瑞典Uppsala大學教授。
2007年入選教育部特聘教授,2009年任講席教授
王義主要任職
曾兼任中科院軟件研究所、新加坡國立大學、聯合國大學澳門軟件研究所客座教授。
曾任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等多個國際頂級學術會議中擔任程序委員會委員。
曾獲得研究基金總計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上多次獲得最佳論文提名
[7]
。
王義近期科研項目
王義國內項目
國家863課題“面向可重構計算系統的實時調度問題與操作系統技術的研究”、
教育部科技創新工程重大培育項目“面向智能化裝備的嵌入式平台開發及應用示範”
王義國外項目
CoDeR-MP: 多核平台的實時應用,由SSF(瑞典戰略研究基金)支持(合作者,與ABB和SAAB的5年科研項目,2009-2014)
UPMARC:多核結構研究中心的uppsala編程
SAVE++:以元件為基礎的安全關鍵性汽車系統,由瑞典戰略研究基金支持的國家5年研發項目)
CREDO :分佈式服務發展結構的建模與分析,STREP 項目,EC支持
ARTIST :嵌入式系統設計的優越性網絡(核心成員,建模與驗證)
實時系統的建模與認證
- 參考資料
-
- 1. wangyi's home page .uppsala[引用日期2014-02-25]
- 2. 博士生導師 .東北大學研究生院[引用日期2014-02-25]
- 3. 東北大學計算機科學與工程學院成立 .東北大學新聞網.2015-12-16[引用日期2015-12-16]
- 4. 【光明日報客户端】東北大學王義教授入選2020年美國計算機協會院士 .東北大學新聞網.2021-01-16[引用日期2021-01-17]
- 5. 我院王義教授獲得2013年CAV獎 .東北大學信息學院[引用日期2014-02-25]
- 6. 東北大學王義教授入選歐洲科學院院士 .瀋陽日報[引用日期2015-10-10]
- 7. publications .uppsala [引用日期2014-02-25]
- 8. 智慧系統國際合作聯合實驗室 .東北大學計算機科學與工程學院[引用日期2023-06-14]