IS
2
IS² Lab
Zhejiang University
Home
Team
Research
Publications
News
Join Us
EN
/
中文
☾
☰
This site uses JavaScript to load content and switch languages. Please enable JavaScript.
intelligent system security lab · zhejiang university
Formal trust for
intelligent systems
Formal methods
SE for AI
AI safety & security
Explore our research
Meet the team
// about
What we work on
⊢
∀
⚑
// at a glance
Research at a glance
3
Research tracks
40+
Papers at top venues
3
Best-paper honors
4+
Industrial partners
Collaborations
Vacancies
See open positions
// news
Latest news
See all news