Wang Yi

瑞典烏普薩拉大學信息技術系教授

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在列。