Intelligent System Security Lab

AI & ML interests

The goal of the IS2Lab’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.