I am a US-equivalent tenure-track Assistant Professor leading the IS2 (Intelligent System Security) Lab at School of Control Science and Engineering, Zhejiang University, Hangzhou, China.


I was a research fellow with Prof. Dong Jin Song at School of Computing, National University of Singapore (2019.04-2020.06). Before that, I was a research fellow with Prof. Sun Jun at the pillar of Information Systems Technology and Design, Singapore University of Technology and Design (2018.04-2019.04), where I received my Ph.D. in March 2018. I obtained my B.E. in Information Engineering from Xi’an Jiaotong University in July 2013.

Research Interest

In general, my research goal is to develop novel formal methods or software engineering methodologies towards building more trustworthy intelligent systems or software. Currently, I am particularly interested in the following research topics in the intersection of formal methods, software engineering, artificial intelligence (AI) and safety/security:

  • Quality assurance (testing, verification and repair, etc) of AI or AI-based systems, e.g., large language models (LLMs), deep neural networks, autonomous cars;
  • Safety and security of LLMs or LLM-based systems;
  • Verification of concurrent (reactive) systems, e.g., OS kernels and distributed control systems;
  • Verification of security protocols;
  • Other related topics like fuzzing, symbolic execution, runtime verification, etc.

Collaborations are warmly welcome from both academia or industry!


I was very fortunate to receive two ACM SIGSOFT Distinguished Paper Award at ICSE (2018 and 2020). The ICSE 2020 paper on fairness testing of deep neural networks is also selected as ACM SIGSOFT Research Highlights.


  • I play badminton regularly;
  • I love to play DOTA2 and PES when I have the time.


wangjyee at gmail dot com