南大软件所 曹春 教授
报告生成时间： 2026年8月
个人主页： 公开资料未检索到其独立个人主页（教师信息见南京大学计算机软件研究所组织页 https://ics.nju.edu.cn/centers/index.html ） DBLP： https://dblp.org/pid/16/1889.html Google Scholar： 未找到可确认归属的公开页面
一、学者基本信息
曹春（Chun Cao），南京大学计算机学院教授、博士生导师，计算机软件研究所（软件新技术全国重点实验室）所务会成员、系统工程中心负责人。他与马骏、姚远、徐经纬共同负责软件所 I2Ec（Systems & Engineering） 研究小组，是软件所"网构软件—自适应软件"学术脉络（吕建院士、马晓星一系）的中坚力量。研究方向涵盖软件方法学、逻辑与软件工程、自适应软件、网构软件、云与服务计算、AIoT/边缘智能，近年扩展至神经符号系统与大语言模型系统方向。
教育与工作经历（依据公开资料）： - 博士就读于南京大学（攻读期间即在吕建、马晓星主导的网构软件课题组工作，2005年起以南京大学署名发表DBLP论文）。其博士毕业具体年份与导师未在公开主页或学院页面明确披露。 - 长期任职于南京大学计算机学院/计算机软件研究所，现 为教授、博导（南京大学计算机学院师资列表载"曹春(博导)"）。 - 现任软件所所务会成员、系统工程中心负责人（软件所组织页）；作为课题负责人承担国家重点研发计划课题（2023年公示信息）。
研究主线与代表性贡献： 1. 网构软件与环境驱动的适应性： 参与奠定南大网构软件学派的基础工作，如2008年《中国科学E辑》论文《基于Agent的网构软件环境驱动模型》（吕建、马晓星、陶先平、曹春、黄宇、余萍）；2006年《计算机学报》SCoAC等早期工作。 2. 自适应软件与情境一致性： 与马晓星、吕建等围绕情境一致性失效检测、自适应机制开展系列研究（Sci. China Inf. Sci. 2013、IST 2016等）。 3. 学习使能软件的可信性： 与许畅、马晓星等合作的DNN回归误差消减研究（ICSE 2023，不确定性对齐方法）将其自适应软件积累延伸至学习使能软件的可信性问题；近年进一步开展LLM辅助的定理证明与合成数据研究。 4. 智能软件工程与AI系统： 近年与马晓星、徐经纬、姚远等合作开展神经符号数据生成（NeurIPS 2024）、LLM定理证明、大模型微调与服务系统（NeurIPS 2022/2025、ICLR 2023）研究，并与李樾、谭添等合作指针分析（OOPSLA 2025数据库后端应用指针分析）。 5. AIoT与边缘计算： 与马骏等合作开展物联网数据持久化与实时查询（Internetware 2024 NEST）、分布式AIoT应用（APSEC 2024 Actor of Things）等研究。
二、DBLP数据统计
2.1 发表记录总览
DBLP pid为16/1889，页面共收录99条记录（截至2026年8月）。重要警示：该pid存在明显的同名混淆——其中至少9条记录（雷达/信号处理、图像加密、电池视觉检测、双旋翼MIMO控制、留学生微信使用等主题）合作者与南京大学无任何交集，可判断属于其他"Chun Cao"（含东北师范大学教育学方向同名学者等）。剔除这9条后，可归属于南大曹春的记录约90条：会议论文61篇、期刊论文28篇、软件制品数据1条，其中CoRR预印本10篇。本节后续统计均基于剔除后的90条口径。
2.2 年度产出分布（剔除同名记录后）
| 年份 | 论文数 | 年份 | 论文数 | 年份 | 论文数 |
|---|---|---|---|---|---|
| 2005 | 1 | 2012 | 6 | 2019 | 7 |
| 2006 | 2 | 2013 | 5 | 2020 | 3 |
| 2007 | 1 | 2014 | 5 | 2021 | 1 |
| 2008 | 1 | 2015 | 9 | 2022 | 2 |
| 2009 | 2 | 2016 | 6 | 2023 | 2 |
| 2010 | 1 | 2017 | 7 | 2024 | 7 |
| 2011 | 1 | 2018 | 10 | 2025 | 10 |
| — | — | — | — | 2026 | 1 |
趋势分析： 2005-2011年为博士及任职初期的低产阶段，集中于网构软件基础工作；2012-2019年为稳定高产期（年均约7条），对应情境计算、自适应软件与云测试方向；2020-2023年出现明显低谷（合计8条），与其转向智能软件工程新方向的调整期吻合；2024-2026年回升至年均8条左右，主题转向神经符号、LLM系统与AIoT，体现出典型的"方向迁移—再产出"曲线。
2.3 主要发表会议/期刊分布（非CoRR，按DBLP记载合并同名系列）
| 会议/期刊 | 论文数 | 级别 |
|---|---|---|
| APSEC | 12 | CCF-C |
| Internetware | 7 | CCF-C |
| COMPSAC | 9 | CCF-C |
| Sci. China Inf. Sci. | 4 | - |
| NeurIPS | 3 | CCF-A |
| ICSE | 5（含NIER/Companion） | CCF-A |
| ESEC/FSE | 3 | CCF-A |
| QRS | 3 | CCF-C |
| ASE | 2 | CCF-A |
| J. Syst. Softw. | 2 | CCF-B |
| Inf. Softw. Technol. | 2 | CCF-B |
| ICLR | 1 | 未分级（顶级） |
| Proc. ACM Program. Lang.（OOPSLA） | 1 | CCF-A |
| Proc. ACM Softw. Eng.（FSE） | 1 | CCF-A |
| ECOOP | 1 | CCF-B |
| 计算机科学 | 2 | 中文期刊 |
| 其他（SOSE、ICSME、ICSE NIER等） | 约25 | - |
分布特征鲜明：中等强度会议（APSEC/Internetware/COMPSAC/QRS）构成发表主体，软件工程三大顶会（ICSE/FSE/ASE）合计约10条，2019年后NeurIPS/ICLR等AI顶会论文开始出现（与其神经符号/LLM新方向相关，多与徐经纬、姚远等共同署名）。这与其"体系性研究+渐进产出"的风格及研究主题从传统软工向智能软件的迁移一致。
2.4 合作者网络总览
按90条有效记录统计（合并DBLP中吕建的多种署名变体Jian Lu/Lü/Lv及徐经纬的两种变体），共约133位唯一合作者。网络呈"软件所双核（马晓星、吕建）—同事层（许畅等）—青年梯队（徐经纬、姚远、马骏）—学生群"的结构：马晓星以57次合作绝对领先，覆盖其学术生涯全部阶段；吕建（44次）体现网构软件学派的师承与团队纽带；许畅（35次）是自适应/测试方向最主要的平级合作者。
2.5 核心合作者（Top 25，按DBLP合作频次降序）
| 排名 | 合作者（DBLP名） | 合作次数 | 合作年份 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | Xiaoxing Ma（马晓星） | 58 | 2007-2025 | 软件所所长、计算机学院院长，网构软件课题组长，最稳定的直接合作者 |
| 2 | Jian Lü（吕建） | 44 | 2005-2024 | 中科院院士、软件所首席科学家，学派带头人（署名变体已合并） |
| 3 | Chang Xu（许畅） | 35 | 2011-2025 | 软件所教授、长江学者，自适应/测试方向核心平级合作者 |
| 4 | Jingwei Xu（徐经纬） | 17 | 2019-2026 | 软件所准聘助理教授，I2Ec共同负责人，青年梯队核心 |
| 5 | Ping Yu（余萍） | 12 | 2008-2019 | 软件所副教授，网构软件课题组早期成员 |
| 6 | Zenan Li（李泽南） | 11 | 2019-2024 | 博士生（神经符号方向），已毕业 |
| 7 | Tianxiao Gu（顾天晓） | 9 | 2012-2019 | 博士生（自适应软件），现为TikTok软件工程师（曾任阿里巴巴美国高级工程师） |
| 8 | Yanyan Jiang（蒋炎岩） | 8 | 2014-2021 | 南大iSE实验室教师（另有独立PI报告），动态分析方向合作者 |
| 9 | Yuan Yao（姚远） | 7 | 2019-2024 | 软件所副教授，I2Ec共同负责人 |
| 10 | Shing-Chi Cheung（张成志） | 6 | 2012-2016 | 香港科技大学教授，情境一致性方向国际合作伙伴 |
| 11 | Jun Ma（马骏） | 5 | 2014-2025 | 软件所副教授，I2Ec共同负责人 |
| 12 | Taolue Chen（陈陶略） | 4 | 2023-2025 | 伦敦大学伯贝克学院教授，神经符号/LLM方向合作者 |
| 13 | XianPing Tao（陶先平） | 4 | 2008-2015 | 软件所教授，前沿交叉中心负责人 |
| 14 | Ziling Lu | 4 | 2015-2016 | 合作研究者 |
| 15 | Linghao Zhang | 4 | 2012-2014 | 合作研究者 |
| 16 | Junyu Lai（赖俊宇） | 3 | 2024-2026 | 青年合作者（LLM定理证明方向） |
| 17 | Yuchen Zhang（张宇辰） | 3 | 2025 | 学生/青年成员（LLM系统方向） |
| 18 | Yanxiang Tong（童彦翔） | 3 | 2018-2024 | 武汉大学副教授，自适应监控方向合作者 |
| 19 | Hao Hu（胡昊） | 3 | 2013-2018 | 软件所副教授 |
| 20 | Jing Deng | 3 | 2017-2019 | 合作研究者 |
| 21 | Hongjun Ge | 3 | 2017-2018 | 合作研究者 |
| 22 | Wenhua Yang | 3 | 2013-2018 | 合作研究者 |
| 23 | Yepang Liu（刘烨庞） | 3 | 2013-2017 | 南方科技大学教授，情境感知方向合作者 |
| 24 | Wang Xi（王熙） | 3 | 2014-2016 | 香港科技大学合作者 |
| 25 | Feng Xu（徐锋） | 3 | 2006-2015 | 软件所教授 |
三、博士教育背景与导师追溯
3.1 南京大学博士阶段（年份未公开）
曹春的博士教育在南京大学完成。公开资料未披露其博士毕业年份与正式导师姓名，本报告不作推测；但从其DBLP首篇记录（2005年）起即与吕建、马晓星联合署名（如2006年《计算机学报》SCoAC、2008年《中国科学E辑》网构软件环境驱动模型），可确认其学术训练完全嵌入吕建—马晓星主导的网构软件课题组。从合作谱系看，其角色相当于该课题组自主培养、毕业后留校成为团队骨干的"内生型"教师。
3.2 学术谱系定位
徐家福（软件所创始人）／郑国梁（SEG创始人）
└─ 吕建（中科院院士，软件自动化→网构软件学派带头人）
└─ 马晓星（国家杰青，DSE动态软件演化小组负责人）
└─ 曹春（软件所教授，系统工程中心/I2Ec负责人）
├─ 顾天晓（博士，后进入工业界：阿里巴巴美国、TikTok）
├─ 李泽南（博士，神经符号方向）
└─ 张宇辰、赖俊宇等（LLM系统方向青年梯队）
需要说明：上述链条中曹春与马晓星之间是"同课题组长期合作+梯队传承"关系，非严格意义上的直系师徒文书证据；但57次合作的密度、以及其对马晓星—吕建研究主题的全面承接，使其在学术谱系功能上等同于该学派的第二代传承节点。
3.3 与上游导师网络的关系
| 上游节点 | 与曹春的关系 | DBLP直接合作 | 合作特征 |
|---|---|---|---|
| 马晓星 | 课题组长期带头人/所务会同僚 | 57次（2007-2025） | 网构软件、自适应软件、神经符号、AI系统全程合作 |
| 吕建 | 学派带头人、院士 | 44次（2005-2024） | 网构软件基础工作、973项目体系 |
| 陶先平 | 软件所资深教授 | 4次（2008-2015） | 早期Agent与网构软件研究 |
| 许畅 | 平级核心合作者 | 35次（2011-2025） | 自适应软件、缺陷定位、AI for SE |
四、团队合作网络
4.1 教师与导师同事层（软件所/计算机学院）
| 教师 | 合作次数 | 合作年份 | 角色 | 主要交集 |
|---|---|---|---|---|
| 马晓星 | 58 | 2007-2025 | 课题组带头人、所长 | 网构软件、自适应、神经符号 |
| 吕建 | 44 | 2005-2024 | 学派首席科学家 | 网构软件、项目体系 |
| 许畅 | 35 | 2011-2025 | 软件所教授 | 自适应软件、学习使能软件可信性 |
| 徐经纬 | 17 | 2019-2026 | I2Ec共同负责人 | LLM系统、神经符号、数据加载 |
| 余萍 | 12 | 2008-2019 | 软件所副教授 | 网构软件早期成员 |
| 姚远 | 7 | 2019-2024 | I2Ec共同负责人 | 不确定性对齐、DNN回归 |
| 马骏 | 5 | 2014-2025 | I2Ec共同负责人 | AIoT、安卓应用分析 |
| 蒋炎岩 | 8 | 2014-2021 | iSE实验室教师 | 动态分析、跨-context缺陷检测（另有独立PI报告） |
| 胡昊 | 3 | 2013-2018 | 软件所副教授 | 软件测试方向 |
| 陶先平 | 4 | 2008-2015 | 前沿交叉中心负责人 | 早期网构软件研究 |
| 李樾/谭添 | 2 | 2025 | PASCAL小组负责人 | OOPSLA 2025指针分析（另有独立报告） |
| 黄宇 | （早期署名） | 2008 | DisAlg小组负责人 | 2008年网构软件论文共同作者（另有独立PI报告） |
团队组织特征： 曹春是软件所"组织化运作"的代表人物：软件所组织页明确其担任所务会成员与系统工程中心负责人，I2Ec小组由其与马骏、姚远、徐经纬四人共同负责。这使其网络呈现"行政+学术"双重中心性——既承接吕建、马晓星的上游学派资源，又向徐经纬、姚远等青年教师和李樾（PASCAL）等其他小组输出合作。
4.2 学生与青年成员层
可从长期合作与主题承接近似识别的学生/青年梯队（仅论文署名不能确认师生关系，以下以研究主题连续性和合作密度为据，个别成员身份待核）：
| 成员 | 合作次数 | 合作年份 | 方向/代表性交集 |
|---|---|---|---|
| 顾天晓 | 9 | 2012-2019 | 自适应软件中间件（Argus等），现为TikTok软件工程师 |
| 李泽南 | 11 | 2019-2024 | 神经符号数据生成（NeurIPS 2024）、软符号接地（ICLR 2023） |
| 张宇辰 | 3 | 2025 | Loquetier多LoRA框架（NeurIPS 2025）、长上下文注意力 |
| 赖俊宇 | 3 | 2024-2026 | LLM定理证明、合成数据生成 |
| 秦逸 | 4 | 2019-2026 | 控制式自适应系统主动监控（现任软件所助理研究员） |
| 张茂润 | - | 2023 | DNN回归误差消减（ICSE 2023） |
| 任天骐 | - | 2024 | Actor of Things分布式AIoT（APSEC 2024） |
4.3 人才培养
曹春作为博导长期参与软件所研究生培养。其学生梯队呈现清晰的方向代际：顾天晓一代（2012-2019）承接自适应软件与中间件后转入工业界；李泽南一代（2019-2024）转向神经符号与AI系统；张宇辰、赖俊宇等（2024-）进入LLM系统与定理证明方向。产业去向以头部工程企业为主（顾天晓→TikTok），具体细节公开资料未系统性披露。
五、业界合作关系深度分析
曹春论文网络中可明确归因于企业主体的合作证据较少，以下为可识别线索：
- 产业方向的系统与AI研究： 2025年其团队发表长上下文注意力基准（Long-Context Attention Benchmark）、Adamas稀疏注意力、Loquetier多LoRA服务等研究（arXiv预印本，合作者Tao Bu、Qiangang Wang、Bowen Zeng、Hanwen Sun、Yunpeng Huang等），主题与大模型产业基础设施高度相关；但这些合作者的企业归属未在公开论文页面披露，不能确认为特定企业合作。
- 工程化研究传统： 其系统工程中心定位与"软件新技术"国家任务导向（973/863/重点研发计划体系，见吕建、马晓星承担的项目谱系）意味着大量面向国家与行业需求的系统研制工作，但这些多为纵向课题，具体企业合作方公开资料未披露。
- 跨机构学术合作而非产业合作构成其主要外部网络： 香港科技大学张成志（6次）、南科大刘烨庞（3次）、武汉大学童彦翔（3次）、伯贝克学院陈陶略（4次）等属于学术合作通道。
结论： 与蒋炎岩、黄宇等以开源社区和企业课程闻名的同事不同，曹春的公开网络以学术与体系内合作为主，业界合作的具体合同、项目与企业主体公开资料未披露。
六、Connection圈层总结
第一圈层——网构软件学派核心： 马晓星（57次）与吕建（44次）构成其网络的绝对中心，覆盖其2005年以来几乎全部主要工作。曹春是该学派从网构软件基础理论（2005-2011）到情境自适应（2012-2019）再到智能软件与LLM系统（2020-）三期演进的全过程参与者，堪称软件所"内生培养—留校骨干—中心负责人"的典型节点。
第二圈层——软件所同事网络： 许畅（35次）、余萍（12次）、陶先平、徐锋、胡昊等构成平级同事层；蒋炎岩（8次）与黄宇（2008年早期网构论文）为跨小组合作者，二人均另有独立PI报告。曹春以所务会成员身份连接DSE、基础研究中心、前沿交叉中心等各小组。
第三圈层——I2Ec青年梯队： 徐经纬（17次）、姚远（7次）、马骏（5次）与其共同负责I2Ec小组，是2024-2026年产出的主要引擎；李樾、谭添（PASCAL小组）通过OOPSLA 2025指针分析论文与其建立直接连接，显示软件所内部"系统组—程序分析组"的交叉。
第四圈层——学生与代际传承： 顾天晓（TikTok）、李泽南、秦逸（软件所助理研究员）、张宇辰、赖俊宇等构成三代学生梯队，方向从自适应中间件延续至神经符号与LLM系统，实现学派的代际再生产。
第五圈层——外部学术合作： 港科大（张成志、王熙）、南科大（刘烨庞）、武大（童彦翔）、伯贝克（陈陶略）等构成学术合作外圈；业界合作公开证据有限。
产出规模与发展阶段： 约90条有效DBLP记录、133位合作者的网络以"体系内深度绑定"为特征。2024-2026年的回升期显示其在LLM系统与智能软件工程新方向上已完成重新布局；作为软件所行政与学术双中心，其网络价值更多体现在软件所整体协作生态的组织枢纽位置。
七、数据来源与局限性说明
本报告主数据来自DBLP作者记录（pid: 16/1889），并结合以下公开信息源：
- 南京大学计算机软件研究所组织页（https://ics.nju.edu.cn/centers/index.html ，所务会、I2Ec小组、职务信息）
- 南京大学计算机学院师资列表（博导身份）
- DBLP作者搜索API及作者XML记录（发表统计、合作者统计）
- 软件新技术全国重点实验室网站（主要学术带头人、2023年国家重点研发计划课题公示）
- 论文页面（ICSE 2023、OOPSLA 2025、NeurIPS 2024、ICLR 2023等署名信息）
局限性说明：
- DBLP同名混淆严重（本报告最大风险点）： pid 16/1889中混入至少9条属于其他"Chun Cao"的记录（雷达信号处理、图像加密、电池检测、教育学等主题，合作者与南大无关，含东北师范大学同名教育学学者）。本报告已按合作者集合人工剔除，剔除口径为"无任何南大合作者且主题明显无关"，但边界情形（如2017年SOSE云工作空间论文）归属存疑，统计数字可能仍有±2条误差。
- 博士背景未公开： 其博士毕业年份、导师姓名在公开主页、学院页面均未披露，报告仅依据合作谱系描述其学术训练归属，未作冒名推断。
- 学生身份依据不足： "学生与青年成员层"部分成员身份系由长期合作与主题传承推断（除顾天晓、秦逸等有公开履历佐证者外），仅凭论文署名不能确认师生关系。
- 署名变体合并： 吕建在DBLP中有Jian Lu/Lü/Lv三种署名（合计44次）、徐经纬有两种（合计17次），统计已合并，但DBLP原始页面未合并。
- 业界合作边界： 未发现可确认的企业合作公开证据，相关段落均标注"公开资料未披露"，不作推断。
- 职称信息时效性： 职务信息以软件所组织页为准（2026年前后快照），后续人事变动未跟踪。