汪宇霆

副教授

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

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

职称:副教授

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

查看更多>

教师主页二维码

科研项目

CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法

发布时间:2024-01-27

负责人姓名:汪宇霆

学科门类:计算机科学技术基础学科

结项日期:2024-09-01

开始日期:2023-10-01

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

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

最近更新时间:--