document.write('
')

东北大学王义教授入选美国计算机协会资深会员

王碧琳 王碧琳 科技 佛莲新闻网 2021年02月09日 17:12:15 181

科技日报记者郝晓明

,美国计算机协会(Association for Computing Machinery)官网发布公告,公布了2020年当选的95名资深会员ACM Fellow表扬对计算机相关领域杰出贡献全球共有12名华人入选。东北大学计算机科学与工程学院王义教授因在“实时系统的自动分析和验证方面”取得突出贡献而成功入选

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

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

上一篇:2021 中国航天再迎发射高峰年

下一篇:Datatist画龙科技客户大会暨产品发布会硬核来袭!

版权声明

本站部分文字及图片均来自于网络,部分内容及图片不代表本站观点如侵犯到您的权益,请及时通知我们! 文章来自网络整理,提倡信息共享!佛莲新闻网欢迎转载!转载请保留出处和链接!