研究员、博士生导师
邮箱：wangjyee@zju.edu.cn
个人主页：https://person.zju.edu.cn/wangjyee
研究方向：形式化验证；系统安全；软件工程
研究主题：工控安全，人工智能安全，工业互联网安全
当前位置：