南大软件所 潘敏学 教授
报告生成时间： 2026年8月
个人主页： https://minxuepan.github.io/ （南京大学软件学院教师页：https://software.nju.edu.cn/pmx/index.html）
DBLP： https://dblp.org/pid/42/7085.html
Google Scholar： https://scholar.google.com/citations?user=8DFPfS4AAAAJ&hl=en
潘敏学是南京大学软件学院教授、博士生导师，南京大学计算机软件研究所（计算机软件新技术全国重点实验室）软件工程与形式化方法团队的核心青年教师之一，学术底色为"场景式建模与形式化验证"，近十年逐步扩展至移动应用测试、智能软件工程与大模型赋能的软件分析。其学术网络高度内生：DBLP 前两大合作者（李宣东 58 次、张天 57 次）均为其博士导师与最密切同事，构成南大软件工程研究组（NJU SEG）内部的"师承+协同"双轴。
一、学者基本信息
| 项目 | 信息 |
|---|---|
| 姓名 | 潘敏学（Minxue Pan） |
| 出生年份 | 1983年5月（据公开履历资料） |
| 现职 | 南京大学软件学院教授、博士生导师；软件学院院长助理（职称已由副教授晋升为教授，软件学院官网现将其列于"教授"栏；具体晋升年份未公开披露） |
| 所属机构 | 南京大学软件学院 / 计算机软件新技术全国重点实验室 / 计算机软件研究所 |
| 研究方向 | 软件建模与形式化验证（场景式规约时序分析、混合自动机、中断驱动系统验证、异步电路模型检验）；软件测试（移动应用 GUI 测试、测试脚本修复、偏好式测试）；智能软件工程（故障定位、程序修复、深度代码模型、大语言模型赋能软件工程）；程序分析（指针分析、漏洞检测、反编译器缺陷挖掘） |
| 学位 | 南京大学计算机科学与技术系学士；2014年获南京大学计算机软件与理论博士学位（导师：李宣东教授） |
| 海外经历 | 2009—2010年加州大学伯克利分校 EECS 访问学生，师从 Edward A. Lee 教授（并发与混成系统建模方向，与其博士阶段混合自动机研究一脉相承） |
| 学术格言 | 个人主页引语："Rigor keeps intelligence sound; intelligence lets rigor scale."（严谨使智能可靠，智能使严谨可扩展）——概括其"形式化方法×智能软件工程"双主线 |
主要荣誉与奖项：
- 入选国家级青年人才计划（具体批次未公开披露）
- NASAC 青年软件创新奖（2023，全国软件与应用学术会议）
- ACM SIGSOFT 杰出论文奖（ISSTA 2020，论文《Reinforcement learning based curiosity-driven testing of Android applications》，潘敏学为第一作者，合作者含黄岸、王国鑫、张天、李宣东）
- ICSE 2025 最佳工件奖（Best Artifact Award，论文 PacDroid，与谭添、李樾等合作）
- 江苏省"青蓝工程"优秀青年骨干教师、南京大学"紫金学者"
- 2021年度计算机学科"美德之星"（南京大学计算机学科联合评定，教学育人荣誉）
代表性成果线索（据 DBLP 与个人主页）： 博士阶段以场景式规约时序分析工具 TASS 起步（CAV 2009，与卜磊、李宣东合作）；ICSE 2019 中断驱动系统"易建模易验证"方法；RTSS 2025 中断驱动实时系统时序规约加速验证；TCAD 2025 / FMSD 2026 异步电路与混成自动机网络模型检验；ISSTA 2020 好奇心驱动的安卓测试（杰出论文）；TOSEM 2025 大规模安卓应用等价性测试；OOPSLA 2024/2025 Java 反编译器缺陷挖掘与选择性对象敏感指针分析。
二、DBLP数据统计
2.1 发表总览
- DBLP pid： 42/7085（作者名 Minxue Pan，DBLP 全库唯一匹配，无重名消歧问题）
- 总记录数： 110 条（截至 2026 年 8 月）
- 类型构成： 会议论文（inproceedings）59 篇；期刊论文（article）49 篇；数据集（data）2 条；CoRR 预印本 8 条（其中 8 条已正式发表或同步收录，非重复计数口径为 102 条正式出版物）
- 顶会顶刊覆盖： ICSE 9 条（含 2 条 Companion）、FSE 系 8 条（Proc. ACM Softw. Eng. 5 条 + ESEC/FSE 3 条）、ASE 13 条、ISSTA 6 条、OOPSLA 2 条；TSE 3、TOSEM 4、TDSC 1、TCAD 1、PVLDB 1；另 ICML 1、RTSS 1
- 合作者规模： 去除本人后合作过 132 位学者；合作 2 次以上者 54 位、5 次以上者 18 位、10 次以上者 7 位——呈现典型的"核心小圈子+广泛外围"结构
2.2 年度分布
| 年份 | 篇数 | 年份 | 篇数 | 年份 | 篇数 |
|---|---|---|---|---|---|
| 2009 | 1 | 2018 | 7 | 2023 | 13 |
| 2012 | 4 | 2019 | 11 | 2024 | 22 |
| 2015 | 1 | 2020 | 10 | 2025 | 15 |
| 2017 | 2 | 2021 | 5 | 2026（至8月） | 8 |
| — | — | 2022 | 11 | — | — |
年度曲线呈"三段式"：2009—2015 年博士阶段低产期（场景式规约时序分析主线）；2017—2020 年回南大任职后的爬坡期（移动测试+中断驱动验证双线展开）；2021 年起进入高产期，2024 年达峰值 22 篇，反映其智能软件工程方向团队建制成熟。
2.3 会议期刊分布（按记录数，正式出版物口径）
| 排名 | 会议/期刊 | 记录数 | CCF 等级 | 备注 |
|---|---|---|---|---|
| 1 | ASE | 13 | A | 自动化软件工程旗舰，第一大主场 |
| 2 | Internetware | 11 | C | 国内主办的互联网软件旗舰系列会议 |
| 3 | ICSE（含 Companion 2） | 9 | A | 软件工程第一会议 |
| 4 | FSE 系（PACMSE 5 + ESEC/FSE 3） | 8 | A | — |
| 5 | ISSTA | 6 | A | 测试与分析旗舰，2020 年获杰出论文奖 |
| 6 | TOSEM | 4 | A | — |
| 7 | TSE | 3 | A | — |
| 8 | JSS | 3 | B | — |
| 9 | 计算机科学（中文期刊） | 3 | — | 中文期刊成果 |
| 10 | OOPSLA（PACMPL） | 2 | A | 程序设计语言旗舰 |
| 11 | ICSME / ICPC / IST / QRS / SoSyM / ICST / STVR / Autom. Softw. Eng. | 各 2 | B/C | 维护、理解、测试类二线主场 |
| 12 | 单篇：PVLDB、TDSC、TCAD、RTSS、ICML | 各 1 | A | 跨领域突破（数据库、安全、EDA、实时系统、机器学习） |
| 13 | 单篇：CAV、FMSD、SCP、JCST、TRel、JSEP、STTT、MoDELS Companion 等 | 各 1 | B/C | 博士阶段形式化方法遗产与扩展 |
结构特征：CCF-A 类记录约 44 条（占比约 43%），软件工程"四大"（ICSE/FSE/ASE/ISSTA）全覆盖且量大，同时保留形式化方法（CAV/FMSD/RTSS/TCAD）与交叉领域（ICML/PVLDB/TDSC）出口。
2.4 合作者网络总览
- 132 位合作者中，南大系统内（李宣东、张天、王林章、赵建华、许畅、马晓星、卜磊、陆一飞等及研究生群体）占核心层绝大多数
- 国际合作者数量不多但方向明确：瑞士（USI 卢加诺 Carlo A. Furia、ETH 苏黎世 Zhendong Su——经学生陆一飞访学通道）、卢森堡（Jun Pang）、英国（Yijun Yu）、美国（普渡大学 Shiqing Ma、Xiangyu Zhang；UC Berkeley Edward A. Lee 仅指导经历无共同署名）
- 国内跨校常客：香港理工大学 Yu Pei（26 次）、南京航空航天大学 Yu Zhou（11 次，DBLP 标注其经历含南大）与黄志球、澳门科技大学系（Yu Pei 履历）
- 时间结构：李宣东（2009—2026）、张天（2012—2026）两条合作线贯穿全时段，为网络骨架
2.5 核心合作者Top列表（Top 20）
| 排名 | 合作者 | 合作次数 | 合作年份 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | Xuandong Li（李宣东） | 58 | 2009—2026 | 南大教授、软件工程学科带头人；潘敏学博士导师，长期挂名指导 |
| 2 | Tian Zhang（张天） | 57 | 2012—2026 | 南大教授、NJU SEG MODELS 团队负责人；最密切同事，移动测试线共同主导（ISSTA 2020 杰出论文共同作者） |
| 3 | Yu Pei | 26 | 2018—2024 | 香港理工大学（DBLP 标注经历含南大、ETH Zurich、澳门科技大学）；程序修复与自适应系统长期合作者 |
| 4 | Zhong Li | 22 | 2018—2026 | 机器学习×软件工程交叉方向研究者（贝叶斯深度学习用于软件数据；其机构归属未能核实） |
| 5 | Wenhua Yang | 22 | 2018—2026 | 安卓 GUI 测试方向长期合作者（机构归属未在公开资料中披露） |
| 6 | Yifei Lu（陆一飞） | 18 | 2019—2026 | 南大软件学院准聘助理教授；潘敏学（与李宣东联合）指导的博士生，2012年起在南大本硕博连读 |
| 7 | Yu Zhou（周宇） | 11 | 2020—2026 | 南京航空航天大学教授（DBLP 标注曾属南大）；程序修复方向合作者 |
| 8 | Tongtong Xu | 9 | 2017—2024 | 测试脚本修复方向论文合作者（身份未核实，不推定为学生） |
| 9 | Longlong Lu（陆龙龙） | 8 | 2020—2026 | 潘敏学指导的博士生（异步电路验证、中断驱动验证方向） |
| 10 | Juan Zhai（翟娟） | 8 | 2018—2025 | 美国马萨诸塞大学阿默斯特分校助理教授（曾任教罗格斯大学）；测试方向合作者 |
| 11 | Shaoheng Cao（曹少恒） | 7 | 2024—2026 | GUI 测试脚本修复方向合作者（疑为在读研究生，未核实） |
| 12 | Linzhang Wang（王林章） | 7 | 2012—2026 | 南大教授、NJU SEG 教师；博士阶段场景式建模时期即合作（TASS 系列相关） |
| 13 | Renhe Jiang | 7 | 2017—2022 | 自适应系统/CPS 方向论文合作者（身份未核实） |
| 14 | Ruihua Ji（季瑞华） | 6 | 2018—2026 | 论文合作者（身份未核实） |
| 15 | Yuanhong Lan（兰远宏） | 6 | 2024—2026 | 安卓测试方向合作者（疑为在读研究生，未核实） |
| 16 | Tingwei Zhu（朱廷未） | 6 | 2023—2024 | 论文合作者（身份未核实） |
| 17 | Chun Li（李淳） | 5 | 2023—2026 | 故障定位方向合作者（身份未核实） |
| 18 | Zhengzhao Chen | 5 | 2018—2022 | 论文合作者（身份未核实） |
| 19 | Chang Xu（许畅） | 4 | 2018—2023 | 南大教授（软件所基础研究中心/SPAR组），软件所同事 |
| 20 | Zhiqiu Huang（黄志球） | 4 | 2020—2023 | 南京航空航天大学教授，跨校合作者 |
其余值得注意的次级合作者：赵建华（南大教授，3 次，2012—2025）、马晓星（南大教授，3 次）、Carlo A. Furia（瑞士 USI，3 次）、Jun Pang（卢森堡大学，3 次）、Yijun Yu（英国，3 次）、Shiqing Ma 与 Xiangyu Zhang（普渡大学，各 3 次，2018—2020）、卜磊（南大教授，3 次，2009—2012 博士阶段合作者）。
三、博士教育背景与导师追溯
- 潘敏学的博士学位于 2014年获自南京大学计算机科学与技术系（计算机软件与理论方向），导师为李宣东教授。此信息由其个人主页（minxuepan.github.io）明确记载："获得南京大学计算机科学与技术系学士学位，2014年在同系获得博士学位，师从李宣东教授（advised by Prof. Xuandong Li）"。
- 导师李宣东：南大计算机软件研究所奠基人之一、软件工程学科带头人，长期主持国家"973"计划与重点研发计划项目，是中国软件工程领域的代表性学者。潘敏学博士阶段成果（TASS 场景式规约时序分析器，CAV 2009 与李宣东、卜磊合作）即为李宣东团队的场景式建模主线产物。
- 师承圈层：与潘敏学同出李宣东门下（或同期受其指导）的南大教师包括卜磊（教授，操作系统与形式化验证）、张天（教授，李宣东门下，与潘敏学为同门师兄弟式深度协同）、王林章（教授，李宣东长期合作者）等，构成 NJU SEG（软件工程研究组）的主体师资。
- 海外师承补充：2009—2010 年伯克利访问期间受 Edward A. Lee（Ptolemy 并发混成系统建模学派创始人）指导，为其中断驱动系统、混成自动机验证研究提供了跨洋学术连接；其学生陆一飞 2021—2022 年访问 ETH 苏黎世受 Zhendong Su 指导（OOPSLA 2024 反编译器缺陷论文即为该通道产物），形成"导师—学生"两代海外连接。
四、团队合作网络
4.1 教师同事层（计算机软件研究所/软件工程与形式化方法团队）
| 姓名 | 职务 | 与潘敏学的关系 |
|---|---|---|
| 李宣东 | 南大教授、软件工程学科带头人 | 博士导师；DBLP 合作 58 次的全时段第一合作者 |
| 张天 | 南大教授、MODELS 团队负责人 | 最密切协同同事（57 次）；移动应用测试与智能软件工程方向共同主导，共用学生池（陆一飞、杨文华、兰远宏等署名高度重合） |
| 王林章 | 南大教授 | 场景式建模验证方向老同事（7 次，2012 年起） |
| 赵建华 | 南大教授 | 软件所同事（3 次）；形式化方法（模型检验、程序逻辑）团队核心 |
| 许畅、马晓星 | 南大教授 | 软件所同事（各 3—4 次）；程序设计语言与自适应软件方向 |
| 卜磊 | 南大教授 | 博士阶段合作者（3 次，2009—2012）；形式化验证与操作系统方向 |
| 翟娟 | UMass Amherst 助理教授 | 南大系统出身的海外校友型合作者（8 次） |
| 蒋炎岩、黄宇 | 南大教授 | 软件所同事（操作系统、分布式系统方向）；已有独立 PI 网络报告，不属于本团队成员，亦未检索到与潘敏学的直接共同署名 |
需要说明：潘敏学的人事关系在软件学院，科研归属计算机软件研究所/软件新技术全国重点实验室，其研究与 NJU SEG 教师网络高度耦合。
4.2 学生与青年成员层
| 姓名 | 身份 | 证据来源 |
|---|---|---|
| 陆一飞 | 潘敏学与李宣东联合指导的博士生，现任南大软件学院准聘助理教授 | 软件学院官网教师页明确："2012年进入南京大学软件学院学习，其后获得学士、硕士以及博士学位，指导老师为潘敏学以及李宣东老师；2021—2022年留学瑞士联邦理工学院受 Zhendong Su 指导" |
| 陆龙龙 | 潘敏学指导的博士生（异步电路模型检验、中断驱动实时系统验证，RTSS 2025/TCAD 2025/FMSD 2026 第一作者） | 软件学院官网新闻及论文署名模式 |
| 曹少恒、时雨飞、兰远宏、李淳、温忠镇、朱廷未、沈超超、许彤彤等 | 近年高频署名者，疑为在读研究生群体 | 仅据 DBLP 署名与年份集中度推断，不作为学生身份的确认依据 |
4.3 人才培养
- 已培养出 陆一飞 这样的"本硕博一条龙、留校任教"人才（2012 级本科直通博士、ETH 访问、留任准聘助理教授），是南大软件学院近年青年师资内生供给的典型样本。
- 陆龙龙博士期间在 TCAD、RTSS、FMSD 等形式化方法与 EDA 交叉顶刊顶会连续产出，显示验证方向人才梯队成型。
- 其指导学生覆盖 OOPSLA、TOSEM、ISSTA、FSE、ASE、ICSE、VLDB 等高水平出口（据陆一飞主页列举的指导关系反推）。
- 教师页显示其常年招收直博生与推免研究生。
五、业界合作关系深度分析
- 华为、腾讯技术攻关项目（合作深度：主持级）：软件学院官网教师页载明其"主持及参与华为、腾讯等企业技术攻关项目"，但具体项目名称、周期与成果未公开披露。
- 航天嵌入式软件应用：南京大学新闻网报道其中断驱动场景规约建模与验证方法"已在航天领域得到应用验证"，具体航天院所单位未披露；该方向（ICSE 2019、RTSS 2025）与其跨校合作者南航黄志球（航空宇航领域背景）存在协作通道。
- 工业级软件测试落地：ICSE 2025《Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning》与 FSE 2025 工业场景模型驱动 GUI 测试混合方法研究，均以工业软件为对象，合作者含 Hui Li（机构归属未能核实，疑为产业界人士）；具体企业名称公开资料未披露。
- 间接产学研通道：其最密切合作者张天的 MODELS 团队公开宣称与华为、腾讯（微信）、小米、字节跳动、OPPO 等头部企业开展联合研究并落地部署；潘敏学与该团队共用学生与署名（如 ICSE 2024 深度强化学习安卓 GUI 测试），可视为共享 SEG 产学研网络，但单独归功于潘敏学个人缺乏直接证据。
- 国际业界连接：普渡大学 Shiqing Ma、Xiangyu Zhang（安全方向，2018—2020 合作）属学术界连接；未见其与工业界海外机构直接合作的公开记录。
总体判断：潘敏学的学术网络以学界为绝对主体，业界合作呈现"确有其事、细节不公开"的特征——与南大软件工程学科服务国家重大工程与头部企业的整体风格一致。
六、Connection圈层总结
潘敏学的学术关系网络可以概括为"一师一友、双线并进、内生为主"的同心圆结构：
- 内核（南大 SEG 师承圈）：李宣东（导师，58 次）+ 张天（同门协同，57 次）合计占其全部合作记录署名的一半以上，是网络绝对中心；王林章、赵建华、许畅、马晓星、卜磊等软件所教师构成第二环。
- 学生环：陆一飞（留校任教）、陆龙龙（验证方向接班人）为代表的内生人才梯队，署名网络显示 2023 年后学生代际更替活跃（曹少恒、时雨飞、兰远宏等新署名涌现）。
- 跨校学界环：香港理工 Yu Pei（26 次）、南航周宇/黄志球、以及 Furia/潘 Jun/Yu Yijun/普渡团队等国际节点，分别锚定程序修复、航天验证与软件分析方向。
- 业界环：华为、腾讯项目（官方确认但细节未披露）+ 航天领域应用，深度弱于学界环。
- 独立性说明：潘敏学虽与张天团队网络深度交织，但已形成"形式化验证（场景式建模、中断驱动、异步电路）"这一区别于张天"模型驱动+机器学习"主线的独立学术身份，并以 ISSTA 杰出论文与 RTSS/FMSD/TCAD 系列成果确立个人学术品牌。
对关注"验证+测试+智能软件工程"交叉方向的合作者而言，潘敏学是进入南大软件工程网络的高价值节点，尤其中断驱动实时系统验证与移动应用 GUI 测试两个方向在国内具有稀缺性。
七、数据来源与局限性说明
主要数据来源：
- DBLP 作者页（pid 42/7085，https://dblp.org/pid/42/7085.html，2026年8月抓取的 XML 全量记录）
- 潘敏学个人主页（https://minxuepan.github.io/）
- 南京大学软件学院官网教师页（https://software.nju.edu.cn/pmx/index.html）与师资列表
- 南京大学新闻网相关报道（中断驱动验证航天应用、计算机学科"美德之星"等）
- 陆一飞软件学院官网教师页（博士指导关系佐证）
- 百度百科词条（出生年份、任职轨迹，仅作参考性来源）
局限性：
- 职称晋升时间未核实：2024年南大新闻仍称其为副教授，现官网列为教授，晋升具体年份公开资料未披露。
- 学生身份推定风险：除陆一飞（官网明确记载指导关系）与陆龙龙（官网新闻佐证）外，曹少恒、时雨飞、兰远宏、李淳、温忠镇、许彤彤等均仅据署名模式推断为研究生，未获得答辩公告或实验室名单直接确认。
- 合作者机构归属缺口：Zhong Li（22 次）、Wenhua Yang（22 次）、Hui Li、Tongtong Xu 等高频合作者的机构与身份未能通过公开渠道核实，本报告一律注明"未核实"而不作身份断言。
- 业界合作细节缺失：华为、腾讯及航天领域合作的项目级信息未公开，无法量化合作规模与产出。
- DBLP 口径：统计基于 2026 年 8 月抓取时点，Internetware、QRS、TASE 等会议收录延迟可能导致近期记录不全；"四大"会议计数含 Companion/Findings 类衍生卷。
- 引文数据未抓取：Google Scholar 引用数未纳入统计，奖项年份以个人主页与新闻稿记载为准（NASAC 奖 2023、ISSTA 杰出论文 2020、ICSE 2025 最佳工件奖）。