王义，教育部长江学者特聘教授，入选中组部千人计划，瑞典乌普萨拉大学教授 ，东北大学计算机科学与工程学院教授、博士生导师 ，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工具对学术界和工业界的深远影响 。
想要了解更多“王义（东北大学特聘教授）”的信息，请点击：王义（东北大学特聘教授）百科
