南大计算机学院（原清单归入智科院，经核实编制在计算机学院） 王轲 教授
报告生成时间： 2026年8月
南京大学官方页面： https://cs.nju.edu.cn/a0/2b/c56396a761899/page.htm DBLP： https://dblp.org/pid/181/2613-22.html（原pid已并入消歧体系，作者名"Ke Wang 0022"；注意DBLP存在数十个同名作者，本报告已按机构/方向锁定） Google Scholar： https://scholar.google.com/citations?user=KIe98hIAAAAJ&hl=en
归属核实说明： 王轲现任南京大学计算机学院教授（长聘教授、博导，官方页面位于 cs.nju.edu.cn）。在本次调研中，智能科学与技术学院（苏州校区）官网师资系统（is.nju.edu.cn，含83名教师/科研/行政人员）未收录王轲。第三方汇总文章曾将其列入苏州校区相关名单，但一手来源均指向计算机学院。本报告按实际情况标注，因用户调研需求仍单独立档，特此说明。
一、学者基本信息
王轲（Ke Wang），南京大学计算机学院教授、博士生导师。2025年入选第二十一批国家级引才计划领军人才项目；2024年获批国家自然科学基金优秀青年科学基金项目（海外）；自2024年初起在美国斯坦福大学计算机系担任访问教授。入职南大前长期在工业界研究院任职：曾供职于西门子美国与中国研究院、微软研究院（Redmond）、Visa研究院及Meta（原Facebook），担任 Research Scientist、Director of Research 等职务。研究方向涵盖编程语言（PL）、形式化方法与人工智能的交叉，核心议题包括程序分析与软件可靠性、AI驱动的程序语义表示与求解、以及利用形式化方法解释与加固AI模型。其成果获OOPSLA 2020杰出论文奖（Distinguished Paper Award，编程语言顶级会议），并多次在机器学习旗舰会议及其研讨会（NeurIPS 2022、ICML 2025 PRAL、NeurIPS 2025 DL4Code、ICLR 2026 VerifAI-2）获得口头报告席位。
教育与工业经历： - 硕士毕业于英国帝国理工学院。 - 博士毕业于美国加州大学戴维斯分校（UC Davis），师从 Zhendong Su（苏振东）教授；攻读博士期间多次获计算机系最佳博士生荣誉提名。 - 曾供职于西门子美国与中国研究院、微软研究院Redmond、Visa研究院、Meta，任 Research Scientist / Director of Research。 - 2024年初起，美国斯坦福大学计算机系访问教授（与 Alex Aiken 教授团队工作，见DBLP合作记录）。 - 现任南京大学计算机学院教授、博导（国家级引才计划领军人才）。
研究主线与代表性贡献： 1. 程序语义的机器学习表示： PLDI 2020《Blended, precise semantic program embeddings》（OOPSLA 2020姊妹篇GINN，图区间神经网络）开创以神经网络学习程序语义表征的路线；PLDI 2018《Search, align, and repair》将数据驱动反馈生成用于编程教学。 2. AI×形式化方法双向融合： 一方面用AI求解程序语义（PLDI 2025浮点约束连续优化求解、PACMPL 2025代码模型可解释性），另一方面用形式化方法加固AI（NeurIPS 2022关系对手鲁棒学习、IEEE S&P 2021 ARBITRAR API误用检测）。 3. LLM时代的程序分析与编译优化： 2024-2025年集中产出 EquiBench、SATBench、CodeARC、InvBench、VeriCoder、Astra、Mapple 等，将大模型引入代码推理评测、程序合成、GPU核函数优化与并行程序生成（ICML 2025口头报告）。 4. 教育与社会影响： 在微软研究院Redmond兼职期间，将其主导的程序修复技术整合进在线教育平台edX的微软编程课程，惠及数万编程学习者，获微软官方报道。
二、DBLP数据统计
2.1 发表记录总览
DBLP作者名Ke Wang 0022（pid: 181/2613-22，该pid页面近期返回410，系DBLP消歧编号体系调整所致，检索API中仍以"Ke Wang 0022"归并），共匹配44条发表记录（截至2026年8月）：其中CoRR/arXiv预印本22篇，非CoRR正式记录22篇。注意："Ke Wang"在DBLP中有40余个消歧条目（同名学者分布于Simon Fraser、HKUST、Intel、国内多所高校等），本节统计经过逐条按机构/方向/合作者身份过滤，剔除其他同名者记录。
2.2 年度产出分布
| 年份 | 论文数 | 年份 | 论文数 | 年份 | 论文数 |
|---|---|---|---|---|---|
| 2015 | 2 | 2020 | 4 | 2024 | 4 |
| 2016 | 1 | 2021 | 3 | 2025 | 12 |
| 2017 | 4 | 2022 | 1 | 2026 | 1 |
| 2018 | 2 | 2023 | 5 | — | — |
| 2019 | 5 | — | — | — | — |
趋势分析： 2015-2016年的IJCAI论文（几何定理自动证明、瑞文推理矩阵自动生成）为其博士早期AI方向工作；2017-2020年形成"程序修复—程序语义嵌入"主线（PLDI/ICLR/OOPSLA三连）；2021-2023年产出放缓与其全职工业界任职（Visa/Meta）相符；2024年赴斯坦福访问及回国筹建团队后，2025年出现12篇的单年峰值，主题几乎全部转向LLM与程序分析结合，反映其研究范式的整体迁移。
2.3 主要发表会议/期刊分布（非CoRR）
| 会议/期刊 | 论文数 | 级别 | 备注 |
|---|---|---|---|
| Proc. ACM Program. Lang.（PACMPL，含PLDI/OOPSLA） | 6 | CCF-A | PLDI 2篇 + OOPSLA 4篇 |
| IJCAI | 3 | CCF-A | 博士早期AI工作 |
| ICLR | 2 | 未分级（顶级） | Hoppity、程序修复 |
| ACM TOSEM | 1 | CCF-A | SILVA |
| Proc. ACM Softw. Eng.（FSE/PACMSE） | 1 | CCF-A | 2026 |
| NeurIPS | 1 | CCF-A | — |
| ICML | 1 | CCF-A | — |
| EMNLP | 1 | CCF-B | — |
| ASE | 1 | CCF-A | — |
| IEEE S&P | 1 | CCF-A | 安全四大 |
| Inf. Softw. Technol. | 1 | - | — |
| L@S | 1 | - | 教育会议 |
发表高度集中于编程语言与软件工程顶会顶刊：PLDI/OOPSLA（PACMPL）6篇为绝对主力，另覆盖安全（S&P）、机器学习（NeurIPS/ICML/ICLR）与软工（FSE/ASE/TOSEM），体现"PL为体、AI为用"的交叉定位。
2.4 合作者网络总览
44条记录对应79位唯一合作者。网络呈现"博士导师—乔治亚理工/南大本科合作线、工业界合作线、斯坦福访问线、回国新团队线"四段结构，与其职业轨迹逐段对应。
2.5 核心合作者（Top 15，按DBLP合作频次降序）
| 排名 | 合作者（DBLP名） | 合作次数 | 合作年份 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | Yu Wang 0093（王宇） | 11 | 2019-2026 | 南京大学教授（程序分析/机器学习），最长期学术伙伴 |
| 2 | Anjiang Wei（魏安江） | 11 | 2024-2025 | 斯坦福大学博士后（Alex Aiken组），访问期间核心合作者 |
| 3 | Alex Aiken | 11 | 2024-2025 | 斯坦福大学教授，访问教授期间合作导师 |
| 4 | Zhendong Su（苏振东） | 11 | 2015-2021 | 加州大学戴维斯分校教授（现任UC Berkeley），博士导师 |
| 5 | Linzhang Wang（王林章） | 8 | 2019-2025 | 南京大学教授（软件工程），南大本土合作纽带 |
| 6 | Fengjuan Gao（高凤娟） | 8 | 2019-2026 | 南京大学副研究员，长期合作者 |
| 7 | Tarun Suresh | 6 | 2025 | 斯坦福相关研究者 |
| 8 | Thiago S. F. X. Teixeira | 5 | 2024-2025 | 斯坦福相关研究者 |
| 9 | Rishabh Singh | 5 | 2017-2018 | 微软研究院，博士期间实习合作 |
| 10 | Huanmi Tan | 4 | 2025 | 新团队成员 |
| 11 | Hongyu Chen | 3 | 2024-2025 | 斯坦福相关研究者 |
| 12 | Mihai Christodorescu | 3 | 2019-2023 | Meta/Visa研究院同事 |
| 13 | Yuheng Wu | 3 | 2025 | 新团队成员 |
| 14 | Rohan Yadav | 3 | 2024-2025 | 斯坦福相关研究者 |
| 15 | Wonchan Lee | 3 | 2024-2025 | 斯坦福相关研究者 |
三核心结构： 博士导师苏振东（11次，2015-2021）、南大王宇（11次，2019-2026，与王轲共同署名贯穿学术界与回国后）与斯坦福Alex Aiken/魏安江（各11次，2024-2025）构成三大合作核心，分别对应其博士期、南大合作期与斯坦福访问期。
三、博士教育背景与导师追溯
3.1 加州大学戴维斯分校博士阶段
王轲于UC Davis计算机科学系攻读博士学位，导师为Zhendong Su（苏振东）教授，博士期间多次获计算机系最佳博士生荣誉提名。苏振东是程序分析与软件测试领域国际权威（PLDI/ICSE/S&P等会议常任领导者），后转任UC Berkeley教授。王轲博士阶段的代表作均与苏振东联合完成：PLDI 2018《Search, align, and repair》（与微软研究院Rishabh Singh合作）、PLDI 2020《Blended, precise semantic program embeddings》、IEEE S&P 2021 ARBITRAR、ICLR 2020 Hoppity（与Georgia Tech Mayur Naik、Le Song等合作）。
3.2 师承谱系
Zhendong Su（UC Davis教授 → UC Berkeley教授，PL/软测权威）
└─ 王轲（博士，UC Davis；西门子/微软/Visa/Meta研究院；斯坦福访问教授；南大计算机学院教授，2024/2025-）
├─ 斯坦福访问期合作：Alex Aiken、魏安江（2024-2025）
└─ 回国后团队：Huanmi Tan、Yuheng Wu等（2025-）
王轲的谱系属"美国PL学派＋工业界研究院"双轨：学术上游是苏振东（其谱系可再上溯至UIUC等程序分析传统，公开资料未详列），中游经四大企业研究院（西门子、微软、Visa、Meta）积累工业研究经验，下游正在南大组建自有团队。与南大LAMDA谱系（周志华一系）无师承交集。
3.3 与上游导师网络的关系
| 上游节点 | 关系 | DBLP直接合作 | 合作特征 |
|---|---|---|---|
| Zhendong Su | 博士导师 | 11次（2015-2021） | 程序修复、语义嵌入、API误用检测 |
| Rishabh Singh | 博士实习合作者（微软研究院） | 5次（2017-2018） | 数据驱动反馈生成（PLDI 2018） |
| Mayur Naik / Le Song | 博士期间合作者（Georgia Tech） | 各2次（2020-2021） | Hoppity图变换学习 |
| Alex Aiken | 斯坦福访问教授期间合作导师 | 11次（2024-2025） | LLM+程序分析、编译优化 |
四、南大团队与合作网络
4.1 学院同事层
| 合作者 | 合作次数 | 合作年份 | 身份 | 主要交集 |
|---|---|---|---|---|
| Yu Wang 0093（王宇） | 11 | 2019-2026 | 南大计算机学院教授 | 程序语义嵌入（GINN）、SILVA、固件二进制分析 |
| Linzhang Wang（王林章） | 8 | 2019-2025 | 南大计算机学院教授 | 程序分析、并发缺陷 |
| Fengjuan Gao（高凤娟） | 8 | 2019-2026 | 南大副研究员 | GINN、语义引导控制流重建（FSE 2026） |
| Xuandong Li（李宣东） | 2 | 2023-2026 | 南大教授、软件工程学科带头人 | FSE 2026固件分析 |
值得注意的是，早在正式入职之前（2019-2023年，王轲尚在Visa/Meta任职），其与南大王宇、王林章、高凤娟的联合发表已持续存在（GINN即诞生于此期），说明其回国任职是既有学术网络的自然延伸，而非从零建立的雇佣关系。
4.2 斯坦福访问网络（2024-2025）
2024年初起以访问教授身份在斯坦福计算机系工作，与Alex Aiken教授团队密集合作（11篇合著），产出一批LLM与程序分析/编译结合的工作：浮点约束连续优化求解（PLDI 2025）、LLM加速程序验证（InvBench）、GPU核优化多智能体系统（Astra）、并行程序DSL代码生成（ICML 2025）等。该经历使其成为连接斯坦福PL/AI研究与南大的桥梁。
4.3 工业界研究院网络（2017-2023）
| 机构 | 代表合作者 | 合作载体 |
|---|---|---|
| 微软研究院Redmond | Rishabh Singh | PLDI 2018程序修复（edX应用） |
| Visa研究院 | Mihai Christodorescu（3次） | ARBITRAR、NeurIPS 2022关系对手 |
| Meta | Mihai Christodorescu等 | 恶意软件检测、AI鲁棒性 |
4.4 人才培养的起点
王轲为博导，公开信息显示其已在南大招收研究生（Huanmi Tan、Yuheng Wu、Jiannan Cao等2025年高频合著者应为团队成员，具体身份公开资料未逐一披露，不作推断）。其Google Scholar页面为其官方指定的科研背景入口，未见独立实验室主页。
五、业界合作关系深度分析
5.1 职业轨迹：从企业研究员到"领军人才"教授
王轲是四位调研对象中工业界经历最深厚者：西门子美国与中国研究院 → 微软研究院Redmond → Visa研究院 → Meta，职位由Research Scientist至Director of Research。该经历为其2025年入选第二十一批国家级引才计划领军人才项目（高于一般青年人才层级）提供了产业研究背景支撑。
5.2 微软研究院——程序修复技术的社会化落地
博士期间与微软研究院合作（PLDI 2018），其后在微软研究院Redmond兼职期间将其主导的程序修复技术整合进在线教育平台edX的微软编程课程，为数万名学习者提供个性化代码反馈，获微软官方博客专题报道。这是其研究中可验证的最直接产业部署案例（区别于泛泛的"企业应用"表述）。
5.3 Visa/Meta研究院——安全与鲁棒AI研究
在Visa研究院和Meta期间与Mihai Christodorescu等合作，研究面向真实安全场景的API误用检测（S&P 2021）与对抗鲁棒学习（NeurIPS 2022），将形式化方法引入工业级安全分析。
5.4 斯坦福访问教授（2024-）
2024年初起的斯坦福访问教授身份属于学术合作而非产业关系，但其成果（LLM程序优化、GPU性能优化多智能体系统Astra等）与当前产业界AI基础设施优化需求高度对接，回国后有望成为南大与斯坦福及硅谷产业网络的连接节点。
5.5 产业问题与技术路线的对应关系
| 产业/应用约束 | 王轲相关技术议题 | 代表通道 |
|---|---|---|
| 编程教学规模化、反馈自动化 | 数据驱动程序修复、反馈生成 | 微软/edX部署 |
| 大型软件API误用与安全缺陷 | 静态API误用检测、恶意软件鲁棒检测 | Visa/Meta研究 |
| LLM代码生成可靠性不足 | 等价性评测（EquiBench）、归纳程序合成评测（CodeARC）、RTL验证（VeriCoder） | 斯坦福访问期 |
| 编译/并行性能优化人力成本高 | LLM优化器、DSL代码生成、GPU核多智能体优化 | ICML 2025、Astra/Mapple |
| 固件与二进制分析语义缺失 | 语义引导控制流重建 | 南大合作线（FSE 2026） |
六、Connection圈层总结
第一圈层——博士导师与南大伙伴： 苏振东（11次，2015-2021）奠定其程序分析与AI交叉的学术根基；南大王宇（11次，2019-2026）与王林章、高凤娟构成其回国前即已运行的南大合作单元，是其实际入职的"引力来源"。
第二圈层——斯坦福访问网络： Alex Aiken与魏安江（各11次，2024-2025）在访问期形成的高密度合作，使其嵌入斯坦福PL/编译/LLM研究生态，并获得ICML/PLDI等最新成果的联合产出通道。
第三圈层——工业界研究院经历： 西门子、微软、Visa、Meta四段经历既是其个人履历资产，也构成从微软edX教育部署到Visa/Meta安全分析的可验证产业落地记录；Director of Research级别职位表明其在企业内承担过研究领导职能。
第四圈层——回国新团队： 2025年起的Huanmi Tan、Yuheng Wu等成员与12篇单年产出峰值，显示其南大课题组已快速启动，方向全面聚焦LLM时代的程序分析与优化。
产出规模与发展阶段： 44条经消歧的DBLP记录、79位唯一合作者，OOPSLA 2020杰出论文奖与国家级领军人才（引才计划第二十一批）是其两大标志性认可。其核心学术定位是"以形式化方法为骨、以机器学习/LLM为翼"的编程语言学者，是南大以高职级（教授/领军）引进的PL×AI交叉方向带头人。需再次强调：其编制在计算机学院，而非苏州校区智能科学与技术学院。
七、数据来源与局限性说明
本报告主数据来自DBLP出版物检索API（以"Ke Wang 0022"作者标签过滤，44条记录），并结合以下公开信息源：
- 南京大学计算机学院官方教师页面（职务、人才项目、经历、获奖、研究方向）
- DBLP作者搜索与出版物API（年度分布、会议/期刊分布、共同作者统计）
- Google Scholar页面（官方页面指定链接）
- 微软官方博客关于edX程序修复应用的报道（经官方页面转引）
- 智能科学与技术学院官网师资查询系统（用于归属核实，83人名单中未见王轲）
局限性说明：
- 归属疑点： 一手来源一致显示王轲属计算机学院；第三方名单的分类不足为凭，本报告以一手来源为准。
- 重名消歧风险： DBLP中"Ke Wang"同名条目超过40个。本报告以"Ke Wang 0022"标签逐条过滤（44条），该标签下2015-2021年记录与其UC Davis博士经历、PLDI/S&P署名完全吻合，2024-2025年记录与斯坦福/南大经历吻合，消歧可信度高；但其pid页面近期返回410错误，DBLP可能正在重整该作者记录，个别近年论文的归属标签或有变动。
- 统计口径： 检索API按匹配度返回，可能遗漏未被正确打上"Ke Wang 0022"标签的论文（尤其是极新论文）；22条CoRR预印本与正式版本可能重复计数。
- 职级表述： 官方页面标题称"长聘教授、博导"，正文称"教授"，本报告统一表述为教授（长聘）。
- 工业界细节： 各研究院任职的起止时间、具体职级序列公开资料未完整披露；"Director of Research"等职务为官方页面自述口径。