南大软件所 李宣东 教授 学术关系网络报告
报告生成时间：2026年8月
关键链接
- 个人主页：无独立个人主页；机构页面见 南京大学计算机学院教师页、南京大学智能软件与工程学院（苏州校区）、计算机软件研究所官网
- DBLP：https://dblp.org/pid/76/5446.html（作者名：Xuandong Li）
- Google Scholar：未发现其本人公开认领的主页，公开资料未披露
一、学者基本信息
| 项目 | 内容 |
|---|---|
| 姓名 | 李宣东（Xuandong Li） |
| 现职 | 南京大学教授、博士生导师；南京大学智能软件与工程学院院长（2023年起，苏州校区）；开甲书院院长 |
| 曾任行政职务 | 南京大学计算机科学与技术系系主任（2006—2018，约12年）；计算机软件研究所所长；南京大学软件学院院长（2008—2022年前后）；CCF系统软件专委会主任 |
| 人才称号 | 国家杰出青年科学基金获得者（2004年度）；CCF会士（2024年当选） |
| 主要研究方向 | 软件工程与形式化方法：软件建模与分析、模型检测与时序逻辑、软件测试与验证（移动应用GUI测试）、大规模程序静态分析 |
| 学术兼职 | 中国计算机学会软件工程专业委员会主任（2025年10月公开报道仍以此身份出席）；国务院学位委员会计算机学科评议组成员（软件工程方向）；《软件学报》编委等；曾任ACM SIGSOFT China主席、江苏省计算机学会软件专委主任 |
| 主要奖项 | 国家科技进步二等奖（2011年度）；教育部技术发明一等奖（2011年度，实验室获奖体系）；教育部"跨世纪优秀人才"（2002）；中创软件人才奖（1998）；第三届全国高校青年教师奖 |
李宣东是南京大学软件工程学科的旗帜性人物。其领导的软件工程组（SEG, Software Engineering Group）是国内规模最大、延续性最强的形式化方法与软件工程研究团队之一，骨干包括王林章、赵建华、陈鑫、张天、卜磊、左志强、王豫等；团队长期依托计算机软件研究所（后为软件新技术全国重点实验室）与软件学院运行。2006—2022年间他先后执掌计算机系与软件学院两大学术治理机构，是南大计算机学科与软件工程学科（教育部第四/五轮学科评估全国前列）的组织者之一。2023年南大苏州校区设立智能软件与工程学院后，李宣东出任首任院长，推动软件工程与AI融合的新布局。
二、DBLP数据统计
数据来源：DBLP 作者页 pid 76/5446，统计该 pid 下全部条目，抓取时间2026年8月。
2.1 发表总览
- 总记录数：241 条（1996—2026）
- 记录类型：期刊文章 91、会议论文 149、书籍章节 1
- 合作作者总数（去重）：305 人
- 特征：发表节奏平稳，2006年后进入每两至三年一个小高峰的常态；2024—2026年出现产量跃升（20+20+7条），反映其团队在大模型驱动的软件工程与程序分析方向的新一轮产出。与吕建不同，其署名模式以"骨干教授+学生"的中型团队为主，覆盖ICSE/FSE/ASE/ISSTA/PLDI/TSE/TOSEM等软件工程与程序语言核心阵地。
2.2 年度分布（全量）
| 年份 | 记录数 | 年份 | 记录数 | 年份 | 记录数 | 年份 | 记录数 |
|---|---|---|---|---|---|---|---|
| 1996 | 2 | 2004 | 3 | 2012 | 13 | 2020 | 10 |
| 1997 | 3 | 2005 | 6 | 2013 | 9 | 2021 | 13 |
| 1998 | 2 | 2006 | 10 | 2014 | 3 | 2022 | 15 |
| 1999 | 2 | 2007 | 2 | 2015 | 9 | 2023 | 7 |
| 2000 | 1 | 2008 | 7 | 2016 | 9 | 2024 | 20 |
| 2001 | 5 | 2009 | 7 | 2017 | 9 | 2025 | 20 |
| 2002 | 3 | 2010 | 12 | 2018 | 11 | 2026（至8月） | 7 |
| 2003 | 1 | 2011 | 9 | 2019 | 11 | — | — |
阶段性特征：
- 1996—2005（形式化方法奠基期）：与郑国梁、赵建华合作为主，时序逻辑、模型检测、UML形式化方向，年产出1—6条；
- 2006—2013（团队成型期）：SEG建制化，王林章、张天、卜磊、潘敏学等骨干入场，年产出9—13条，ICSE/ASE/HSCC/CAV等阵地铺开；
- 2014—2019（移动测试与验证深耕期）：潘敏学一作线（移动应用GUI测试）与卜磊混合系统线双轮驱动，年产出9—11条；
- 2020—2026（大模型与新高峰期）：2024—2025年年产出跳升至20条，GUI测试放大、约束求解、LLM赋能软件工程多线并进，为三十年学术生涯中的最猛增产段。
2.3 会议期刊分布（Top，标注CCF等级）
| 会议/期刊 | 记录数 | CCF等级 | 说明 |
|---|---|---|---|
| Internetware | 15 | C | 网构软件国际会议（南大主办体系） |
| ASE | 11 | A | 自动化软件工程 |
| CoRR | 9 | 未分级 | arXiv预印本 |
| ISSTA | 9 | A | 软件测试与分析（GUI测试线主阵地） |
| J. Comput. Sci. Technol. | 9 | B | — |
| ICSE | 9 | A | 软件工程旗舰 |
| Proc. ACM Program. Lang. | 6 | A | PLDI/OOPSLA等会议论文期刊化载体 |
| Proc. ACM Softw. Eng. | 5 | A | FSE/TSE期刊化载体 |
| ICST | 5 | B | 软件测试 |
| IEEE TCAD | 4 | A | 形式化验证（EDA方向） |
| HSCC | 4 | B | 混合系统（与卜磊合作线） |
| APSEC | 4 | C | — |
| ACM TOSEM | 3 | A | — |
| IEEE TSE | 3 | A | — |
| Formal Aspects Comput. | 3 | C | 形式化方法 |
| DATE | 3 | B | — |
| RTSS | 2 | A | 实时系统 |
| VMCAI | 2 | C | — |
| PLDI | 2 | A | 程序语言旗舰（Graspan/JPortal等） |
| ESEC/SIGSOFT FSE | 2 | A | — |
| TASE / ICTAC / SETTA / ISoLA / FACS | 各2 | C/C/C/未分级/未分级 | 形式化方法专门会议 |
| Autom. Softw. Eng. / EMSE | 各2 | B/B | — |
| Formal Methods Syst. Des. | 2 | C | 形式化方法期刊 |
| Softw. Test. Verification Reliab. | 2 | C | 软件测试期刊 |
| SAC / SEKE | 各2 | C/C | — |
阵地结构上，李宣东的发表网络高度集中于软件工程与形式化方法核心阵地（ICSE/FSE/ASE/ISSTA/TSE/TOSEM），并经由卜磊线延伸至混合系统与EDA验证（HSCC/TCAD/DATE），经由左志强线延伸至程序语言旗舰（PLDI/PACMPL）——与吕建线的"软工+普适+数据"三角形成互补分工。
2.4 合作者网络总览
305位合作者呈"双内核"结构：其一为南大SEG教师层（王林章、赵建华、张天、卜磊、潘敏学、陈鑫、左志强、王豫、汤恩义），是稳定内核；其二为流动的学生与博士后层（每年更替，数量最大）。国际侧合作稀疏但精干：加州大学戴维斯分校/ETH的 Guoqing Harry Xu（Graspan/JPortal大型程序分析合作线，PLDI/EuroSys/TOCS）、加州大学戴维斯分校苏振东、香港理工/海外系（裴宇、翟娟等GUI测试合作）等。与吕建线的直接合著极少——两人在实验室治理层面深度协同、在论文署名层面基本并行，是南大软件所"软件工程/形式化方法"与"网构软件/软件方法学"两条主线的分工写照。
2.5 核心合作者Top列表
| 排名 | 合作者 | 合作次数 | 年份跨度 | 身份/机构与关系 |
|---|---|---|---|---|
| 1 | 王林章（Linzhang Wang） | 74 | 2004—2026 | SEG骨干教授、CCF会士（2023）、全国重点实验室主任助理；软件分析/测试/验证方向 |
| 2 | 潘敏学（Minxue Pan） | 56 | 2009—2026 | SEG/软件学院骨干（后转副教授序列）；移动应用测试与模型驱动验证一作主力 |
| 3 | 赵建华（Jianhua Zhao） | 56 | 1998—2025 | SEG资深教授；形式化方法/程序验证，合作始于1998年 |
| 4 | 张天（Tian Zhang 0001） | 54 | 2005—2026 | SEG骨干副教授/教授；模型检测与代码分析 |
| 5 | 卜磊（Lei Bu） | 46 | 2005—2025 | SEG教授；形式化验证/混合系统（HSCC/CAV线），中创软件基金获奖者 |
| 6 | 陈鑫（Xin Chen 0027） | 28 | 2009—2025 | SEG骨干；模型驱动工程 |
| 7 | 郑国梁（Guoliang Zheng） | 28 | 1996—2007 | 南大计算机系资深教授（退休）；早期核心合作者与前辈，多篇资料称其为李宣东博士阶段导师（待核） |
| 8 | 裴宇（Yu Pei 0001） | 22 | 2001—2025 | 香港理工大学副教授（DBLP标注经历含南大、ETH Zurich、澳门科技大学等）；GUI测试长期合作者 |
| 9 | 李忠（Zhong Li） | 21 | 2018—2026 | SEG青年骨干；时序逻辑/约束求解 |
| 10 | 左志强（Zhiqiang Zuo 0002） | 17 | 2019—2026 | SEG青年教授；大规模程序分析（与Harry Xu合作线） |
| 11 | 汤恩义（Enyi Tang） | 14 | 2010—2025 | 软件学院骨干 |
| 12 | 陆逸飞（Yifei Lu） | 13 | 2019—2026 | SEG青年骨干；测试放大/移动测试 |
| 13 | 王豫（Yu Wang 0093） | 12 | 2015—2026 | SEG成员 |
| 14 | 翟娟（Juan Zhai） | 6 | 2015—2020 | 美国马萨诸塞大学阿默斯特分校助理教授（曾任教华中科技大学、罗格斯大学）；GUI测试合作 |
| 15 | Guoqing Harry Xu | 4 | 2019—2021 | 加州大学洛杉矶分校教授；Graspan/JPortal/Chianina 程序分析合作线 |
| 16 | 苏振东（Zhendong Su） | 4 | 2010—2024 | 加州大学戴维斯分校教授（现ETH Zurich） |
三、博士教育背景与导师追溯
- 本科：南京大学计算机科学系，1985年毕业。
- 早期工作：1985—1988年在南京航空航天大学计算机系任助教。
- 硕士/博士：均获自南京大学计算机科学系（1991年硕士、1994年博士，其间1991年起回南大任教）。其博士（1994）阶段的导师公开主页未明示；常见资料称其为郑国梁教授的学生——DBLP记录显示郑国梁与李宣东在1996—2007年间合作28篇，为其早年发表中最密切的资深合作者，与此说法相互印证（本报告存疑待核，见第七节）。
- 师承语境：李宣东博士毕业的1994年前后，正值南大软件学科徐家福—郑国梁一代建立"程序自动化—软件工程"研究体系之时；李宣东是承接该体系并转向"形式化方法+软件测试"的第二代代表人物。
四、团队合作网络
4.1 教师同事层（SEG / 软件所 / 软件学院）
| 姓名 | 职务/方向 | 与李宣东的关系 |
|---|---|---|
| 王林章 | 教授、CCF会士；软件分析/测试/验证 | SEG核心副手，合作74次；曾长期担任CCF系统软件专委秘书长/副主任 |
| 赵建华 | 教授；程序验证、形式化方法 | 合作56次，1998年起；SEG另一支柱 |
| 卜磊 | 教授；形式化验证、混合系统 | 合作46次；2024年度中创软件基金获得者 |
| 张天 | 教授；模型检测、语义代码分析 | 合作54次 |
| 陈鑫、王豫、汤恩义、李忠、陆逸飞、左志强 | SEG/软件学院骨干 | 长期署名合作者（各12—28次） |
| 吕建 | 院士（另有独立报告） | 软件所/实验室治理层同事；两人直接合著极少，分工为"软件工程/形式化方法线（李）"与"软件方法学/网构软件线（吕）" |
| 马晓星 | 教授、计算机学院院长（另有独立报告） | 软件所同事；治理层协作为主 |
| 黄宇、蒋炎岩 | （已有独立PI报告） | 软件所同事圈层交叉引用，非SEG成员 |
4.2 学生与青年成员层
SEG的学生网络以"教师—学生"两级展开（以下为DBLP高频一作/年轻合作者，除有明确公开履历者外不逐一断言师承）：
- 潘敏学：2009年起以一作产出CAV 2009（TASS工具）、ICSE 2019、TOSEM 2023等，为移动应用测试线的主要执行者。
- 左志强：与Harry Xu、王林章合作发表Grapple（EuroSys 2019）、JPortal（PLDI 2021）、Chianina（PLDI 2021）、Graspan（TOCS 2020），代表SEG在大规模程序分析方向的国际突破。
- 陆逸飞、李忠、司凌云、高凤娟、张艺翼、曹少恒等：2020年代GUI测试/约束求解/大模型软件工程方向的一作主力（2024—2025年产量高峰的主要贡献者）。
- 与其他单位的联合培养线：香港理工大学（裴宇）、UMass Amherst（翟娟，南大系出身）的移动测试合作网络。
SEG三条子线（DBLP证据）
| 子线 | 骨干 | 代表成果 | 主要阵地 |
|---|---|---|---|
| 形式化验证/混合系统 | 卜磊、李忠、张天 | TASS工具（CAV 2009）、线性混合自动机可达性分析、航天嵌入式验证 | HSCC、CAV、TCAD、DATE |
| 移动应用GUI测试 | 潘敏学、陆逸飞、裴宇、翟娟 | GUI引导测试脚本修复、测试放大、好奇心驱动测试 | ISSTA、ICST、ICSE、TSE/TOSEM |
| 大规模程序静态分析 | 左志强、王林章（+UCLA Harry Xu） | Graspan/Grapple/JPortal/Chianina（百万行级C/JVM程序分析） | PLDI、EuroSys、TOCS |
4.2.1 团队编年（合作网络的时间剖面）
| 时期 | 团队主力组合 | 主要方向 |
|---|---|---|
| 1996—2003 | 李宣东—郑国梁—赵建华 | UML时序逻辑、模型检测、软件建模 |
| 2004—2013 | +王林章、张天、卜磊、潘敏学、陈鑫 | 形式化验证与工具链（TASS）、中间件测试 |
| 2013—2020 | 潘敏学一作线+裴宇/翟娟 | 移动应用GUI测试高峰期 |
| 2019—2026 | +左志强（与Harry Xu合作）、陆逸飞、李忠 | 大规模程序分析、LLM赋能测试与验证 |
4.3 人才培养
- SEG走出了多位高校教师（卜磊、张天、左志强、潘敏学等留所/留院任教；裴宇现任港理工副教授、翟娟现任UMass Amherst助理教授等任职外校），形成"形式化方法+软件测试"人才谱系。
- 李宣东本人担任系主任/院长期间，推动南大计算机系与软件学院的学科治理及苏州校区智能软件与工程学院建设；2025年10月以CCF软件工程专委主任身份出席全国计算机名词审定委员会会议，仍在学术共同体一线。
五、业界合作关系深度分析
- DBLP署名层面的企业合作稀疏：其论文合作者中几乎未见企业署名作者，公开论文网络未显示稳定的产业合作通道（与吕建线形成对照）。
- 国家重大任务渠道：SEG长期承担国家863、973课题与"核高基"重大专项相关研究（形式化验证与软件质量保障方向），此类任务通常涉及国内基础软件企业（操作系统/EDA/航天等），但具体企业合同与成果转化细节公开资料未披露。
- 学术共同体的产业连接：作为CCF软件工程专委主任与系统软件专委前主任，其主导的CNCC/中国软件大会等场合与华为、阿里、腾讯等企业研发负责人（如阿里通义李永彬、华为夏鑫等）同台研讨"大模型赋能软件工程"；此类互动属学术共同体层面，未见个人级合作项目公开。
- 中创软件基金：李宣东1998年获中创软件人才奖，2024年作为推荐专家出席该基金颁奖仪式——该基金（中创软件股份）是国内软件工程界主要的产学研奖项渠道，可视为其与企业界的主要制度化连接点。
六、Connection圈层总结
- 中心圈（师承待核）：郑国梁（前辈/疑为博士导师）→ 李宣东 → 王林章、赵建华、卜磊、张天、潘敏学、左志强、陈鑫等（SEG谱系，师承以学位档案为准）。
- 团队圈：SEG是南大"软件工程/形式化方法"主线的组织载体，内部以"李宣东—王林章/赵建华"为双核，向外辐射移动测试、程序分析、混合系统验证三条子线。
- 同事圈：吕建、马晓星（软件所治理层，各有独立报告）；黄宇、蒋炎岩（独立PI，仅作圈层引用）。
- 国际圈：Guoqing Harry Xu（UCLA，程序分析合作线）、苏振东（UC Davis→ETH）、Wensheng Dou（中科院软件所）等；欧洲形式化方法共同体（FM、ICTAC、TASE会议网络）。
- 业界圈：个人署名层面的企业合作未见于公开数据库；产业连接主要通过国家重大专项（细节未公开）与CCF/中创软件基金等学术共同体渠道。
- 整体画像：李宣东是"学术线掌门+学科组织者"型学者——以SEG为学术纵深（形式化方法与软件测试的长期主义布局），以系主任/院长/专委主任为组织广度，其网络特征是高内聚的团队谱系与低密度的企业署名，影响力主要通过学科建制与人才谱系传导。
七、数据来源与局限性说明
- 数据来源：DBLP作者页（pid 76/5446，2026年8月抓取，241条记录）；南京大学计算机学院教师介绍页；南京大学智能软件与工程学院（苏州校区）官网；CCF官网新闻（CNCC 2024"大模型如何使能软件工程"论坛嘉宾介绍、2025年10月全国计算机名词委会议报道）；中创软件基金颁奖仪式南京大学新闻稿；百度百科（履历核对）。
- 局限性：
- 其个人主页信息分散于多个机构页面（计算机学院、软件学院、智能软件与工程学院），任职起讫时间以新闻报道为准，可能存在月度级误差；
- 博士导师归属（是否为郑国梁）未见官方主页明示，本报告仅以"常见资料+合作记录佐证"处理，存疑待核；
- SEG成员（王林章、赵建华、卜磊、张天等）与李宣东的师生关系（博士导师/非导师同事）未逐一获官方确认，本报告仅在合作记录层面描述；
- DBLP不覆盖其大量中文论文（《软件学报》《计算机学报》《电子学报》等）与国内奖项，实际学术产出高于DBLP口径；
- 企业合作（如承担的横向课题）公开资料未披露，本报告相应章节仅基于可公开查证的署名与活动证据。