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 systems or software. The detailed research topics of our lab include:

• Software engineering for trustworthy AI systems, e.g., testing, verification and repair of AI models or AI-based systems/applications;
• AI safety, security and fairness;
• Formal analysis of system or software security;
• Formal design and analysis of security protocols;
• Other related topics like fuzzing, symbolic execution, concolic testing and runtime verification.

Previous Next

Collaborations Our lab aims to conduct research with practical relevance and impact by working closely with our industrial partners like Huawei, Alibaba and Ant Group. 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.