I am a Postdoctoral Researcher at The University of Hong Kong, working with Prof. Ho Chen. I received my Ph.D. from the University of Chinese Academy of Sciences, where I was advised by Prof. Kai Chen.

My research focuses on software security, program analysis, and AI for security, with the goal of enhancing software security to protect users from severe threats. Specifically, I have designed and implemented automated analysis tools for large-scale bug detection. My work has detected hundreds of previously unknown security bugs in widely used programs, including the Linux kernel and QEMU. Additionally, I collaborate closely with developers to address these bugs to mitigate potential threats.