好词好句 > 王义

王义

王义,教育部长江学者特聘教授,入选中组部千人计划,瑞典乌普萨拉大学教授 ,东北大学信息科学与工程学院教授、博士生导师 ,

主要从事实时系统的模型检测、多处理器调度与分析、多核实时系统、汽车电子、数字医疗等领域的研究,是国际上实时系统及模型检测领域有影响力的计算机科学家与学术带头人之一。现任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年入选中组部千人计划

曾兼任中科院软件研究所、新加坡国立大学、联合国大学澳门软件研究所客座教授。曾任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 :嵌入式系统设计的优越性网络(核心成员,建模与验证)

实时系统的建模与认证

All rights reserved Powered by 好词好句 www.9512.net

copyright ©right 2010-2021。
好词好句内容来自网络,如有侵犯请联系客服。zhit325@126.com