Professor, Doctoral Supervisor
E-mail: wangjyee@zju.edu.cn
Personal Homepage: https://person.zju.edu.cn/en/wangjyee
Research Direction(s): Formal Verification; System Security; Software Engineering
Research Subject(s): Artificial Intelligence Security; Industrial Control System Security