| layout | permalink | image |
|---|---|---|
page |
/ |
images/newback-small.jpg |
I am a US-equivalent tenure-track Assistant Professor leading the IS2 (Intelligent System Security) Lab at Zhejiang University, Hangzhou, China.
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.
In general, my research goal is to develop rigorous engineering methodologies with practical relevance towards building more trustworthy AI 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 deep learning models/systems, e.g., deep neural networks (DNNs, including large language models) (see ICSE 2020, ICSE 2021, TACAS 2021 and ICSE 2024, etc);
- AI safety, security and fairness, e.g., for DNNs or DNN-based systems/applications (see S&P 2022, ISSTA 2024, and TDSC 2024, etc);
- Formal design and analysis of security protocols (see ICSE 2025, etc);
- Formal analysis of system security (see TSE 2021, CCS 2023, WWW 2025, etc);
- Other related topics like fuzzing, symbolic execution, concolic testing, runtime verification, etc (see FM 2016, ICSE 2018, TOSEM 2024, etc).
Collaborations are warmly welcome from both academia or industry!
I was very fortunate to receive two ACM SIGSOFT Distinguished Paper Award at ICSE (2018 and 2020). The ICSE 2020 paper on fairness testing of deep neural networks is also selected as ACM SIGSOFT Research Highlights.
- I play badminton regularly;
- I love to play DOTA2 and PES when I have the time.