I am a US-equivalent tenure-track Assistant Professor leading the IS2 (Intelligent System Security) Lab at School of Control Science and Engineering, 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, my research goal is to develop novel formal methods or software engineering methodologies towards building more trustworthy intelligent systems or software. Currently, I am particularly interested in the following research topics in the intersection of formal methods, artificial intelligence (AI) and security:
- Testing, verification and repair of AI or AI-based systems, e.g., large language models, neural networks, autonomous cars;
- Verification of concurrent reactive systems, e.g., OS kernels and industrial control systems;
- AI-assisted modeling and verification of security protocols;
- Other related topics like fuzzing, symbolic execution, runtime verification, etc.
Collaborations are warmly welcome from both academia or industry!
Awards
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.
Hobbies
- I play badminton regularly;
- I love to play DOTA2 and PES when I have the time.