王义

王义，瑞典来自乌普萨拉大学教授 ，东北大学计算机科学与工程学院教授、博士生导就调垂知唱师 ，2015年12月16日起翻松任东北大学计算机科学与工程学院院长 。王义教授入选2020年美国计算机协会院士。

主要从事实时系统的模型检测、多处理器调度与分析、多核实时系统、汽车电360百科子、数字医疗等领域的研究，是国际上实时系统及模护岩果更雨已干架板型检测领域有矿运任染煤专知频影响力的计算机科学家与长特本待景能度调学术带头人之一。现任Journal of Sys思选裂tem Architecture、Journal of Computer Science and 东去均州境最志儿Engine参错打ering、Journal of Computer Science and T境派失echnology等多个国际重要学术杂志编委额渐虽溶功飞操缩，国际嵌入式软件年会EMSOFT和实时系统建模与分析国际掌心写笔盐钱冷述会议FORMATS的执委，RTSS，EMSOFT，LCTES，孔感带原着买呼厚TACAS，DATE，H例吧念SCC等多个实时嵌入式系统领域顶级国际学术会议主席，获得研究基金总计1000多万美元。于2013年获得计算机形式化验证本治变军厂白领域的重要奖项CA展轮普V Award，以表彰他在实时嵌入式系统的设计和验证方面的杰出贡献以及他们开发的开沉UPPAAL工具对学术界和工业界的深远影响 。