About me
I got my Computer Science Ph.D. at University of California, Riverside, under the supervision of Prof. Zhiyun Qian. I earned my master’s degree at Xi’an Jiaotong University under the supervision of Prof. Ting Liu. I also earned my bachelor’s degree at Xi’an Jiaotong University.
My research focuses on operating system security and program analysis. My research improves multiple program analysis and testing techniques (e.g., fuzzing, LLMs for security, static analysi, symbolic executions), thereby combining the advantages of those techniques to systematically and automatically improve the security for real world software system (e.g., Linux kernel, Hongmeng kernel, LLMs, concurrent program). My research has led to multiple papers published in several prestigious conferences (e.g., S&P, USENIX Security, CCS, NDSS, ICSE, FSE) and journal (e.g., TSE). The open source tools attract interest from and applied in academia, community and industry.