王竟亦
博士
百人计划研究员
|
博士生导师
2024-02-04
18987
- wangjyee@zju.edu.cn
- 玉泉校区第九教学楼350
-
- · 形式化方法
- · 软件工程
- · 工业软件
- · 人工智能