Wang Yi,毕业于查尔姆斯理工大学,现任乌普萨拉大学信息技术系教授。

2021年1月14日,ACM Fellow名单公布,Wang Yi在列。

人物经历

Wang Yi于1982年在东北大学获得计算机工程学士。1991年在瑞典查尔姆斯理工大学获博士学位。现任瑞典乌普萨拉大学信息技术系教授。

研究方向

其主要研究方向为CPS的设计与动态更新,安全关键型嵌入式系统,实时系统,实时调度,建模与验证。

入选理由

对实时系统的自动分析和验证做出贡献。

获得荣誉

2021年1月1日,入选ACM Fellow。

2021年1月14日,ACM Fellow名单公布,Wang Yi在列。

参考资料

这7位图灵奖得主才入选ACM Fellow,他们可是程序员“祖师爷”|ACM|操作系统|图灵奖_.新浪.2021-01-15