南京大学蒋炎岩独立PI组 — 团队索引

报告生成时间：2026年8月20日

团队简介

蒋炎岩，南京大学计算机科学与技术系准聘副教授、博士生导师，国家级青年人才，以独立PI方式带学生和开展研究。他于南京大学计算机软件研究所获得博士学位（2013级），博士论文《并发程序共享内存访问依赖研究》获2018年度CCF优秀博士学位论文奖。蒋炎岩已公开声明从计算机软件研究所原有团队结构中独立出来，以独立PI身份运行自己的研究组。其当前自述研究兴趣为构建驱动测试时扩展的智能体AI系统（agentic AI systems that power test-time scaling），研究方向涵盖并发程序分析、编译器测试与验证、操作系统、程序合成、JIT编译器验证、Android系统，并在近年延伸至AI驱动的软件工程。

蒋炎岩团队在系统软件与软件自动化领域产出了多项标志性成果，包括SOSP 2023最佳论文奖、ICSE 2021 ACM European Best Paper Award与SIGSOFT Distinguished Paper Award、ASE 2018 ACM SIGSOFT Distinguished Paper Award等五次CCF-A类会议论文奖。其代表性工作"Validating JIT Compilers via Compilation Space Exploration"在HotSpot、OpenJ9和Android Runtime三个生产级JVM中发现并上报85个缺陷，其中53个已被确认或修复，获得了工业界的正式感谢。在教学方面，蒋炎岩从零建设了南京大学《操作系统：设计与实现》课程，课程录像在B站播放量超过500万次，获南京大学"我最喜爱的老师"荣誉并入选中国高校计算机专业教师奖励计划。

蒋炎岩同时具有广泛的社会影响力。他是ICPC World Finalist，长期参与青少年信息学奥林匹克竞赛的组织与技术工作，担任ChinaSys'25程序委员会主席，并任SOSP、EuroSys、ASE等顶级会议程序委员会委员。其个人主页标注身份为"Tech Lead · Cosmic Dawn AI"，探索AI驱动的教育与科研变革，但该项目的具体业务信息在公开来源中尚未披露。

报告文件列表

文件名	内容概要
nju_jiangyanyan_network.md	蒋炎岩学者完整网络报告，涵盖基本信息、教育背景与职业履历、学生培养情况、学术合作网络、业界合作关系、重要奖项与学术兼职、Connection圈层总结共七个章节

研究方向与圈层结构概述

蒋炎岩的研究方向以系统软件和软件自动化为核心，具体涵盖并发程序分析、编译器测试与验证、操作系统、JIT编译器验证、程序合成、Android系统，近年延伸至AI驱动的软件工程（如利用大语言模型辅助编译器优化与模糊测试）以及智能体AI系统的构建。

蒋炎岩的学术关系网络呈现从南京大学计算机软件研究所出发、逐步向独立PI演进的轨迹，可划分为以下圈层：

第一圈层（核心合作与指导关系）：许畅教授（南京大学软件所）是最紧密的学术合作者，二人多次合作标志性成果并共同指导博士生；苏振东教授（ETH Zurich）是最重要的国际合作伙伴，通过李聪的博士后研究将两个团队紧密连接；吕建院士作为蒋炎岩的博士导师（CCF官方认定），在其学术根基塑造中发挥奠基作用。需说明，许畅和吕建均为软件所同事与合作者，不列入蒋炎岩独立PI团队成员。
第二圈层（软件所同事与合作者）：马晓星、黄宇、曹春、陶先平、余萍等软件所同事构成学术工作环境，蒋炎岩已公开声明独立，这些同事属合作关系而非团队成员。赵泽林、孟占帅、陈冬杰、沈宇桔等与蒋炎岩存在论文合作的软件所学生处于此圈层。
第三圈层（学生与新生代）：李聪是唯一经官方公示确认由蒋炎岩（与许畅）指导的博士生，以SOSP'23最佳论文成为团队学术产出标杆；欧先飞、刘含之等近年论文合作者构成新生代力量。此外，陈冬杰、欧先飞、沈宇桔、刘含之等人与蒋炎岩存在论文合作，但其师生关系公开资料未证实，故仅列为论文合作者。
第四圈层（跨机构与国际网络）：以苏振东教授和ETH Zurich AST Lab为核心的国际合作节点，以蚂蚁集团（李聪毕业后加入"星计划"）为代表的产业衔接节点，以及Shing-Chi Cheung（香港科技大学）等国际学者构成的学术交流网络。蒋炎岩的互联网影响力（知乎"绿导师"、B站课程播放量超500万）构建了超越传统学术圈的公共影响力网络。

产业转化亮点

蒋炎岩团队的产业影响力以学术研究对生产级开源软件的实际贡献为特色。SOSP'23最佳论文工作在HotSpot、OpenJ9和Android Runtime三个广泛使用的生产级JVM中发现并上报85个缺陷，其中53个已被确认或修复，作者团队收到来自HotSpot和OpenJ9开发者的感谢信。李聪开发的开源JIT编译器验证工具Artemis已在GitHub公开发布，可供产业界自由使用。

在创业方向上，蒋炎岩个人主页标注身份为"Tech Lead · Cosmic Dawn AI"，并提出了"Content as Code""氛围学习""Small Explanation Hypothesis""Auto Research"等概念，探索AI技术重塑教育和科研方法。但Cosmic Dawn AI的具体产品形态、商业模式和团队构成在公开来源中尚未披露，目前更多属于愿景表达和思想实验。此外，团队成员毕业后进入蚂蚁集团等企业，属个人职业选择而非实验室层面的正式产学研合作。