創建詞條
登錄/註冊
Wang Yi
瑞典烏普薩拉大學信息技術系教授
Wang Yi,畢業於
瑞典查爾姆斯理工大學
,現任瑞典烏普薩拉大學信息技術系教授。
2021年1月14日,
ACM
Fellow名單公布,Wang Yi在列。
目錄
1
人物經歷
2
研究方向
3
入選理由
4
獲得榮譽
人物經歷
Wang Yi於1982年在
東北大學
獲得計算機工程學士學位。1991年在瑞典查爾姆斯理工大學獲博士學位。現任瑞典烏普薩拉大學信息技術系教授。
研究方向
其主要研究方向為
CPS
的設計與動態更新,安全關鍵型
嵌入式
系統,實時系統,實時調度,建模與驗證。
入選理由
對實時系統的自動分析和驗證做出貢獻。
獲得榮譽
2021年1月1日,入選ACM Fellow。
2021年1月14日,ACM Fellow名單公布,Wang Yi在列。
基本信息
外文名
Wang Yi
畢業院校
瑞典查爾姆斯理工大學
任職機構
烏普薩拉大學
職務
瑞典烏普薩拉大學信息技術系教授
目錄
目錄