南京大学 左志强 长聘副教授（特聘研究员）
报告生成时间：2026年 个人主页：https://z-zhiqiang.github.io/ 所属团队：南京大学计算机软件研究所 Software Engineering Group（SEG）
一、学者基本信息
| 项目 | 内容 |
|---|---|
| 姓名 | 左志强（Zhiqiang Zuo） |
| 英文名 | Zhiqiang Zuo |
| 职称 | 南京大学长聘副教授（tenured associate professor，受聘特聘研究员）、博士生导师 |
| 所属单位 | 南京大学计算机科学与技术系（现计算机学院）、计算机软件研究所（计算机软件新技术全国重点实验室） |
| 实验室职务 | 软件工程组（Software Engineering Group, SEG）成员 |
| 学术头衔 | 国家级青年人才（个人主页自述"国家级青年人才"，据第三方汇总为优青，入选年份公开来源未标注）；南京大学青年人才支持计划（具体计划名称公开来源未明确披露，个人主页无"紫金学者/佑新学者"记载） |
| 研究方向 | 系统软件、编译器与运行时、程序分析（program analysis）；横跨 Programming Languages、Software Engineering、Systems 三大领域；近年涉及 AI 编译、深度学习编译器、LLM 相关方向 |
| 邮箱 | zqzuo@nju.edu.cn |
| 个人主页 | https://z-zhiqiang.github.io/ |
左志强是南京大学软件工程组（SEG）面向大规模程序分析与系统软件方向的青年骨干。其研究以"程序分析 × 系统底层"为切入点，与李宣东（Xuandong Li）同在 SEG 课题组，是该组在大规模分布式/增量式程序分析、非易失内存编程、GPU 与编译器优化、AI 编译等方向的主要推动者之一。
重名说明：左志强之名与天津大学控制科学与工程方向的"左志强"教授为不同学术领域的同名学者，二者研究方向（左志强聚焦程序分析/系统软件；天大那位聚焦控制理论）完全不同，无学术交集，不属于本报告讨论对象。
二、教育背景与职业履历
- 博士：新加坡国立大学（National University of Singapore, NUS）博士学位，导师为 Siau-Cheng Khoo 教授（其中文译名公开来源未验证，本报告不作中文名认定）。
- 博士后：美国加州大学尔湾分校（UC Irvine），合作导师为 Harry Xu（徐昊）。Harry Xu 是系统/编译方向学者，学术轨迹自 UCLA（加州大学洛杉矶分校）延伸至 UC Irvine，研究工作以大规模程序分析与系统优化（如 JVM 分析、大数据图分析系统 Graspan 等）著称。
- 南京大学任职：
- 约 2018–2019 年加入南京大学计算机系，任助理教授（Assistant Professor）；
- 2022 年晋升长聘副教授，其个人主页当年公告 "Promoted as tenured associate professor (tenure-track) at NJU"；
- 受聘特聘研究员（学术岗位序列，公开资料未披露具体聘任细则）。
师承关系澄清： 需明确指出，李宣东并非左志强的博士与博士后导师。其博士导师是新加坡国立大学的 Siau-Cheng Khoo，博士后合作导师是加州大学尔湾分校的 Harry Xu。李宣东与左志强的关系本质上是左志强进入南大之后的课题组组长—成员关系，即李宣东作为 SEG 资深带头教授与组内青年教师左志强之间的上级、合作同事层面关系。
职业履历时间线上的精确节点（加入南大的具体年月、国家优青入选的具体年份等）公开来源未披露。
三、学生培养情况
左志强作为博士生导师，研究组聚焦 AI 编译、编译器、程序分析 方向招收博士与硕士研究生。
- 面向学生培养的公开渠道：其个人主页设有 students 标签（Students & Alumni），展示近期博士生与毕业生信息；具体培养名单公开资料未披露完整，以主页更新为准。
- 指导/合作过的学生与合作者（公开署名层面可见）：Yiyu Zhang、Zewen Sun、Tianyi Liu、Xudong Sun 等；其中近期博士毕业生（Zewen、Yiyu 等）的具体毕业去向与单位公开资料未披露。
- 培养口径需区分：以上署名合作者中，部分为左志强课题内学生（直接协作产出论文），部分为跨组交叉合作者（论文合作层面）。每位学生的"直接指导/联合指导/团队培养/论文合作"细分角色，公开来源未逐一披露，本报告不做强行指派，仅以公开署名合作记录描述。
研究组培养主题聚焦系统/编译/程序分析，毕业生主要面向国内外系统软件、AI 基础设施与编译器方向岗位，具体去向详情公开资料未披露。
四、学术合作网络
4.1 实验室内部合作（SEG / 软件所）
| 合作者 | 身份/职务 | 与左志强的合作特征 |
|---|---|---|
| 李宣东（Xuandong Li） | SEG 资深带头教授 | 论文合作者关系，多出现在左志强通讯的顶会论文署名中；属进入南大后的课题组组长/合作者角色，非导师关系；共同成果如 HybridPersist（OOPSLA'25，非易失内存编程）、Scaling Inter-procedural Dataflow Analysis（TOPLAS 期刊版，扩展自 FSE'23 相关工作） |
| 王林章 | SEG 教授、CCF 会士 | 长期同组合作者，程序分析与软件测试方向交叉 |
| 李樾（Yue Li） | 软件所 PASCAL 组教授 | 程序分析与静态分析方向交叉合作（如 PLDI 2021 Chianina 等） |
| 谭添 | PASCAL 组准聘助理教授 | 静态分析方向交叉（同上合作线） |
| 赵建华、张天、卜磊、陈鑫、王豫等 | SEG 骨干教师 | 同课题组成员（同事层面），正式合著以具体论文为准 |
团队归属：SEG 官网（seg.nju.edu.cn）计算机科学与技术系成员表收录成员包括：李宣东、赵建华、王林章、陈鑫、张天、卜磊、左志强、王豫。左志强个人主页身份栏亦自述 "Software Engineering Group / School of Computer Science / Nanjing University"，与团队归属一致。
4.2 跨机构/国际合作
- 新加坡国立大学（NUS）：博士学习时期师从 Siau-Cheng Khoo 教授，博士阶段科研训练通道。
- 加州大学（UCLA → UC Irvine）：博士后合作导师 Harry Xu（徐昊），程序分析/编译/系统方向；二人的大规模程序分析研究（如 Graspan 系列）构成跨机构长期合作线。
- 学术社区网络：担任 PLDI、FSE、ICSE、ASE、ASPLOS、CC 等程序语言/软件工程/系统核心会议的程序委员会（PC）或常务（RC）成员，属高密度学术协作网络。
五、业界合作关系深度分析
左志强面向 AI 编译、编译器与程序分析的应用场景，与国内头部科技企业存在转化合作（华为、阿里、腾讯等），具体合作合同与转化细节公开资料未披露。
- 华为：获 CCF-华为创新研究奖，合作方向与编译器及 profile-guided optimization（PGO，面向 GPU）优化相关；具体项目公开资料未披露。
- 阿里：获阿里 AIR（创新研究）奖，方向涉及分布式存储（数据完整性）；总体围绕阿里云/AI 基础设施的程序与系统层面问题（具体规模未披露）。
- 腾讯：企业层面的程序分析、编译与软件工程方向合作，具体项目公开资料未披露。
- 开源与生态侧：与 Python/深度学习编译生态及 AI 编译工具链相关，具体企业采用与应用情况公开资料未披露。
合作边界说明： 以上业界合作关系多基于奖项公示、公开新闻、共同署名与专利等间接证据，多数专项合同细节、金额与具体转化成果公开资料未披露，存在不确定性。
六、重要奖项与学术兼职
| 奖项/兼职 | 说明 |
|---|---|
| 国家级青年人才 | 个人主页自述"国家级青年人才"（据第三方汇总为优青，入选年份公开来源未标注） |
| 校级人才计划 | 南京大学青年人才支持计划（具体名称公开来源未明确披露） |
| CCF-华为创新研究奖 | 面向 profile-guided optimization for GPU 方向 |
| 阿里 AIR 创新研究奖 | 面向分布式存储（数据完整性）方向 |
| 学术兼职 | 担任 PLDI、FSE、ICSE、ASE、ASPLOS、CC 等会议 PC/RC 成员 |
| 代表论文（公开） | OSDI'22（Upgradvisor，二进制升级）、EuroSys'19（Grapple）、HardTaint（OOPSLA'24，动态污点分析/硬件架构 trace）、TailTaint（OOPSLA'25）、HybridPersist（OOPSLA'25）、ISSTA'23（Catamaran）、ICSE'23（DStream）、TOPLAS（增量式分布式数据流分析，扩展自 FSE'23 BigDataFlow 相关工作的期刊版） |
（注：奖项与兼职的逐年全覆盖性，公开资料未披露，以上为已核实摘要。）
七、Connection 圈层总结
第一圈层——国际化上游导师链（博士与博士后）： 左志强的学术谱系自基础训练起即为"程序分析、系统、编译"的国际化路线：新加坡国立大学（导师 Siau-Cheng Khoo）提供形式化与程序分析的经验训练，奠定博士阶段基本范式；加州大学（UCLA → UC Irvine）的 Harry Xu（徐昊）作为博士后合作导师，将其推向系统与编译器层面，此阶段合作的 Grapple（EuroSys'19）与后来的系列工作构成其学术立身之本，定义了"系统 + 程序分析"双栖的上游基因。
第二圈层——SEG 课题组的同事网络： 进入南大后，左志强嵌入软件工程组（SEG）协作体系：李宣东为课题带头人（SEG 资深教授、所在课题组的组长），王林章、赵建华、张天、卜磊、陈鑫、王豫等构成教师同事圈。论文署名层面其多为通讯作者，李宣东作为合作者共同署于顶会论文（HybridPersist/OOPSLA'25 非易失内存编程系列、TOPLAS 分布式数据流分析期刊扩展版），呈"课题组长-成员协同"的产出模式，奠定其在南大软件工程与程序分析方向的高内聚学术网络。
第三圈层——跨组程序分析网络： 与软件所其他小组及校内静态分析方向同行（如李樾、谭添等 PASCAL 组）形成方向互补的弱连接协作，多以共享顶会与程序分析工具链为平台，构成校内的学术协作网络。
第四圈层——业界转化网络： 通过 CCF-华为创新研究奖（GPU/PGO 方向）、阿里 AIR 创新研究奖（分布式存储完整性）、以及向头部企业（华为、阿里、腾讯等）的程序分析/编译器方向转化，连接产业需求，是其研究通向现实基础设施（编译器、AI/深度学习编译器、分布式存储）的端口；具体合作深度、合同与转化规模公开信息未披露。
第五圈层——学术社区网络： 担任 PLDI、FSE、ICSE、ASE、ASPLOS、CC 等一级会议 PC/RC 成员，属高密度的社区协作网络，支撑其在程序分析与系统方向的学术话语权。
整体画像： 左志强是"国际训练 + SEG 内聚 + 系统/编译前沿 + 产业转化"复合型青年学者。其网络特征：上游国际化双导师（NUS 博士 + UC Irvine 博后），中游高内聚 SEG（组长李宣东 + 组内同事），下游刚性对接头部企业（华为/阿里/腾讯）与 AI 编译前沿，是一条从"系统分析基础设施"到"AI 编译工业化"的连接性通道型学术网络，当前处于学术发力的上升期。
数据来源与局限性说明
- 个人主页：https://z-zhiqiang.github.io/（身份、研究方向、会议/奖项、students 标签等公开信息）
- SEG 官网（seg.nju.edu.cn）计算机科学与技术系成员表
- DBLP 作者记录（署名 Zhiqiang Zuo，涉及重名消歧，按研究领域为主）
- 公开论文（OSDI'22、EuroSys'19、OOPSLA'24/25、ISSTA'23、ICSE'23、TOPLAS 等）
- 南京大学与相关企业公开奖项公示
局限性： 1. 国家级青年人才（国家优青）入选的具体年份，公开来源未标注，本报告按"约2022–2025间"表述。 2. 博士/博士后师承（NUS Siau-Cheng Khoo、UC Irvine Harry Xu）基于公开信息与学术谱系综合判断，学位档案与正式导师确认以本人官方发布为准。 3. 华为、阿里、腾讯等产业合作多为奖项/署名等证据，具体合同、金额与成果转化公开资料未披露。 4. DBLP"Zhiqiang Zuo"存在重名消歧问题，本报告以研究方向、机构记录为准。 5. 学生（Yiyu Zhang、Zewen Sun 等）的具体指导分工（直接/指导/团队）与毕业去向，公开资料未逐一披露，未做指派。