IS2 Lab: Certifiable Security for Intelligent System

About The Intelligent System Security (IS2) Lab is a research group led by Prof. Jingyi Wang affiliated with the College of Control Science and Engineering, Zhejiang University, Hangzhou, China. Our lab’s research focuses on developing novel software engineering (SE) methodologies towards building more trustworthy AI models/systems/applications and more secure systems. The detailed research topics of our lab include:

• Software engineering for trustworthy AI, e.g., testing, verification and repair of AI models or AI-based systems/applications;
• AI safety, security and fairness, e.g., for LLMs and embodied intelligence;
• Formal aspects of system security.

Previous Next

Collaborations Our lab aims to conduct research with practical relevance and impact by working closely with our industrial partners like Huawei, Alibaba, Ant Group and UWinTech. We are also actively collaborating with top universities like ETH, UC Berkeley, UIUC, University of Manchester, National University of Singapore, Singapore Management University, etc.

Vacancies Our lab is always actively looking for self-motivated PostDoc/PhD/master/research assistants/research interns with competitive packages to work with us at ZJU. Feel free to contact Prof. Wang with CV (and transcript for PhD/Master applications) if you are interested. We welcome candidates from diverse background to apply.