南京大学 黄宇 教授
报告生成时间：2026年8月20日
个人主页：黄宇
所属团队：南京大学计算机软件研究所分布式算法小组（DisAlg）
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 黄宇（Yu Huang） |
| 出生年份 | 公开资料未披露 |
| 职称 | 教授、博士生导师 |
| 所属单位 | 南京大学计算机科学与技术系、计算机软件研究所；计算机软件新技术国家重点实验室（南京大学） |
| 实验室职务 | DisAlg（Distributed Algorithm）小组负责人；南京大学计算机软件研究所官网组织页将其列为该小组唯一负责人 |
| 学术头衔 | 公开资料未披露其他可稳定核实的学术头衔 |
| 国家级人才 | 公开资料未披露 |
| 其他任职 | 公开资料未披露可稳定核实的现任学术兼职 |
| 邮箱 | 个人主页以图片方式公布，文本邮箱公开资料未披露 |
| 研究方向 | 分布式算法、分布式系统、形式规约与系统可靠性；中文资料亦概括为软件方法学 |
黄宇的公开身份以南京大学计算机软件研究所成员和 DisAlg 小组负责人为中心。软件所组织页同时列出了马晓星、许畅、蒋炎岩、吕建等所内教授或管理节点；这些人是软件所层面的同事、协作或学术环境节点，并非黄宇团队的共同 PI。本报告严格区分“软件所成员关系”与“DisAlg 的负责人关系”。
二、教育背景与职业履历
黄宇的教育与职业路径均有个人主页的一手时间信息。1995年9月至1997年6月，他就读于苏州中学；2002年6月获中国科学技术大学计算机科学学士学位。2003年9月至2007年7月，他以中国科学技术大学与中国科学院软件研究所软件工程技术中心联合培养博士生身份学习；其中2005年9月至2006年9月曾在香港理工大学计算学系以访问学生身份学习。2007年6月，他获中国科学技术大学计算机科学博士学位，博士导师为冯玉琳教授。
2007年7月，黄宇加入南京大学计算机软件新技术国家重点实验室，并成为南京大学计算机软件研究所及计算机科学与技术系教师。其职称演进为：2007—2009年助理教授，2010—2016年副教授，2017年晋升教授。个人主页明确其为博士生导师，并持续面向分布式算法、分布式系统、形式规约与系统软件正确性、可靠性方向招收博士、硕士及本科生。
研究轨迹显示，他从分布式算法与数据一致性问题，延展至面向真实系统的规格、模型检验和系统正确性研究。其个人主页所列近期代表成果包括：PODC 2020 的分布式多写原子寄存器快速实现细粒度分析；SRDS 2022 的 TLA+ 共识协议组合式模型检验工作；EuroSys 2024 的 SandTable；EuroSys 2025 的多粒度分布式系统规格；以及与加拿大英属哥伦比亚大学、伊利诺伊大学香槟分校等研究者合作的 SysMoBench（ICLR 2026，已录用）和 Specula（2026年7月 arXiv 预印本，均按其个人主页所列状态表述）。这些成果反映出从算法正确性到“规格—代码”联动的研究延续，而非仅按论文共著关系推断人员隶属。
三、学生培养情况
南京大学软件所官网明确确认两位由黄宇与吕建共同指导、并获 CCF 优秀博士学位论文奖的博士毕业生。除这两例外，黄宇个人主页虽列出近年成果作者，但未提供当前或既往学生名册、培养关系或毕业去向；因此不以论文署名推定其他作者为其学生，也不将无法一手确认的信息补写为师生关系。
1. 魏恒峰（湖南大学副教授，博士生共同指导）
软件所官网明确记载：魏恒峰获2017年 CCF 优秀博士学位论文奖，导师为黄宇、吕建；CCF获奖公告列其培养单位为南京大学，论文题目为《分布数据一致性技术研究》。魏恒峰本人当前任湖南大学信息科学与工程学院副教授（2025年8月起），该校主页确认其2016年获南京大学计算机学院博士学位，研究聚焦分布式系统、数据库，以及以形式化方法研究数据库事务一致性（隔离级别）。这构成了黄宇在“分布式一致性—形式方法”方向最清晰的公开学术传承节点。需强调：关系是黄宇与吕建共同指导，而非单独指导。
2. 杨怡玲（博士毕业生，博士生共同指导）
软件所官网明确记载：杨怡玲获2016年 CCF 优秀博士学位论文奖，导师为黄宇、吕建；黄宇个人主页的获奖记录亦列有该奖项。由此可确认杨怡玲为黄宇与吕建共同指导的获奖博士毕业生。关于其博士论文题目、毕业后的任职机构、现阶段研究方向及产业去向，所检索到的官方页面未披露；本报告不据同名人物、论文署名或非官方转载进行推断。
3. 近年研究生与青年研究者（公开资料未披露具体师生名册）
个人主页列出的近期工作涉及程潜、唐瑞泽、欧阳凌志、孙旭东、苏一鸣等作者，并与黄宇共同完成分布式系统模型检验、规格构建和系统代码研究。但页面没有将这些作者明确标注为黄宇所指导的学生，也没有给出其具体培养层次和导师归属。公开资料未披露足以逐一确认的师生关系，故不将其纳入学生名单。这一保留有助于避免把共同作者或其他导师学生误归入 DisAlg。
四、学术合作网络
4.1 软件所内部与 DisAlg 核心环境
DisAlg 的组织关系最明确：南京大学计算机软件研究所官网将其列为“Distributed Algorithm”小组，且仅列黄宇为小组负责人。黄宇同时是软件所教师队列成员，因此其研究活动嵌入软件所的基础研究环境；但官网并未把软件所所有教师列为 DisAlg 成员或共同负责人。
马晓星、许畅、蒋炎岩与吕建均是需要准确定位的所内节点。马晓星是软件所所务会成员，且与黄宇共同署名 SandTable、Converos、SysMoBench 等近期系统研究；这种关系可表述为跨软件所研究课题的论文协作。许畅是基础研究中心负责人；蒋炎岩是软件所出身、后以独立 PI 方式开展研究的系统软件学者；二人同属软件所生态，但公开资料未显示其为 DisAlg 共同 PI。吕建为软件所首席科学家，且与黄宇共同指导魏恒峰、杨怡玲两位 CCF 优秀博士论文奖获得者，构成明确的共同培养关系。上述边界不能因同所身份而抹平。
4.2 跨机构与国际研究协作
黄宇主页列出的近期合作呈现以开放系统工具、形式规约和真实系统为纽带的跨机构网络。EuroSys 2025 的论文由黄宇、欧阳凌志、唐瑞泽、孙旭东、马晓星和伊利诺伊大学香槟分校的 Tianyin Xu 等共同署名；该工作还将 ZooKeeper 的规格贡献合并至 Apache ZooKeeper 仓库，形成学术规格与开源系统社区的直接衔接。
更近的 SysMoBench 和 Specula 工作包含来自英属哥伦比亚大学的 Ivan Beschastnikh、伊利诺伊大学香槟分校的 Tianyin Xu，以及 Emilie Ma、Finn Hackett、Saad Pial、Peiyang He、Yiming Su 等作者。个人主页足以确认这些跨机构论文合作与工具链接，但不应由此推断所有合作者的雇佣关系、导师关系或长期联合实验室身份。跨机构网络的可靠表述是：围绕真实系统形式规格、自动化模型检验和 AI 模型能力评测建立了项目型合作。
五、业界合作关系深度分析
5.1 面向产业问题的联合项目与技术接口
黄宇个人主页明确列出若干与产业方或产学研基金相关的项目：2021年1月起的“RDMA 和 NVM 加速 ParallelRaft 的设计与验证”，资助方为 Alibaba AIR；2023年11月的 CCF—华为胡杨林基金“分布式系统深层缺陷检测”；2025年3月的华为技术合作项目“网络操作系统竞争条件动态分析”；以及2025年12月的 CCF—华为胡杨林基金“分布式系统模型检验引导的测试”。这些记录表明团队的外部合作并非泛泛的企业关联，而是围绕分布式存储、网络操作系统、并发缺陷和模型检验引导测试等明确技术议题展开。
CCF公开活动材料也显示，黄宇曾报告“基于模型与代码一致性的并发与分布式系统验证框架（Conformance）”，并介绍其团队提出的实用型 Conformance 框架。该技术路线的价值在于把抽象模型、实现代码与系统测试联系起来，以改善并发和分布式系统中深层错误的发现、复现和修复支持。公开资料未披露该框架是否已被具体企业产品线采用、项目经费规模、知识产权安排或联合团队人员构成，因此不作超出资料的商业化结论。
5.2 创业孵化与产业化边界
截至报告日期，黄宇个人主页与南京大学软件所官方页面没有披露黄宇创办或控制企业、孵化公司、融资事件、股权关系或正式技术转移公司的信息。公开资料未披露。因而，本报告不把 Alibaba AIR、华为技术合作、CCF—华为胡杨林基金或 Apache ZooKeeper 社区贡献描述为创业项目。
团队的可见“转化”更适合界定为研究工具、形式规格和真实系统缺陷分析的工程接口：SandTable、ZooKeeper TLA+ 规格等工作提供了可复现的开源资源，Conformance 说明了研究框架的实用取向。这些成果可能降低产业系统采用形式方法的门槛，但从公开资料不能推导其商业收入、客户清单或公司化运营状态。
六、重要奖项与学术兼职
| 年份 | 奖项或事项 | 与黄宇网络的关系及说明 |
|---|---|---|
| 2024 | 江苏省一流本科课程 | 黄宇个人主页列出《算法设计与分析》获江苏省一流本科课程，体现其在算法教学上的持续投入。 |
| 2022 | SRDS Prof. C. V. Ramamoorthy Best Paper Award | 软件所官网列出谷晓松、黄宇获 SRDS 2022 最佳论文奖；黄宇主页所列论文题为 TLA+ 共识协议组合式模型检验。 |
| 2018 | 高校计算机专业优秀教师奖励计划 | 软件所官网教学奖栏目列黄宇获得该奖励。 |
| 2017 | CCF 优秀博士学位论文奖 | 魏恒峰获奖，软件所官网明确导师为黄宇、吕建。 |
| 2016 | CCF 优秀博士学位论文奖 | 杨怡玲获奖，软件所官网明确导师为黄宇、吕建。 |
| 2014 | 南京大学“登峰人才”计划 B 类 | 黄宇个人主页的 Awards and Recognition 栏目列出。 |
| 2011 | 教育部技术发明一等奖 | 黄宇个人主页说明其为“Internetware关键技术、平台与应用”项目10名成员中的第9位。 |
| 未标明年份 | 南京大学计算机系“毕业生心目中的好课程” | 软件所官网教学奖栏目列《算法设计与分析》（黄宇）。 |
个人主页未列出可一手确认且仍在任的学术兼职清单，故不以会议论文、演讲邀请或 CCF 活动参与替代正式学术任职。其他奖项或人才称号如缺少可靠来源，公开资料未披露。
七、Connection圈层总结
第一圈层：DisAlg 的单一负责人及共同培养纽带。 黄宇是软件所官网确认的 DisAlg 唯一小组负责人。与吕建共同指导魏恒峰、杨怡玲并获得两项 CCF 优秀博士学位论文奖，是目前最明确、最可核实的学生培养连接。魏恒峰现任湖南大学副教授，使该学术传承延伸到分布式系统与数据库形式方法方向；杨怡玲的后续职业信息公开资料未披露。
第二圈层：南京大学软件所协作生态。 黄宇与吕建、马晓星、许畅、蒋炎岩共享软件所这一组织环境，但关系性质并不相同：吕建与黄宇存在共同博士培养关系；马晓星在近期分布式系统模型检验研究中是明确论文合作者；许畅和蒋炎岩是所内同事及相邻研究方向节点。四人均不得表述为黄宇团队的共同 PI。
第三圈层：规格、模型检验与开源系统的项目网络。 唐瑞泽、欧阳凌志、孙旭东、程潜等名字出现在黄宇主页的近期研究成果中，代表了围绕 SandTable、Converos、SysMoBench、Specula 等项目的合作网络；不过公开资料未披露每位作者与黄宇之间的培养关系。Apache ZooKeeper 规格进入项目仓库，则使这个圈层进一步连接到开源系统维护社区。
第四圈层：跨机构学术与产业接口。 以 Ivan Beschastnikh、Tianyin Xu 等国际合作者为代表的论文协作，连接了真实系统规格与自动化模型检验研究；以 Alibaba AIR、华为技术合作项目、CCF—华为胡杨林基金为代表的外部项目，则连接了 ParallelRaft、网络操作系统竞争条件、分布式系统测试等工程问题。该圈层的核心特征是问题与项目协作，而非可由公开信息证明的共同机构或商业实体关系。
总体上，黄宇的网络以“分布式算法—系统正确性—形式规格与代码协同”为主线，组织核心清晰地落在 DisAlg 的单一负责人角色上。最稳固的连接是与吕建共同培养的两位获奖博士及软件所内的系统研究协作；其后是与国内外研究者、开源社区和产业基金共同推进真实分布式系统可靠性的项目化网络。对未被官方页面或学生主页明确确认的学生、任职和产业信息，均应维持“公开资料未披露”的边界。