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 system security and program analysis. My research improves multiple program analysis and testing techniques (e.g., fuzzing, symbolic execution, static analysis and large language models), thereby combining the advantages of those techniques to systematically and automatically improve the security for real world software system (e.g., Linux 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.