About me
当前，我在华为专注于鸿蒙系统的安全。欢迎联系我，讨论鸿蒙系统的安全研究和应用。
欢迎投递全职和实习。
我在加州大学河滨分校获得计算机科学博士学位，导师是Prof. Zhiyun Qian，在此期间在谷歌安卓安全团队和微软研究院（美国）实习。我在西安交通大学获得硕士学位，导师是刘烃教授。我也在西安交通大学获得学士学位。
我的研究集中在系统安全和程序分析上，改进了多种程序分析和测试技术（例如模糊测试、符号执行、静态分析和大语言模型用于程序分析），并且结合这些技术的优点，系统地和自动地提高现实世界软件系统（例如 Linux 内核，现在专注于鸿蒙系统）的安全性。我的研究成果发表在了在多个著名的国际顶级学术会议（例如 S&P、CCS、USENIX Security、NDSS、ICSE、FSE、OOPSLA）和期刊（例如 TSE）。研究成果的开源工具吸引了学术界、开源社区（例如 Linux Security Summit）和工业界（例如 Google Research Papar Rewards、Qualcomm Security Summit）的兴趣并被应用。除了开源工具，我还为 Linux 内核报告漏洞和 CVE，并贡献补丁。
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.