來源：互聯(lián)網(wǎng)
Wang Yi，畢業(yè)于查爾姆斯理工大學(xué)，現(xiàn)任烏普薩拉大學(xué)信息技術(shù)系教授。
2021年1月14日，ACM?Fellow名單公布，Wang Yi在列。
人物經(jīng)歷
Wang Yi于1982年在東北大學(xué)獲得計算機(jī)工程學(xué)士。1991年在瑞典查爾姆斯理工大學(xué)獲博士學(xué)位。現(xiàn)任瑞典烏普薩拉大學(xué)信息技術(shù)系教授。
研究方向
其主要研究方向?yàn)镃PS的設(shè)計與動態(tài)更新，安全關(guān)鍵型嵌入式系統(tǒng)，實(shí)時系統(tǒng)，實(shí)時調(diào)度，建模與驗(yàn)證。
入選理由
對實(shí)時系統(tǒng)的自動分析和驗(yàn)證做出貢獻(xiàn)。
獲得榮譽(yù)
2021年1月1日，入選ACM Fellow。
2021年1月14日，ACM?Fellow名單公布，Wang Yi在列。
參考資料 >
這7位圖靈獎得主才入選ACM Fellow，他們可是程序員“祖師爺”|ACM|操作系統(tǒng)|圖靈獎_.新浪.2021-01-15