南大软件所 马晓星 教授 学术关系网络报告
报告生成时间：2026年8月
关键链接
- 个人主页：无独立个人主页；机构页面见 南京大学计算机学院教师页（博导介绍）、计算机软件新技术全国重点实验室
- DBLP：https://dblp.org/pid/67/3058.html（作者名：Xiaoxing Ma；注意与 Xiao-Xing Ma，pid 381/6188，仅有1条记录，非同一人）
- Google Scholar：未发现其本人公开认领的主页，公开资料未披露
一、学者基本信息
| 项目 | 内容 |
|---|---|
| 姓名 | 马晓星（Xiaoxing Ma） |
| 出生 | 1975年8月 |
| 现职 | 南京大学计算机学院院长（2024年10月接替升任副校长的周志华出任）；教授、博士生导师 |
| 曾任行政职务 | 南京大学计算机科学与技术系副主任；计算机学院副院长；计算机软件研究所副所长 |
| 人才称号 | 国家杰出青年科学基金获得者（2020年度，项目期2021—2025）；教育部新世纪优秀人才（2007）；江苏省"333工程"第二层次（2013） |
| 主要研究方向 | 网构软件（Internetware）、自适应软件系统、软件在线演化、人机物融合软件系统；近年拓展至神经符号AI与LLM+形式推理 |
| 主要学术服务 | CCF软件工程专委会主任（候任，2024年前后接替李宣东）；ICSE'10 Education Track、SEAMS'12—'14/'16等程序委员；Internetware 2015程序委员会主席；《软件学报》责任编委 |
| 主要奖项 | 国家科技进步二等奖2项（2006年度/第二完成人，2011年度/第四完成人）；教育部（科技进步/技术发明）一等奖2项（2004年度/第三完成人，2010年度/第二完成人）；中创软件人才奖（2009）；东软-NASAC青年软件创新奖（2015） |
马晓星是吕建"网构软件"学术纲领的第一代实践者与当前继承人。1993年入学南京大学计算机系，本硕博（1997/2000/2003）均获自南大，此后留校任教至今，是"土生土长"的南大软件所谱系代表。其学术主线从中间件/移动计算（2000年代）演进到自适应软件与在线演化（Artemis、Javelus等平台），再到人机物融合软件系统与近年来的神经符号智能（NeSy）方向。2024年10月起担任计算机学院院长，成为南大计算机学科现任行政负责人；2026年6月以院长身份出席华为南京研究所开源活动并致辞，显示其产业连接的活跃度。
二、DBLP数据统计
数据来源：DBLP 作者页 pid 67/3058，统计该 pid 下全部条目，抓取时间2026年8月。
2.1 发表总览
- 总记录数：232 条（2000—2026）
- 记录类型：期刊文章 108、会议论文 124
- 合作作者总数（去重）：290 人
- 特征：2000年（博士在读期间）起与吕建联合署名，开启"网构软件团队骨干"的署名模式；2012年后进入稳定高产期，2023—2026年（任院长前后）合计76条，占总量约33%，为其学术产出最旺盛阶段，主要由神经符号与大模型软件工程两条新线拉动。ICSE/FSE/ASE/TSE/TPDS/TSC等软工核心阵地与NeurIPS/ICLR等AI顶会兼收，是"软工×AI"交叉布局的典型署名画像。
2.2 年度分布（全量）
| 年份 | 记录数 | 年份 | 记录数 | 年份 | 记录数 | 年份 | 记录数 |
|---|---|---|---|---|---|---|---|
| 2000 | 1 | 2007 | 4 | 2014 | 10 | 2021 | 12 |
| 2002 | 2 | 2008 | 3 | 2015 | 6 | 2022 | 12 |
| 2003 | 2 | 2009 | 7 | 2016 | 15 | 2023 | 16 |
| 2004 | 0 | 2010 | 2 | 2017 | 12 | 2024 | 22 |
| 2005 | 1 | 2011 | 4 | 2018 | 13 | 2025 | 22 |
| 2006 | 1 | 2012 | 11 | 2019 | 15 | 2026（至8月） | 16 |
| — | — | 2013 | 14 | 2020 | 9 | — | — |
（2004年无记录。）阶段性特征：
- 2000—2011（博士与团队成长期）：年产出1—7条，以中间件、移动计算、早期网构软件为主，与吕建、陶先平共署为主；
- 2012—2019（自适应软件期）：年产出10—15条，自适应软件、在线演化（Javelus/Artemis平台）与普适计算，许畅、曹春、黄宇、蒋炎岩等骨干入场；
- 2020—2026（神经符号新高峰期）：院长任内不降反升，2023—2026年合计76条（占总量约33%），由NeSy/LLM线（李泽南、陈陶略等）与自适应线双轮驱动，NeurIPS/ICLR成为新阵地。
2.3 会议期刊分布（Top，标注CCF等级）
| 会议/期刊 | 记录数 | CCF等级 | 说明 |
|---|---|---|---|
| CoRR | 48 | 未分级 | arXiv预印本（大量NeSy/LLM线预印） |
| Internetware | 23 | C | 网构软件国际会议（其本体系列，曾任Internetware'15 PC主席） |
| ASE | 11 | A | 自动化软件工程 |
| ICSE | 12 | A | 软件工程旗舰（含Companion Volume） |
| APSEC | 12 | C | — |
| IEEE TSE | 7 | A | — |
| J. Comput. Sci. Technol. | 6 | B | — |
| QRS | 6 | C | 质量、可靠性与安全 |
| Proc. ACM Program. Lang. | 4 | A | — |
| NeurIPS | 4 | A | 神经符号线（2023—2024） |
| J. Syst. Softw. | 4 | B | — |
| ESEC/SIGSOFT FSE | 7 | A | 含SIGSOFT FSE前身 |
| IEEE TPDS | 4 | A | — |
| Sci. China Inf. Sci. | 7 | 未分级（国内一级学报） | 《中国科学》系列 |
| ICLR | 3 | 未分级（公认顶级） | 神经符号线（2023两篇、2025一篇） |
| IEEE TSC | 3 | C | 服务计算 |
| Empir. Softw. Eng. | 2 | B | — |
| EuroSys | 2 | B | 操作系统/系统方向 |
| USENIX ATC | 1 | A | — |
| KDD | 1 | A | — |
| IJCAI | 1 | A | — |
| COMPSAC | 8 | C | 含COMPSAC(1)系列 |
| Frontiers Comput. Sci. | 3 | B | — |
| PerCom / ICWS / SCC | 各2 | B/C/C | 普适与服务计算 |
| ACM TAAS | 1 | B | 自适应系统专刊 |
| SETTA | 1 | C | 软件理论与形式化方法 |
从阵地结构看，马晓星的发表网络以软件工程主线（ICSE/FSE/ASE/TSE）为干、以NeurIPS/ICLR为新增AI阵地，同时保留网构软件时期的普适/服务计算阵地（PerCom/ICWS/TPDS/TSC）——与吕建线的阵地谱高度重叠（团队底盘共享），但AI顶会占比显著更高，是三代同型网络中最"AI化"的一个。
2.4 合作者网络总览
290位合作者的结构与吕建线高度同构（共享"网构软件—人机物融合"团队底盘），但马晓星作为中生代学术带头人，其网络呈现"继承+外拓"双特征：向上与吕建保持101次的高频共署（2000—2026年从未中断），横向与许畅（77次）、曹春（57次）组成团队执行层；2019年后新增三条显著外拓线——（1）神经符号线：李泽南、陈陶略、Kaiyu Yang、Xujie Si、苏振东等；（2）程序分析/系统线：蒋炎岩、黄宇、况鸿宇等；（3）软件工程教育实证线：张贺、荣国平（CoRR 2025/2026系列）。与李宣东SEG线的直接合著同样稀疏，延续软件所内两条主线的分工格局。
2.5 核心合作者Top列表
| 排名 | 合作者 | 合作次数 | 年份跨度 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | 吕建（Jian Lu 0001） | 101 | 2000—2026 | 院士、前校长（另有独立报告）；网构软件学术共同体中心，自其博士在读起持续联合署名 |
| 2 | 许畅（Chang Xu 0001） | 77 | 2011—2026 | 软件所教授（另有独立报告）；自适应/测试方向执行层伙伴，共同指导蒋炎岩 |
| 3 | 曹春（Chun Cao） | 57 | 2007—2025 | 软件所骨干；自适应软件/中间件 |
| 4 | 姚远（Yuan Yao 0001） | 42 | 2019—2026 | 软件所骨干；近年与马晓星在NeSy/数据方向高频合作 |
| 5 | 李泽南（Zenan Li） | 34 | 2019—2026 | 神经符号方向博士生骨干；ICLR/NeurIPS/ICSE一作（见4.2） |
| 6 | 蒋炎岩（Yanyan Jiang 0001） | 29 | 2013—2025 | 软件所教授（已有独立报告）；其为蒋炎岩博士导师之一（与许畅、吕建共同指导，CCF官方认定） |
| 7 | 黄宇（Yu Huang 0002） | 27 | 2008—2025 | 软件所教授、DisAlg PI（已有独立报告）；分布式系统合作（PRAM一致性验证等） |
| 8 | 陈陶略（Taolue Chen 0001） | 26 | 2020—2026 | 伦敦大学伯贝克学院教授；神经符号/形式化方法国际合作 |
| 9 | 徐经纬（Jingwei Xu 0001） | 23 | 2019—2025 | 团队骨干；数据驱动软件工程 |
| 10 | 余萍（Ping Yu 0004） | 19 | 2005—2019 | 团队骨干 |
| 11 | 顾天晓（Tianxiao Gu） | 18 | 2012—2023 | 团队成员（现为TikTok软件工程师，曾任阿里巴巴美国） |
| 12 | 宋巍（Wei Song 0003） | 17 | 2008—2021 | 团队成员（河海大学） |
| 13 | 况鸿宇（Hongyu Kuang） | 16 | 2019—2026 | 软件所青年骨干 |
| 14 | 张贺（He Zhang 0001） | 14 | 2021—2026 | 软件所教授；软件工程教育实证研究（FSE Edu/TOCE线） |
| 15 | 荣国平（Guoping Rong） | 14 | 2021—2026 | 软件工程教育实证合作者 |
| 16 | 曹建农（Jiannong Cao 0001） | 12 | 2003—2014 | 香港理工大学教授；普适计算国际合作 |
| 17 | Cheung Shing-Chi | 12 | 2009—2021 | 香港科技大学教授（许畅的博士导师）；软件测试合作 |
| 18 | 苏振东（Zhendong Su） | 1（一作线合计） | 2026 | 加州大学戴维斯分校教授（现ETH Zurich）；"Learning to Disprove"（CoRR 2026）形式反例生成合作 |
| 19 | Kaiyu Yang / Xujie Si / Xian Zhang / Fan Yang | 各2—7 | 2023—2026 | 形式化数学/神经符号国际合作网络（见五） |
三、博士教育背景与导师追溯
- 本硕博均获自南京大学计算机科学与技术系：1993年入学，1997年学士、2000年硕士、2003年博士（官方教师页明确记载）。
- 导师归属：官方教师页与公开履历未披露其博士生导师姓名。从证据链看：其DBLP首篇论文（2000年）即与吕建共署，博士论文完成于吕建领导的软件所团队核心期，研究方向（网构软件/中间件）与吕建的学术纲领一脉相承——学界普遍将其视为吕建团队成员；但依据本项目"论文署名不得推定师生关系"的原则，本报告不作"吕建为其博士导师"的断言，存疑待核（见第七节）。
- 谱系语境：无论导师归属如何，马晓星在功能意义上是"徐家福—吕建"南大软件谱系的第三代（徐家福→吕建→团队骨干）代表人物，并且是该谱系中第一位走出"行政+学术"双轨并升任学院院长的中生代成员。
四、团队合作网络
4.1 教师同事层（软件所/计算机学院）
| 姓名 | 职务/方向 | 与马晓星的关系 |
|---|---|---|
| 吕建 | 院士、前校长（另有独立报告） | 学术纲领中心与最高频共署者（101次）；现任学院学科总指导 |
| 许畅 | 教授、长江特聘（另有独立报告） | 执行层伙伴（77次）；自适应软件与DNN测试的共同署名人 |
| 李宣东 | 教授、杰青（另有独立报告） | 软件所同事；2024年前后接任其CCF软件工程专委主任职务（候任），治理层交接 |
| 黄宇 | 教授、DisAlg PI（已有独立报告） | 同事与合作者（27次，分布式存储一致性验证等）；非本团队成员，仅圈层引用 |
| 曹春、余萍、姚远、徐经纬、况鸿宇、张贺、荣国平 | 软件所骨干 | 长期署名合作者，构成团队中坚 |
| 蒋炎岩 | 教授（已有独立报告） | 共同署名29次；马晓星为其博士导师之一（与许畅、吕建共同指导，CCF官方认定）——属"直接指导"圈层 |
注：蒋炎岩与黄宇在本项目中均已有独立PI报告，此处仅作圈层交叉引用。
4.2 学生与青年成员层
- 李泽南（Zenan Li）：2019年起以一作发表"Boosting Operational DNN Testing Efficiency"（FSE 2019）、"Operational Calibration"（FSE 2020）、ICLR 2023两篇（Softened Symbol Grounding；Learning with Logical Constraints but without Shortcut Satisfaction）、ICSE 2023、NeurIPS 2024两篇（Autoformalize Mathematical Statements；Neuro-Symbolic Data Generation for Math Reasoning）、ICLR 2025（Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning，机器证明奥林匹克不等式的标志性工作）。其论文均以马晓星为末位（指导）作者，是马晓星当前学术输出最锋利的箭头。
- 蒋炎岩（博士，2018 CCF优博，导师：许畅、马晓星、吕建）：动态分析/操作系统方向，现为软件所教授，向下延伸出PA/Conan等程序分析工具线（详见其独立报告）。
- 况鸿宇、董少、孙可心、王慧妍、秦毅等：2020年代自适应软件、Fuzzing、软件工程教育方向的青年合作者。
- 早期学生/成员：宋巍（河海大学）、顾天晓（后进入工业界：阿里巴巴美国、TikTok）、葛季栋等已在外校、工业界或校内其他团队发展，形成网构软件谱系的扩散面。
4.2.1 团队编年（合作网络的时间剖面）
| 时期 | 团队主力组合（DBLP共署证据） | 主要方向 |
|---|---|---|
| 2000—2007 | 吕建—马晓星—陶先平 | 中间件与移动计算（网构软件早期） |
| 2007—2014 | +曹春、余萍、宋巍、顾天晓 | 网构软件、自适应中间件、普适计算 |
| 2012—2019 | +黄宇、蒋炎岩、魏恒峰、顾天晓 | 自适应软件、在线演化（Javelus）、分布式一致性 |
| 2019—2026 | +李泽南、陈陶略、姚远、徐经纬、许畅、张贺/荣国平 | 神经符号、DNN测试、大模型软件工程、教育实证 |
4.3 人才培养
马晓星参与指导的博士中已确认的CCF优博1名（蒋炎岩，2018）；其神经符号方向的在读/新毕业博士（李泽南等）在ICLR/NeurIPS的连续一作产出，预示该谱系在AI×形式推理交叉领域的后续人才密度。作为学院院长，其2025届毕业典礼致辞等公开活动显示其培养角色已扩展至全院层面。
4.4 学术服务与共同体角色
| 角色 | 时间/证据 | 说明 |
|---|---|---|
| CCF软件工程专委主任（候任） | 2024年前后 | 接替李宣东；软件所一脉对该专委的连续掌控 |
| Internetware 2015程序委员会主席 | 2015 | 网构软件国际会议（本团队自办系列） |
| SEAMS 2012—2014、2016 程序委员 | 2012—2016 | 自适应与自管理系统旗舰研讨会 |
| ICSE 2010 Education Track / SCORE 2011 PC | 2010—2011 | 软工教育与国际学生竞赛 |
| 《软件学报》责任编委 | 长期 | 国内一级学报 |
| 全国重点实验室学术骨干 | 长期 | 实验室官网"主要学术骨干"页收录 |
| CNCC 2024论坛讲者 | 2024 | 《神经符号系统——非确定性管理的视角》 |
（注：SEAMS为软件工程与自适应领域核心研讨会，其长期PC身份与自身"自适应软件"主线一致。）
五、业界合作关系深度分析
- 华为（南京研究所）：2026年6月，华为南京研究所"openJiuwen"开源社区活动（探讨开源技术栈现代化及仓颉/openEuler生态共建）在南京大学计算机学院举行，马晓星以院长身份出席并致辞——这是其与华为合作的可公开查证锚点（南大计算机学院官方新闻）。具体科研合作项目（如有）公开资料未披露。
- 腾讯（犀牛鸟体系，待核）：南大软件所与腾讯犀牛鸟基金等产学研体系存在整体合作，但以马晓星个人署名的腾讯合作论文未见DBLP记录，具体合作关系公开资料未披露。
- 学术共同体的产业互动：2024年CNCC"大模型如何使能软件工程"论坛上，马晓星作《神经符号系统——非确定性管理的视角》主题报告，与阿里通义实验室李永彬、华为夏鑫等同场——其"神经符号"路线被产业界视为软工智能化的候选技术底座之一，构成潜在产业转化通道。
- 奖项渠道的产业关联：东软-NASAC青年软件创新奖（2015）由东软集团与全国高校系统软件教育研究会联合授予；中创软件人才奖（2009）亦属产学研奖项渠道——反映其早期即被纳入国内软件产业奖项网络。
- 国际合作网络（非业界但属于重要外拓）：神经符号线带来源源不断的国际节点——Kaiyu Yang（形式化数学/Lean方向）、Xujie Si（多伦多大学）、Zhendong Su（UC Davis→ETH Zurich）、陈陶略（Birkbeck）、Cheung Shing-Chi（HKUST）、曹建农（PolyU）、Hans-Arno Jacobsen（多伦多大学，发布/订阅系统合作）等；其中苏振东合作的"Learning to Disprove: Formal Counterexample Generation with Large Language Models"（CoRR 2026）显示LLM+形式验证方向已进入国际前沿合作轨道。
六、Connection圈层总结
- 中心圈（功能意义上的师承）：吕建（学术纲领中心，共署101次；导师身份待核）→ 马晓星 → 蒋炎岩（官方认定共同指导）、李泽南（神经符号线，指导关系以署名结构推定）、况鸿宇等青年骨干。
- 团队圈：与许畅（77次）、曹春（57次）、姚远、徐经纬构成"网构软件—人机物融合—智能软件工程"执行层；团队与吕建共享底盘，是南大软件所的中生代主干。
- 同事圈：李宣东（SEG线，治理层交接）、黄宇（DisAlg，独立PI）、张贺/荣国平（教育实证线）。
- 国际圈：曹建农（港理工）、Cheung Shing-Chi（港科大）、陈陶略（Birkbeck）、滕宏达（清华/UIUC，经由吕建线）、苏振东（ETH）、Xujie Si（多伦多大学）、Kaiyu Yang（形式化数学/Lean方向学者）——神经符号方向的形式化数学国际网络是其最新的、也是最具增长性的外拓。
- 业界圈：华为（开源生态合作，2026年可查证事件）；东软/中创（奖项渠道）；CNCC产业论坛互动。
- 整体画像：马晓星是南大软件所"第三代"的枢纽型人物——向上承接吕建的网构软件纲领并完成学术继承（自适应/在线演化），向下开启"神经符号+大模型"的新增长曲线；2024年出任院长后，其个人网络正在从"团队学术网络"升级为"学院级学科治理网络"，兼具学术产能（院长任内DBLP年产出22条）与行政能见度，是观察中国软件工程学界"建制化传承"的最佳样本之一。
七、数据来源与局限性说明
- 数据来源：DBLP作者页（pid 67/3058，2026年8月抓取，232条记录）；南京大学计算机学院教师介绍页（https://cs.nju.edu.cn/58/12/c2639a153618/page.htm ，含本硕博年份、奖项、任职）；计算机软件新技术全国重点实验室官网；CCF官网（CNCC 2024论坛介绍）；南京大学计算机学院官网新闻（2025届毕业典礼、华为openJiuwen活动报道）；百度百科（院长任期核对）。
- 局限性：
- 重名消歧：DBLP存在 Xiao-Xing Ma（pid 381/6188，1条JCST论文），已排除；本报告仅统计 Xiaoxing Ma（pid 67/3058）；
- 导师归属存疑：马晓星2003年博士的导师姓名未见于官方页面，本报告不作断言，仅描述其与吕建的长期共署与谱系语境；
- 神经符号线合作者（Kaiyu Yang、Xian Zhang、Fan Yang等）的机构归属以论文署名时的公开信息为准，存在变动可能；
- DBLP不含其大量中文论文（《软件学报》《中国科学》等）与国内奖项（两次国家科技进步二等奖的完成人排名取自官方教师页）；
- 院长任期的确切任命日期（2024年10月）以学院新闻为准；CCF软件工程专委主任（候任/现任）的交接时间以CCF公开报道为准，截至2025年10月李宣东仍以主任身份出席活动，交接的确切生效时间待核；
- 腾讯等企业的具体合作项目公开资料未披露。