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 rigorous 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, software engineering, artificial intelligence (AI) and security:
- Testing, verification and repair of AI or AI-based systems, e.g., deep neural networks, large language models (LLMs);
- AI safety and fairness, e.g., for LLMs or LLM-based systems/applications;
- Verification of concurrent (reactive) systems, e.g., OS kernels and distributed control systems;
- 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.