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. The goal of our lab’s research is to develop various formal methods or software engineering techniques to provide certifiable (and ideally provable) reliability or security guarantees for practical intelligent or distributed systems like autonomous driving car, industrial control system, blockchain system, etc.
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 reliability and 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.
News
Apr 2024
Prof. Wang will serve as the PC member of ISSTA 2025, consider submitting your best work!
Apr 2024
Jianan and Prof. Wang attended ICSE 2024 and presented our paper on verification guided synthesis for repairing deep neural networks!
Mar 2024
Prof. Wang will serve as the PC member of ISSRE 2024 and ChinaSoft/FMAC 2024, consider submitting your best work!
Mar 2024
Xiaoxia was invited to give a talk on our survey paper on prompting frameworks for LLM at the AGI Leap Summit! Her work also won the Best Paper Award of the summit, congrats!
Feb 2024
One paper on neural network debugging is accepted by ISSTA 2024, congrats to Jialuo!
Dec 2023
Prof. Wang will serve as the PC member of ISSTA 2024, consider submitting your best work!
Nov 2023
Prof. Wang will serve as the PC member of ICSE 2025, consider submitting your best work!
Oct 2023
Prof. Wang will serve as the PC member of TASE 2024, ANT 2024 and ACNS/SiMLA 2024.
Aug 2023
Huan will visit Prof. Philippa Gardner’s group at Imperial College London to work on concurrent program verification, congrats!