王义（东北大学特聘教授）
编辑：Simone
2024-12-09 23:09:17
512 阅读
王义，瑞典乌普萨拉大学教授 ，东北大学计算机科学与工程学院教授、博士生导师 ，智慧系统国际合作联合实验室主任 ，2015年12月16日起任东北大学计算机科学与工程学院院长 。王义教授入选2020年美国计算机协会院士。
主要从事实时系统的模型检测、多处理器调度与分析、多核实时系统、汽车电子、数字医疗等领域的研究，是国际上实时系统及模型检测领域有影响力的计算机科学家与学术带头人之一。现任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工具对学术界和工业界的深远影响 。
想要了解更多“王义（东北大学特聘教授）”的信息，请点击：王义（东北大学特聘教授）百科
版权声明：本站【百问十九】文章素材来源于网络或者用户投稿，未经许可不得用于商用，如转载保留本文链接：https://www.baiwen19.com/article/113335.html
