2002.9 to 2006.7
上海交通大学 | 电力系统及其自动化 | 大学本科毕业 | 工学学士
2006.9 to 2009.2
上海交通大学 | 电力系统及其自动化 | 硕士研究生毕业 | 工学硕士
2009.9 to 2011.8
康涅狄格大学 | 计算机软件与理论 | 硕士研究生毕业 | 理学硕士
2011.9 to 2016.12
明尼苏达大学双城分校 | 计算机软件与理论 | 博士研究生毕业 | 理学博士
https://jhc.sjtu.edu.cn/~yutingwang/
2002.9 to 2006.7
上海交通大学 | 电力系统及其自动化 | 大学本科毕业 | 工学学士
2006.9 to 2009.2
上海交通大学 | 电力系统及其自动化 | 硕士研究生毕业 | 工学硕士
2009.9 to 2011.8
康涅狄格大学 | 计算机软件与理论 | 硕士研究生毕业 | 理学硕士
2011.9 to 2016.12
明尼苏达大学双城分校 | 计算机软件与理论 | 博士研究生毕业 | 理学博士
2020.3 to Now
上海交通大学电子信息与电气工程学院
|
长聘教轨副教授
2016.12 to 2019.12
耶鲁大学计算机系
|
博士后
本人主要研究方向为软件系统的形式化验证，包括形式化方法和证明框架的理论基础、设计和实现，以及应用该类框架验证关键性系统软件。目前主要研究内容包括：操作系统验证，编译器验证以及形式化验证理论及工具的开发
No content
沪ICP备05052060 版权所有©上海交通大学
Click: | The Last Update Time:..