李尚敖（Leonard Li / Shang'ao Li）

研究兴趣

我致力于通过符号方法与神经学习的有机结合，提升 AI 系统的推理能力。 我的研究探索形式推理、神经符号架构和交互式验证如何提升语言模型与自主智能体的可靠性与可解释性。

关键词： 自主智能体 · 强化学习与奖励建模 · ML 机理 · 形式方法 · 持续学习 · 量子计算（第二方向）

教育背景

计算机工程 博士，石溪大学（Stony Brook University）
2026 年 8 月 - 至今（入学中）

信息与计算科学 学士（计算机强基计划）
南京大学 计算机学院
2022 年 9 月 - 2026 年 6 月 · GPA: 4.60/5.00（排名 3/25）

科研经历

• 慕尼黑大学（LMU Munich） · 2025 年 11 月 - 至今
  研究实习生，导师：Dr. Yao Zhang
• 南京大学 KRistal 课题组 · 2025 年 10 月 - 至今
  研究实习生，导师：赵一铮 副教授
• 独立研究 · 2025 年 7 月 - 至今
  研究实习生，导师：Dr. Zhen Han
• UIUC ScaleML Lab · 2025 年 4 - 6 月
  研究实习生，导师：Prof. Tong Zhang
• 华为 2012 实验室 · 2025 年 7 - 9 月
  研究实习生，主管：桂剑锋
• 北卡罗来纳州立大学 QUEST Lab · 2024 年 7 - 11 月
  研究实习生，导师：Prof. Yuan Liu

主要荣誉

• 国家奖学金（全国前 0.2%），中国教育部，2025 年
• 全国一等奖（全国冠军），HITCTF 2025 网络安全竞赛
• 全国一等奖，熵密杯密码挑战赛（CACR），2025 年
• 南京大学 校级优秀学生标兵，2024-2025 年
• 基础学科特别奖学金 一等奖（两次），2023-2025 年