I am a US-equivalent tenure-track Assistant Professor leading the IS2 (Intelligent System Security) Lab at Zhejiang University, Hangzhou, China.
Experience
I was a research fellow with Prof. Dong Jin Song at School of Computing, National University of Singapore (2019.04-2020.06). Before that, I was a research fellow with Prof. Sun Jun at the pillar of Information Systems Technology and Design, Singapore University of Technology and Design (2018.04-2019.04), where I received my Ph.D. in March 2018. I obtained my B.E. in Information Engineering from Xi’an Jiaotong University in July 2013.
Research Interest
In general, I am interested in developing principled methodologies towards building more trustworthy AI models/applications/systems and more secure systems. I am particularly interested in software engineering for AI and formal methods applied to security, covering the following research topics:
- Testing, verification and repair of AI models/systems, e.g., deep neural networks (DNNs, including large language models) (see ICSE 2019, ICSE 2020, ICSE 2021, TACAS 2021, ICSE 2022, ICSE 2024 and ISSTA 2024, etc);
- AI safety, security and ethics, e.g., for DNNs or DNN-based systems/applications (see S&P 2022, ISSTA 2024, and TDSC 2024, CCS 2025 a, NDSS 2026, etc);
- Formal reasoning of security (see TSE 2021, CCS 2023, ICSE 2025, WWW 2025, CCS 2025 b, etc);
Collaborations are warmly welcome from both academia or industry!
Awards
- ACM SIGSOFT Distinguished Paper Award ICSE 2018
- ACM SIGSOFT Distinguished Paper Award ICSE 2020
- ACM SIGSOFT Research Highlights
- Best Paper Award Runner-up IEEE TDSC 2024
Hobbies
- I play badminton regularly;
- I love to play DOTA2 and PES when I have the time.