在线获取继续教育培训方案

培训主题：
参训单位：
参训人数：
联系人：
联系电话：
验证码：
备注：

马上获取联系客服

新闻中心•THE NEWS CENTER

【光明日报客户端】东北大学王义教授入选2020年美国计算机协会院士

发布时间：2021-01-18 09:58:47 浏览次数：390 来源：东北大学若有侵权请联系400-0815-589删除

1月13日，美国计算机协会官网发布公告，公布了2020年当选的95名美国计算机协会院士，东北大学计算机科学与工程学院王义教授因在“实时系统的自动分析和验证方面”取得突出贡献而成功入选，全球华人12人入选。

王义，欧洲科学院院士，系东北大学计算机科学与工程学院院长、教授。主要从事实时计算机系统建模、设计与验证研究工作。领导开发的UPPAAL模型检验工具已成为实时计算机系统的标准分析工具，被广泛应用于汽车、通信、航空和航天等领域中电子系统的设计与验证。领导的研究团队近年来在实时系统领域提出了一系列重大理论创新成果。王义教授曾获得国际学术界CAVAward（计算机辅助验证领域最高奖）和实时系统领域杰出技术成就和领导奖IEEETCRTSAward（实时系统领域最高奖）。

据悉，美国计算机协会创立于1947年，是全世界计算机领域影响力最大的专业学术组织之一。美国计算机协会院士是由该组织授予著名计算机科学家的荣誉，目的是表彰在计算机和信息技术领域取得杰出成就的学者，其审查过程十分严格，每年遴选一次。2020年，共有95人因其在人工智能、云计算、计算机图形学、计算生物学、数据科学、人机交互、软件工程、理论计算机科学和虚拟现实等领域中做出广泛和基础性贡献入选美国计算机协会院士，其中包括7位图灵奖得主。

上一篇：各地绘就未来5年发展“施工图” 紧扣高质量发展

下一篇：【秦皇岛晚报】讲时事、讲历史、讲文化这堂思政课有料有意义