Wang Yi于1982年在东北大学获得计算机工程学士学位。1991年在瑞典查尔姆斯理工大学获博士学位。现任瑞典乌普萨拉大学信息技术系教授。
其主要研究方向为CPS的设计与动态更新,安全关键型嵌入式系统,实时系统,实时调度,建模与验证。
对实时系统的自动分析和验证做出贡献。
2021年1月1日,入选ACM Fellow。
2021年1月14日,ACM Fellow名单公布,Wang Yi在列。
本文发布于:2022-10-22 23:34:53,感谢您对本站的认可!
本文链接:http://www.wtabcd.cn/fanwen/fan/83/350310.html
版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。
留言与评论(共有 0 条评论) |