教育经历
博士，计算机科学，加州大学河滨分校（2018–2024）
导师：Zhiyun Qian硕士，控制科学与工程，西安交通大学（2015–2018）
导师：刘烃学士，控制科学与工程，西安交通大学（2011–2015）
呼和浩特第二中学，内蒙古自治区（2008–2011）
工作经历
系统安全研究员 (获得华为“天才少年”录用)，鸿蒙系统安全组，华为，中国（2024–至今）
关键词：鸿蒙系统安全、Fuzzing、LLM辅助安全分析、静态分析负责鸿蒙内核Fuzzing技术路线，面向内核及系统组件的内存安全漏洞挖掘。
负责鸿蒙操作系统Rust技术路线，在新系统组件中从根源上消除内存安全类漏洞。
推动AI for Security，将大语言模型应用于安全分析。
研究实习生，导师：Weidong Cui，系统安全与隐私研究组，微软研究院，美国（2023–2023）
关键词：LLM辅助安全分析与程序分析提出E&V，较早探索让大语言模型通过执行伪代码并验证结果来完成静态分析，在不依赖额外工具的情况下降低幻觉。
将E&V用于Linux内核崩溃分诊（定位应修补的函数），在七类漏洞的170个崩溃上准确率超过80%。
研究实习生，导师：Kris Alder，Android安全团队，谷歌，美国（2022–2022）
关键词：Linux/Android 内核安全、Fuzzing、静态分析- 使用静态分析增强Android内核Fuzzing（内部工具）。
研究生研究员，导师：Zhiyun Qian，加州大学河滨分校，网络安全与隐私研究和教育中心（CRESP）（2018–2024）
构建了下列课题组内核安全项目中的欠约束符号执行及大部分静态分析工具。
内核Fuzzing：揭示内核Fuzzing“依赖难题”背后的根本原因（ICSE 22，Google Research Paper Rewards）；先后基于静态分析（SyzDescribe，S&P 23）和欠约束符号执行（SyzSpec，CCS 25，杰出论文奖）实现系统调用规格自动生成；为驱动Fuzzing的依赖推断提供思路（SyzGen++，S&P 24）。
漏洞分诊与可利用性：参与设计并实现Fuzzing所发现漏洞精确二分定位中的符号执行（SymBisect，USENIX Security 24）；实现Linux生态漏洞可利用性评估中的静态分析（SyzBridge，NDSS 24）。
精确静态分析：实现Linux内核未初始化使用漏洞检测中的欠约束符号执行，消除约87%的误报（UBITect，FSE 20），并支持增量检测（NDSS 22）。
LLM辅助程序分析：为LLM与静态分析结合的漏洞检测提供思路并实现其中的静态分析（FSE 23，OOPSLA 24）。
研究助理，导师：刘烃，西安交通大学，智能网络与网络安全教育部重点实验室（2013–2018）
关键词：并发安全、符号执行
荣誉, 奖励
- 2025
- CCS 2025, Distinguished Paper Award
- 2024
- Laxmi Bhuyan Fellowship Award, University of California, Riverside
- Dissertation Completion Fellowship Award, University of California, Riverside
- 2023
- IEEE S&P Student Travel Grant
- Google Research Paper Rewards
- The Linux Foundation’s Travel Fund
- 2021
- QRS 2021 Best Paper Award
- 2018
- Dean’s Distinguished Fellowship, University of California, Riverside
- 西安交通大学优秀硕士毕业生
- 2013
- 西安交通大学程序设计竞赛，二等奖
- 西安交通大学数学建模竞赛，二等奖
- 2010
- 内蒙古高中数学联赛，一等奖
- 内蒙古高中物理联赛，三等奖
- 内蒙古高中化学联赛，三等奖
- 2007
- 全国奥林匹克数学竞赛，金牌
学术服务
程序委员会委员：CCS 2027, 2026. RAID 2026. FORGE@ICSE 2025, 2024. MSR 2024 (Junior PC)
审稿人：TIFS 2026, 2024, 2023. TDSC 2026. TOSEM 2026, 2025. Computing Surveys 2026. EAI SecureComm 2023
外部审稿人：S&P 2025, 2024, 2021, 2020. CCS 2024. USENIX Security 2025, 2021. NDSS 2025, 2021, 2020
AEC：EuroSys 2023. ISSTA 2024. ECOOP 2024