IS2 Lab: Certifiable Security for Intelligent System

About The Intelligent System Security (IS2) Lab is a research lab led by Prof. Jingyi Wang affiliated with the College of Control Science and Engineering, Zhejiang University, Hangzhou, China. Our lab’s work lie in the intersection of formal methods, software engineering, artificial intelligence (AI) and safety/security. Specificaclly, we aim to develop novel software engineering techniques (often from a formal methods perspective) towards building more trustworthy AI-based or safety-critical industrial systems or software. The detailed research topics include:

• Quality assurance/certification (testing, verification and repair, etc) of AI models (especially large language models) or AI-based systems/applications;
• Model-based rigrous engineering of safety-cirtical software;
• Verification of concurrent (reactive) systems, e.g., OS kernels and distributed control systems;
• Verification of security protocols.

Previous Next

Collaborations Our lab has established active collaborations with top universities like ETH, UC Berkeley, UIUC, National University of Singapore, etc. Moreover, we are also working closely with our industrial partners like Huawei, Alibaba and Ant Group to tackle real-world security challenges.

Vacencies Our lab is always actively looking for self-motivated PostDoc/PhD/master/research assistants/research interns with competitive packages to join our group at ZJU to work on any of the above topics. Feel free to contact Prof. Wang with CV (and transcript for PhD/Master applications) if you are interested.