简历
Zhong Yicheng
智能化处理器安全验证 · 操作系统 · 数据科学
技术愿景：追求系统优雅，拥抱 AI 潮流，减少繁琐劳动，提升效率
研究方向
目前研究领域为智能化处理器安全验证，在操作系统与数据科学方面亦有一定积累。关注 EDA/CPU、OS、DB/DE 交叉，致力于通过软件驱动的方法提升硬件安全验证效率。
EDA / CPU
LLM4EDA、Software-driven SLT、Processor Fuzzing
Hack@DATE 3rd / Hack@CHES 1st 顶级硬件 bug hunting 竞赛
2025与 EDA/硬件顶会 DATE、CHES 合办的竞赛 & 工坊
挖掘 & 利用 OpenTitan（工业级 RoT SoC）中专家植入的漏洞，DV/fuzz + LLM audit + RCA/exp Agent
WaveAce (DAC Poster) 面向 SoC 系统级测试的 LLM-based RCA 方法
2025–2026核心为软件语义增强的波形查看工具与动静协同的 workflow
RVEcoFuzz 处理器fuzz、评估、分析框架
2026集成多种开源 CPU 与多种 fuzzers，依靠 RV 生态软件与二进制程序分析提升覆盖率，通过代理模型实现提速，目前挖掘 5 缺陷
CPU toy projects
2022.8–12一生一芯第五期实现 Chisel 单周期 CPU；Verilog 五级流水 RV32I + M/U-mode + PLIC + AXI-Lite + SPI 低速外设，能 100MHz @ FPGA 运行
Chisel / Verilog / RISC-V / FPGA
操作系统
内核原理、用户态系统服务，略知 storage / graphics stack
大学生系统能力大赛内核设计赛道 三等奖
2023.8现代 C++（10k LoC）实现，支持进程调度、内存管理、文件系统、设备驱动，可运行 BusyBox 并通过 Glibc-test
Deepin 窗口管理器 Treeland 研发实习
2024.2–2024.6Linux 图形界面最核心组件，涉及 Qt 渲染引擎，QML 现代 UI 框架，Wayland 协议
Qt / QML / Wayland / Linux
数据库与数据工程
图数据库、知识图谱、特征工程
Datacon 2024 软件供应链安全赛道冠军
2024.12静态分析粗筛 + LLM 批量审计 + 规则库闭环，负责规则与人工审计
一种 SPARQL 图查询结果的高效表示与查询转写算法
2023–2025本科毕业设计，后续转写论文 ICDE 在投
基于知识图谱的信贷欺诈检测 @ 众邦银行
2023.9–12负责图谱构建，辅助特征工程与模型部署
Knowledge Graph / Fraud Detection / Feature Engineering
技能
熟练：RISC-V、Fuzzing、Linux、OpenSource、Graph Data Management
了解：AI Infra、Compilers、Program Analysis、CPU Arch、Agent Dev
开发技能：C++、Python、Qt/QML、TypeScript、Rust
教育
智能软件中心，工学硕士，面向 RISC-V 基础设施的软工与安全
弘毅学堂，计算机科学与技术，工学学士