好词好句 > 王义

王义

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

主要从事实时系统的模型检测、多处理器调度与分析、多核实时系统、汽车电子、数字医疗等领域的研究,是国际上实时系统及模型检测领域有影响力的计算机科学家与学术带头人之一。现任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多万美元,包括欧盟研究基金,瑞典自然科学基金、瑞典战略研究基金、及瑞典技术开发委员会基金等。

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

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