王义

王义，瑞典乌普萨拉大学教授 ，东北大学计算机科学与督汽同利工程学院教授、博士生导师 ，201圆周家背微京府四5年12月16日宜起任东北大学计算机科学与工程学院院长 。王义教授入选2020年美国计算机协会院士。

主要从事实时系统的模型检测、多处理器调度与分析、多核来自实时系统、汽车360百科电子、数字医疗等领域的研究，是国际上实时系统及模型检测领域有影响力的计算机科学家与学术带头人之一。现任Journal of System Architecture、Journal of Computer Science and Engineering、Journal of Computer Science and Technology等多个国际重要学术杂志编委，国际嵌入式软件年会EMSOFT和实时系统建模与分析国际会议FORMATS的执委，RTSS，EMSOFT，LCTES，TACAS，DA某且婷格随盐承TE，HSCC等多个实时嵌入式系统领域顶级国际学术会议主席，获得研究基金总计1000永他向多万美元。于20吗13年获得计算机形式化验证领域的导重要奖项CAV Award，以表彰他在实时嵌入式系统的设计和验证方面的杰出贡献以及他们开发的UPPAAL工具对学术界和工业界的深远影响 。