搜索结果: 1-1 共查到“系统建模 ACM Fellow”相关记录1条 . 查询时间(0.065 秒)
东北大学计算机学院王义教授入选ACM Fellow
东北大学计算机学院 王义 ACM Fellow 计算机系统建模
font style='font-size:12px;'>
2021/1/26
2021年1月13日,美国计算机协会(Association for Computing Machinery)官网发布公告,公布了2020年当选的95名ACM Fellow,东北大学计算机学院王义教授因在“实时系统的自动分析和验证方面”取得突出贡献而成功入选,全球华人12人入选。