汪宇霆

副教授

所在单位:电子信息与电气工程学院

学科:计算机软件与理论(081202)

职称:副教授

电子邮箱:yuting.wang@sjtu.edu.cn

查看更多>

教师主页二维码

研究方向

中文主页 - 首页 - 研究方向
  • [ 1 ] 本人主要研究方向为软件系统的形式化验证,包括形式化方法和证明框架的理论基础、设计和实现,以及应用该类框架验证关键性系统软件。目前主要研究内容包括:操作系统验证,编译器验证以及形式化验证理论及工具的开发

 沪ICP备05052060 版权所有©上海交通大学

访问人数: | 开通时间:--

最近更新时间:--