个人简历

下载 PDF

简介 · 教育 · 研究 · 论文 · 项目 · 技能 · 荣誉 · 讲座 · 教学 · 服务

研究简介

我致力于构建融合符号结构与神经学习的推理系统。当前工作聚焦于自主智能体、强化学习与奖励建模、可微逻辑的 ML 机理、面向可靠 AI 的形式方法，以及作为第二方向的量子计算。

教育背景

石溪大学（Stony Brook University），美国纽约州石溪
计算机工程 博士
2026 年 8 月 - 至今

南京大学，中国南京
信息与计算科学 学士（计算机强基计划）
计算机学院
2022 年 9 月 - 2026 年 6 月

通过国家「强基计划」（基础学科招生改革试点）入选，是面向基础学科的精英培养路径。 信息与计算科学（计算机强基计划）由南京大学计算机学院承办，课程与标准计算机科学专业一致。

  • GPA 4.60/5.00；排名 3/25；TOEFL 101（R29/L26/S23/W23）
  • 主要课程：机器学习（95）、大模型原理与应用（92）、知识表示（96）、形式语言与自动机（94）、操作系统（91）

科研经历

微软亚洲研究院（MSRA）
研究实习生
导师：Ziyu Zhou · 2026 年 4 月 - 至今

  • 参与 AI4Math 数学研究协作平台的工作
  • 探索支持数学推理与研究协作的 AI 系统

慕尼黑大学（LMU Munich）
研究实习生
导师：Dr. Yao Zhang · 2025 年 11 月 - 至今

  • 研究基于细粒度强化学习策略的推理型 Web Agent
  • 为基于 RL 的 Web Agent 系统与垂类智能体应用设计奖励建模机制
  • 研究图像锚定推理、多模态融合、智能体 harness 的机理分析，以及面向可靠智能体的形式方法启发式世界模型

南京大学 KRistal 课题组
研究实习生
导师：赵一铮 副教授 · 2025 年 10 月 - 至今

  • 主导关于可微逻辑中模糊算子选择的实证与理论研究，面向神经符号学习
  • 分析了蕴含算子如何在不同结构 / 目标 / grounding 条件下影响梯度路由、优化行为与学习结果
  • 第一作者论文已完成；正在投稿

独立研究
研究实习生
导师：Dr. Zhen Han · 2025 年 7 月 - 至今

  • 研究面向 LLM 的推理增强奖励模型
  • 设计了结合拒绝采样、SFT 和 RL 的可扩展偏好对齐流水线
  • 主导推理引导奖励建模的实验（论文撰写中）

UIUC ScaleML Lab
研究实习生
导师：Prof. Tong Zhang · 2025 年 4 月 - 6 月

  • 构建了 Lean4/mathlib 与 LLM 的集成原型，在 MiniF2F 上做交互式定理证明
  • 设计了带状态验证与闭环精化的交互工作流
  • 实现了双向通信流水线 (LLM ↔ Lean4)

华为中央软件院 2012 实验室
研究实习生
主管：桂剑锋 · 2025 年 7 月 - 9 月

  • 共同开发用于评估 HarmonyOS 智能体推理与适应性的基准评测系统
  • 为 IntelliOS-agent 流水线做出贡献，并将 Python 依赖移植到 HarmonyOS
  • 将 HDC 调试流水线与基于 LLM 的推理模块集成

北卡罗来纳州立大学 QUEST Lab
研究实习生
导师：Prof. Yuan Liu · 2024 年 7 月 - 11 月

  • 探索面向量子机器学习的量子内存架构
  • 提出面向 ML 工作负载的优化计算架构
  • 合作撰写了一篇关于量子内存架构的论文（后由其他合作者继续推进）

南京大学 COSEC 研究组
研究助理
导师：张源 教授 & 仲盛 教授 · 2023 年 7 月 - 2024 年 12 月

  • 研究机器学习模型中的对抗性后门
  • 提出一种漏洞利用机制，并为恶意训练流水线设计攻击实验，服务于课题组在 ML 鲁棒性与可信性方面的整体工作

论文与预印本

  1. QuoteBench: How Matched Scores Can Hide Command-Path Failures

    Shangao Li, Yao Zhang, Volker Tresp, Yuanyuan Yang

    arXiv 预印本，2026 年 · arXiv:2608.13547

  2. Implication Is Architecture, Not Semantics: Gradient Routing in Differentiable Logic

    Shang'ao Li, Yizheng Zhao

    论文已完成；正在投稿，2026 年

  3. Quantum memory architectures for machine learning workloads

    共同一作稿件投稿至 ISCA 2025；后由合作者继续推进

完整论文页 →

精选项目

QuoteBench：LLM Agent 的 shell 引号能力基准 · 2026 年 7 月
Python · Bash · 执行式评测

56 个可执行验证任务的基准，跨三种传输契约区分模型自身的 shell 能力与 JSON / wrapped 工具 harness 引入的失败。已发布 arXiv 预印本，rollout 数据见 HuggingFace。

CaveBridge：面向《巨洞冒险》的 LLM 交互界面 · 2026 年 6 月
Python · LLM 意图解析 / 叙述 · Open Adventure 确定性引擎

为 1977 年《巨洞冒险》打造的自然语言前端：LLM 把中英文自由输入翻译成规范命令并叙述引擎输出，确定性内核始终是世界状态的唯一来源。

LangMatch：文言文作为 LLM 压缩提示 · 2026 年 5 月
Python · uv · OpenAI API · Transformers（Qwen）

在固定任务与模型后端下，实证探究更凝练的提示语言（文言文）能否带来更优的质量–成本前沿；结论是一种条件性、依模型而定的压缩策略。

VocoType-linux：面向 Linux 的离线中文语音输入法 · 2025 年 12 月 - 至今
Python · PyTorch · ONNX Runtime · ALSA · IBus / Fcitx5

一款高性能、完全离线的 Linux 中文语音输入法（音频采集、VAD、ASR、后处理、可视化配置）；本地运行、无云依赖，GitHub 已获 200+ star。

高斯 SPH 流体：物理一体化 3D 高斯 · 2025 年冬
C++ · CUDA · OpenGL · 3D Gaussian Splatting · DFSPH

共同设计仿真-渲染一体化流水线：用无散度 SPH 求解器推进 3D 高斯并直接渲染，实现均匀内部填充与基于 SPH 梯度的协方差更新。

数据稀缺下的医疗 AI 迁移学习优化 · 2025 年夏
PyTorch · ViT-B/16 · Masked Autoencoder · AdamW · AMP

基于 ISIC 皮肤镜数据集，构建以自监督 MAE 为主干的皮肤病变分类器，采用两阶段微调、类不平衡处理与事后决策校准。

移动机器人位姿估计 · 2025 年 3 - 4 月
Python · PCL · ROS

为机器人操作实现基于点云的定位模块，包含统计离群点剔除、体素降采样与基于 ICP 的位姿精化。

系统与 ML 基础项目
C++17 · Linux 内核实验 · Vue / Spring Boot · LLaMA · 向量数据库

用 C++ 实现 PyTorch 风格的反向模式 autograd 引擎与神经网络库；完成 NJUOS / MIT xv6 的调度、内存与文件系统实验；构建全栈检索增强问答 / 摘要系统。

技能

  • 编程： C/C++、Python（主力）；Rust、Java、C#、Lean4、Lua
  • ML/AI： PyTorch、HuggingFace、FSDP、DeepSpeed、Lean4/mathlib
  • 系统： Linux（Arch、Fedora）、HPC 集群与分布式训练环境
  • 语言： 中文（母语）、英语（流利，TOEFL 101）、日语（中级，N4，可对话与阅读）、德语（初级，可对话）

荣誉与奖励

  • 国家奖学金，中国教育部（2025）— 全国前 0.2% 学生
  • 全国一等奖（全国冠军），HITCTF 2025（安天杯）— 全国第 1 名（2025）
  • 全国一等奖，熵密杯密码挑战赛，中国密码学会（CACR）（2025）
  • 南京大学 校级优秀学生标兵（2024-2025）
  • 全国三等奖（决赛），全国大学生信息安全竞赛（CISCN）（2025）
  • 半决赛一等奖，全国软件系统安全挑战赛（2025）
  • 全国三等奖，中国研究生网络安全创新大赛（2024）
  • 南京大学 校级优秀学生（2023-2024）
  • 基础学科特别奖学金 一等奖（两次）（2023-2025）
  • 人民奖学金（两次）（2023-2025）
  • 省级奖项，中国大学生计算机设计大赛（2023）
  • 新生学院 院级优秀学生，南京大学（2022-2023）
  • 开甲书院 优秀部员，南京大学（2022-2023）

特邀讲座

  • 用 GRPO 做强化学习：从 PPO 到组相对策略优化，NJU AIA，2026 年
  • 从零用 NumPy 搭建神经网络，NJU AIA，2025 年
  • 从零用 NumPy 搭建神经网络，NJU AIA，2023 年

教学经历

客座讲席：

  • Lean4 与交互式定理证明 · 离散数学，南京大学 · 2026 年 1 月
  • 网络安全与攻防技术，南京大学 · 2025 年 12 月

助教：

  • 人工智能导论，南京大学（陶烨 高级讲师）· 2026 年春
  • 密码学，南京大学（张源 教授）· 2024-2025 年
  • 信息与计算科学导论，南京大学（仲盛 教授）· 2023-2024 年
  • 离散数学，南京大学（仲盛 教授）· 2023-2024 年

协助批改作业与考试、考试准备、组织每周习题课、为学生提供答疑支持。

领导与服务

  • 创始人兼会长，南京大学人工智能学社（AIA）（2023-2025 年）— 2024 年由原校内人工智能协会合并组建，以江苏省人工智能学会南大支会为前身
  • 共同创建，江苏省人工智能学会（JSAI）南京大学支会（2023 年）
  • 主席，南京大学 计算机学院 学生会（2024-2025 年）
  • 主席，南京大学 开甲书院 团学联学生会（2023-2024 年）
  • 科创部部长，南京大学 计算机系 学生会（2023-2024 年）
  • 队长，南京大学 Trinity CTF 战队（2024-2026 年）
  • 会长，南京大学 幻影魔术协会（2023-2024 年）
  • 学习委员，南京大学 信息与计算科学专业（2022-2026 年）