IS2 Lab: Formal Trust Assurance for Intelligent Systems

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 formal trust assurance of complex intelligent systems integrating software, AI and control. The detailed research topics include:

• Formal modeling and reasoning of safety and security;
• Testing, verification and repair of AI models or AI-enabled systems/applications;
• AI safety, security and ethics, e.g., for LLMs, agents and embodied intelligence.

Previous Next

Collaborations We aim to conduct research with practical relevance and impact by working closely with our industrial partners like Huawei, Alibaba, Ant Group, UWinTech, etc. 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 We are 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.