Jingyi Wang

Jingyi Wang is an Assistant Professor at Zhejiang University (ZJU), China, leading the IS2 (Intelligent System Security) Lab. He holds a US-equivalent tenure-track position and has established himself as a prominent researcher in software engineering for AI and formal methods applied to security.

His educational background includes:

• Bachelor's degree from Xi'an Jiaotong University (2013)
• PhD from Singapore University of Technology and Design (2018)
• Research Fellow at National University of Singapore (2019-2020)

Wang's research focuses on developing principled methodologies for building trustworthy AI models and secure systems. His work spans testing, verification and repair of AI models/systems, AI safety and security, and formal reasoning of security. He has developed innovative approaches for neural network testing, verification, and repair, with particular emphasis on explainability, fairness, and robustness.

His publication record shows a clear progression from foundational work on concolic testing (2018) to increasingly sophisticated methods for evaluating and improving AI systems, with recent focus on large language models and decentralized identity systems. His research bridges formal methods with practical software engineering challenges in AI security.

His notable achievements include:

• Two ACM SIGSOFT Distinguished Paper Awards (ICSE 2018 and 2020)
• ACM SIGSOFT Research Highlights
• Best Paper Award Runner-up at IEEE TDSC 2024

Wang actively contributes to the research community as Program Committee member for top conferences including CCS, ICSE, ISSTA, ASE, WWW, and AAAI. He serves as PC Co-chair for ICFEM 2025, Large Model Safety Workshop 2025, and SAC-SVT 2026. His leadership in the IS2 Lab demonstrates his commitment to advancing intelligent system security through rigorous research.