上海交大IPADS 王肇国 教授
报告生成时间：2026年8月3日
个人主页：https://zhaoguowang.github.io/
所属研究所：https://ipads.se.sjtu.edu.cn/
一、报告范围与学者基本信息
本报告基于王肇国个人主页、上海交通大学计算机学院教师名录、软件学院旧教师页、南京大学软件学院校友页、中国计算机学会公告，以及论文出版页和 OpenHarmony、华为公开材料整理。关系判定以公开署名论文、任职信息、项目页和本人/机构主页为依据；对于不能由公开材料证明的师承、指导关系或组织头衔，均保留其不确定性，不以共同机构或共同论文简单替代正式师生关系。
| 项目 | 公开信息与说明 |
|---|---|
| 姓名 | 王肇国（Zhaoguo Wang） |
| 当前职称 | 教授。截至本报告日期，上海交通大学计算机学院中英文教师名录及其个人主页均写作“教授”。软件学院旧教师页仍写“副教授/博士生导师”，2025年CCF青年科技奖公告亦写“长聘副教授”；二者反映的是较早的人事职级或网页更新滞后，不能覆盖计算机学院教师名录和本人主页的当前展示。故本报告采用“教授”，同时保留上述信息差异。 |
| 机构与岗位 | 上海交通大学计算机学院、并行与分布式系统研究所（IPADS）教授、博士生导师；软件学院公开领导页显示其任副院长，分管研究生与科研工作。学校2025年任职通知还显示其挂任国家卓越工程师学院副院长。 |
| 学术头衔与项目 | 国家优秀青年科学基金获得者；国家重点研发计划项目负责人；主持国家自然科学基金面上项目。其个人主页列出优青项目“高性能事务性存储系统”（62422209，2025—2027）、重点研发计划“面向新一代国产超算系统的总体与测评技术”（2023YFB3002000，2023—2026）及面上项目“分布式存储系统的一致性关键技术研究”（62272304，2023—2026）。 |
| 研究方向 | 系统软件理论与架构，核心覆盖并行/分布式数据库、事务与一致性、存储系统、SQL等价性与查询重写、形式化方法支撑的系统代码推理，以及 AI-native 自主科研基础设施。 |
| 论文与学术产出 | 个人主页的“带领团队主导发表”列表按当前版本约列出38篇会议/期刊/预印本条目，并明确说明该列表不含其参与但非团队主导的全部工作；因此不应把该数当作完整生涯论文总量。代表性发表场所包括 OSDI、SIGMOD、VLDB、NSDI、PODC、EuroSys、PPoPP、USENIX ATC、CACM 与 TODS。 |
| 代表性系统/工作 | FM-Agent、SQLSolver、WeTune、Ad Hoc Transactions、AutoDNA。WeTune 已公开说明落地华为云 GaussDB 商业版；SQLSolver为 SQL 等价性验证工具，FM-Agent与AutoDNA体现其向形式化智能体和自主实验室系统软件的延展。 |
从研究轨迹看，王肇国的中心议题并非孤立的“数据库性能优化”，而是以事务语义、可验证性与系统可扩展性连接理论问题和真实工程系统：早期侧重硬件事务内存、内存数据库与并发控制；中期转向学习型并发控制、索引和Web应用事务；近年进一步将SQL验证、自动规则发现和大模型/智能体系统结合。这种演进解释了其关系网络同时横跨IPADS系统组、数据库理论与优化器社区、纽约大学系统团队、华为数据库与OpenHarmony生态。
二、教育背景与职业履历时间线
王肇国是南京大学软件学院2008届本科毕业生。南京大学软件学院校友页面明确记载其本科毕业后进入复旦大学深造；上海交通大学软件学院教师页给出了以下精确时间节点：2008年6月南京大学软件工程本科毕业，2011年6月获复旦大学计算机软件与理论硕士学位，2014年6月获复旦大学计算机系统结构博士学位；2014年9月至2017年8月在纽约大学任博士后研究员，2017年9月至2018年2月任纽约大学非终身制助理教授，2018年3月加入上海交通大学并任博士生导师。
| 时间 | 学校/机构 | 身份与节点 | 对关系网络的意义 |
|---|---|---|---|
| 2004—2008（毕业于2008.06） | 南京大学软件学院 | 软件工程本科 | 形成软件工程校友网络；南京大学官方校友页确认其为2008届。 |
| 2008—2011（毕业于2011.06） | 复旦大学 | 计算机软件与理论硕士 | 进入上海系统软件与数据库研究共同体。 |
| 2011—2014（毕业于2014.06） | 复旦大学 | 计算机系统结构博士 | 研究主题转向系统结构、并发与事务；与后续IPADS和NYU合作网络相衔接。 |
| 2014.09—2017.08 | 纽约大学 | 博士后研究员 | 与Jinyang Li团队建立长期合作，形成跨校分布式系统/数据库合作链。 |
| 2017.09—2018.02 | 纽约大学 | 助理教授（非终身制） | 延续NYU系统研究环境和国际共同署名网络。 |
| 2018.03—至今 | 上海交通大学IPADS | 教师、博士生导师；现个人主页和计算机学院名录显示教授 | 将NYU—复旦系统研究经验汇入IPADS，在数据库、验证、AI系统与产业转化方面扩展团队。 |
关于博士导师，现有公开材料可以明确证明王肇国在复旦大学完成硕博阶段和系统方向训练，但未检索到复旦大学学位论文库、导师主页或本人公开简历对“博士导师姓名”的直接、可引用表述。因此，本报告不将陈榕、陈海波或其他学者认定为其正式博士导师。陈海波同样毕业于复旦大学计算机系统结构博士项目，但其博士毕业时间为2009年，早于王肇国2014年博士毕业；两人的共同复旦背景、长期论文合作与IPADS同事关系确凿，却不足以推出师生关系。“王肇国与陈榕同门”的说法亦未找到可确认的公开师承链，故只能标为推测，且不纳入事实关系图谱。
三、学生培养与人才流动
王肇国个人主页公开列有“学生去向”。该名单是最直接的培养关系来源；其中部分成员在其团队论文中长期出现，也与其研究方向相吻合。需要注意的是，主页未逐一标明每人的学位类别、入学/毕业年份和独立/联合指导形式，本报告将其表述为“主页所列学生/校友”，不擅自补写学位层次。另有沈嘉欢的个人主页明确自述为IPADS博士生、由王肇国指导，自2021年起在上海交大攻读博士，研究数据库、存储与机器学习系统，构成一条可单独确认的在读博士培养关系。
| 主页所列学生/校友 | 公开去向 | 关联主题或备注 |
|---|---|---|
| 丁浩然 | MIT博士后 | 在SQLSolver、Flux/OSDI、FM-Agent等工作中合作，涉及形式化验证、SQL与系统代码推理。 |
| 唐楚哲 | EPFL博士后 | Ad Hoc Transactions、XIndex、Sonata等核心合作者；代表Web事务与数据系统方向。 |
| 张德鑫 | 普林斯顿大学博士生 | 主页列出的继续深造去向。 |
| 王章翰 | 纽约大学博士生 | 延续与NYU系统网络的学生流动连接。 |
| 丁丁 | 纽约大学博士生 | 参与Polyjuice、WeTune等工作，连接学习型事务与SQL优化。 |
| 张津源 | 字节跳动 | 参与数据库死锁诊断等研究，体现互联网工程岗位流动。 |
| 于乾勉 | Jump Trading | Ad Hoc Transactions相关共同作者，体现高性能数据系统人才向量化交易/金融工程流动。 |
| 张孝东 | 阿里巴巴 | Ad Hoc Transactions、WeBridge等工作共同作者，连接电商Web数据系统场景。 |
| 王友运 | Jump Trading | XIndex、SIndex、TOS学习索引研究共同作者。 |
| 周洲 | 网易 | WeTune共同作者，关联SQL查询重写。 |
| 王寰 | 摩根士丹利 | Polyjuice等工作共同作者，体现系统人才向金融科技流动。 |
| 王嘉琛 | 华为 | Polyjuice共同作者，构成华为产业合作的人才纽带。 |
| 沈嘉欢 | 在读上海交通大学博士生 | 本人主页明确写“advised by Zhaoguo Wang”；2026 ICDE DIndex与2024 SIGMOD WeBridge共同作者。 |
培养网络呈现明显的“双向外溢”：一端是MIT、EPFL、NYU、普林斯顿等海外学术训练和博士后路径，另一端是华为、字节跳动、阿里巴巴、网易、Jump Trading、摩根士丹利等产业与金融科技岗位。该结构与其课题特色相符：既需要形式化、分布式算法和系统研究能力，也强调将事务、查询优化、存储等技术放到大型Web服务、数据库产品和低时延工程环境中检验。
四、学术合作网络
（一）IPADS核心圈：陈海波及系统软件共同体
陈海波是王肇国最稳定、最具枢纽性的公开合作对象之一。二人共同署名覆盖2014年EuroSys论文《Using Restricted Transactional Memory to Build a Scalable In-Memory Database》、2016年SIGMOD多核数据库工作、2019年PODC Paxos/Raft工作、2020年XIndex、2021年Polyjuice、2022年WeTune和Ad Hoc Transactions、2023年OSDI Flux、2024年WeBridge与SQLSolver、2025年CACM文章等多个时期。关系性质应表述为“长期共同论文作者、IPADS同事与团队协作伙伴”，而非未经证实的师承关系。陈海波作为IPADS核心负责人、OpenHarmony项目群技术指导委员会主席，也使这一合作兼具系统学术网络与开源生态组织网络属性。
陈榕（Rong Chen）与王肇国之间的可确认关系是复旦—IPADS背景上的研究合作和现同事连接。公开论文包括2017年APSys《Extracting More Intra-transaction Parallelism with Work Stealing for OLTP Workloads》、2021年NSDI分散标量时间戳MVCC工作，以及2023年OSDI Flux。陈榕的公开履历显示其2007年至2012年在复旦工作、2012年起在上海交大任职；这使双方在系统软件和高并发事务问题上存在持续的组织重叠。至于两人是否为同门或存在导师关系，属于推测，暂无直接公开证据。
董明凯（Mingkai Dong）连接了事务性存储、持久内存、文件与存储系统三条线。王肇国、董明凯与陈海波等人共同发表2015年《Persistent Transactional Memory》；后续还共同署名2017年TOS论文《Efficient and Available In-Memory KV-Store with Hybrid Erasure Coding and Replication》。董明凯现为IPADS副研究员，其后续工作转向文件系统与DNA存储；因此，二人的合作体现IPADS内部从事务内存/键值存储到持久化存储基础设施的知识连续性。
古金宇（Jinyu Gu）与王肇国的直接代表合作是2019年USENIX ATC论文《Pisces: A Scalable and Efficient Persistent Transactional Memory》。该文还由俞倩倩、王夏阳、臧斌宇、管海兵和陈海波共同署名，说明Pisces不是两人之间的单线合作，而是IPADS在持久内存事务机制上的团队型成果。古金宇现为IPADS副研究员，研究操作系统内核、系统安全和机器学习系统，并承担OpenHarmony具身智能PMC相关工作；因而他构成王肇国“事务存储—操作系统—开源鸿蒙”邻接网络的重要节点。
（二）纽约大学与国际合作圈：Jinyang Li及延展伙伴
Jinyang Li是王肇国纽约大学阶段最明确的国际长期合作节点。公开共同论文至少横跨2014年EuroSys、2015年USENIX ATC（Spartan）、2016年SIGMOD、2017年APSys、2019年PODC、2021年OSDI Polyjuice、2023年ICDE/VLDB、2024年SIGMOD SQLSolver以及2025年VLDB Sonata等。王肇国在NYU完成博士后与非终身制助理教授任职，论文合作从内存数据库扩展至共识协议、事务调度、SQL验证和跨数据库事务，表明这一连接并未随着其2018年回国而中断。
这种合作网络的学术价值在于将上海交大IPADS的系统工程传统与NYU的分布式系统、数据库研究相连。PODC 2019论文把Paxos与Raft的优化迁移问题置于分布式理论语境；Sonata和SQLSolver则把合作推进到可串行化多数据库事务和SQL语义验证。王肇国还与Aurojit Panda在2023年VLDB分布式事务批量提交论文中共同署名，体现该网络并非只围绕单一实验室，而是连接到更广泛的北美分布式系统研究群体。
（三）数据库理论、程序验证与交叉合作圈
Ruzica Piskac是SQLSolver与Text-to-SQL工作中的国际合作伙伴，分别共同署名2024年SIGMOD《Proving Query Equivalence Using Linear Integer Arithmetic》和2025年SIGMOD Text-to-SQL验证修复论文。该连接将王肇国团队对SQL等价性与查询重写的工程问题，连接到SMT、程序逻辑与形式化验证社区。Guoliang Li出现在2025年VLDB Industry Track论文GRewriter作者名单中，体现其团队在GaussDB查询重写产品化时与数据库优化器学术界的合作拓展。
在生命科学与自主实验方向，2025年AutoDNA预印本由王肇国、陈海波与吴明瑜、王嘉斌、董志远、范春海等多位跨学科作者共同完成。该网络将系统软件、AI、实验仪器与生物/化学研究连接起来；由于论文为预印本且项目仍处早期，关于其最终平台形态与产业化影响的判断应视为推测，不宜夸大为已完成的成熟产品。
五、业界合作关系深度分析
（一）华为云GaussDB：从论文方法到数据库产品
华为是王肇国业界合作中公开证据最完整的对象。其团队的WeTune针对SQL查询重写规则“难以完全依赖人工专家积累”的问题，通过枚举候选规则、SQL等价性验证和代价评估自动挖掘高质量规则。王肇国与华为GaussDB数据库优化器专家的公开技术对谈说明，华为云GaussDB团队与王肇国团队已完成WeTune 2.0在GaussDB产品上的落地；个人主页亦明确写作“已在GaussDB商业版中落地使用”。后续GRewriter以“Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB”为题进入VLDB 2025 Industry Track，作者中出现多位GaussDB相关人员，显示合作已从原始规则发现工具扩展到实际规则集扩张和产品工程问题。
这层关系不是简单的冠名资助，而是可观察到的“理论—工具—产品”闭环：SQLSolver提供等价性验证底座，WeTune自动合成/筛选规则，GRewriter面向GaussDB工程落地。它也解释了为什么王肇国在数据库系统研究中重视正确性与性能并重：查询重写一旦改变SQL语义会直接影响生产系统，因此形式化验证是产业转化的安全边界。
华为专项联培基地则构成人才培养层的合作。上海交通大学华为专项联培基地公开活动中，王肇国强调校内学习与企业实践的双通道以及科研成果落地；其个人主页的研究生课程“并行与分布式数据库系统”也标注由上海交通大学与华为联合开设，高校负责理论、企业负责真实应用与挑战。由此，华为合作同时覆盖技术转化、课程共建与学生实践三条链路。
（二）OpenHarmony智能数据管理生态：组织型产学研连接
王肇国个人主页和上海交大计算机学院教师页将其列为“OpenHarmony技术指导委员会智能数据管理TSG负责人”。在公开活动层面，他与中国科学技术大学李永坤共同作为2025年OpenHarmony智能数据管理分论坛出品人，并在合肥城市技术论坛与李永坤共同主持；论坛还汇集陈海波、香港中文大学John C.S. Lui、华为OS内核实验室主任贾宁、华为嵌入式数据库首席专家周敏奇、华为终端BG专家李有福等产学研参与者。这表明王肇国是这一智能数据管理议题的高可见度组织者和学术接口。
但应当区分“个人主页当前职务表述”与“历史媒体报道中的组织角色”：2024年OpenHarmony技术大会报道曾将智能数据管理TSG星光贡献者列为李永坤。因此，关于TSG负责人的公开表述存在时间和角色层级差异；较稳妥的结论是，王肇国在当前上海交大/本人页面中被列为负责人，并与李永坤共同组织相关活动，而历史报道所列李永坤信息可能反映当时的负责人或代表身份。不能据此推断两人之间有从属关系。
OpenHarmony本质上是由开放原子开源基金会孵化运营、面向全场景智能终端的开源操作系统项目。王肇国在其中的产业连接并不等同于某一家企业雇佣关系，而是通过TSC/TSG、技术论坛、高校技术俱乐部、年度课题和华为等共建单位构成的开放治理网络。其与陈海波（OpenHarmony TSC主席）、古金宇（OpenHarmony相关PMC工作）、华为终端与数据库专家之间形成了IPADS内部系统能力与外部终端/数据管理需求之间的桥梁。
（三）华为奖项与合作边界
公开教师页列出华为奥林帕斯先锋奖与两次华为火花奖，说明其团队成果获得华为产业侧认可。华为奥林帕斯奖体系旨在牵引数据存储领域基础理论和产业化研究，获奖团队可获得后续研究支持与技术交流渠道。由于目前可公开检索到的王肇国个人获奖页面未给出每次华为奖项的具体年份、课题名称及获奖主体，本报告不将其与某一篇论文或某一个项目强制一一对应；能够直接确认的深度合作仍应以WeTune/GaussDB落地、联合课程/联培和OpenHarmony活动为主。
六、重要奖项、项目与学术服务
王肇国的重要荣誉呈现“系统/数据库顶会认可、国内学术组织青年奖项、企业技术合作奖项”三类。SIGMOD 2022论文《Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly》获最佳论文优胜奖（Honorable Mention）；其后续SIGMOD Record文章获2023 ACM SIGMOD Research Highlight Award，2025年扩展为CACM Research Highlight与封面文章。ChinaSys新星奖方面，厦门大学发布的2021年度ChinaSys活动信息将王肇国列为获奖者。CCF于2025年10月公告授予其CCF青年科技奖，公告中的职称为长聘副教授，反映该奖项公告的身份记载时间点。
| 类别 | 奖项、项目或服务 | 公开依据与关系意义 |
|---|---|---|
| 基金与项目 | 国家优秀青年科学基金项目“高性能事务性存储系统”（62422209） | 2025—2027项目负责人，支持事务性存储主线。 |
| 国家任务 | 国家重点研发计划“面向新一代国产超算系统的总体与测评技术”（2023YFB3002000） | 2023—2026项目负责人，显示研究向国产超算系统总体与测评延展。 |
| 论文奖项 | SIGMOD 2022 Best Paper Honorable Mention | Ad Hoc Transactions工作获得国际数据库顶会认可。 |
| 学术传播 | 2023 ACM SIGMOD Research Highlight；CACM Research Highlight & Cover Article | 将Web应用事务抽象议题扩展至更广泛计算机学术传播圈。 |
| 国内学术奖 | 2021 ACM ChinaSys新星奖；2025 CCF青年科技奖（CCF-IEEE CS） | 连接国内系统软件共同体与CCF奖励网络。 |
| 产业奖项 | 华为奥林帕斯先锋奖；两次华为火花奖 | 表明企业侧认可；具体奖项年份和题目未在当前核心公开资料中完整列示。 |
| 组织服务 | ACM ChinaSys秘书长、CCF学术工作委员会委员、上海市计算机行业协会副会长、第22期秀湖论坛联合主席 | 连接学术会议组织、学会治理和上海产业协会网络。 |
| 国际服务 | MLSys 2026、EuroSys 2025/2026、ICDE 2026、NSDI 2024、SoCC 2023/2024程序委员会成员 | 使其合作关系进入国际同行评审与议题设置网络。 |
| 期刊服务 | Data Science and Engineering、Frontiers of Computer Science、中国计算机学会通讯、电子学报相关编委/青年编委服务 | 个人主页所列，扩展了数据库、系统与中文学术传播网络。 |
七、Connection圈层总结
第一圈层：团队、核心共同作者与直接培养对象。 该圈层以王肇国本人、IPADS和其学生/校友为核心。陈海波是长期合作与机构枢纽；唐楚哲、丁浩然、丁丁、张孝东、于乾勉、王友运、周洲、王嘉琛、沈嘉欢等连接事务、查询优化、验证和存储方向。这个圈层最明显的特征是共同论文与学生培养高度重合，研究成果可沿“学生—论文—博士后/企业去向”追踪。
第二圈层：IPADS及复旦—上海交大系统软件共同体。 陈榕、董明凯、古金宇、臧斌宇、管海兵等构成围绕持久内存、存储、操作系统、事务处理与系统安全的近邻协作网。它以IPADS为共同组织平台，同时受到复旦计算机系统结构训练背景影响。陈海波和王肇国同属复旦系统结构博士背景，但正式师承关系尚无公开证据，应避免把这一圈层误写为单一导师谱系。
第三圈层：国际学术合作与方法论桥梁。 Jinyang Li及纽约大学经历构成最持久的国际连接，合作覆盖内存数据库、共识协议、事务与SQL语义；Aurojit Panda进一步延展了分布式事务合作；Ruzica Piskac把SQLSolver接入形式化验证与程序逻辑社区；Guoliang Li等则连接数据库优化器研究。该层的作用是将IPADS的工程系统研究与国际分布式系统、数据库理论和验证方法相互导通。
第四圈层：产业产品、开源治理与人才联培。 华为云GaussDB是可确认的产品化合作节点，WeTune/SQLSolver/GRewriter构成技术落地链；华为专项联培与联合课程形成教育链；OpenHarmony TSC/智能数据管理活动则形成开源治理和生态链。陈海波、李永坤、华为终端及数据库专家、古金宇等均在这一层发生组织性连接。学生流向华为、字节跳动、阿里巴巴、网易、Jump Trading、摩根士丹利，又进一步把该层扩展到互联网、数据库产品、量化金融和金融科技。
总体而言，王肇国的关系网络不是以单一“导师—学生”链条为主，而是以“复旦系统训练—NYU国际合作—IPADS团队协同—学生国际/产业流动—华为及OpenHarmony产学研转化”五条相互交织的链路构成。其中心竞争力在于将分布式系统的语义与一致性问题转化为可验证、可优化、可部署的数据库和系统软件能力；其网络的持续扩张则来自学生去向、共同论文和开源/产业组织角色的相互强化。
八、主要公开来源
- 上海交通大学计算机学院教师名录（王肇国）：https://cs.sjtu.edu.cn/jiaoshiml/wangzhaoguo.html
- 王肇国个人主页（研究方向、项目、学生去向、学术服务与论文）：https://zhaoguowang.github.io/
- 上海交通大学软件学院旧教师页（教育与任职时间线）：http://www.se.sjtu.edu.cn/Data/View/283
- 南京大学软件学院校友页：https://software.nju.edu.cn/yyzj/yyfc/2004j/20200127/i69430.html
- CCF 2025年度青年科技奖公告：https://www.ccf.org.cn/Awards/Awards/2025-09-24/849006.shtml
- 沈嘉欢个人主页（明确指导关系）：https://www.shenjiahuan.com/
- WeTune与华为云GaussDB合作公开技术对谈：https://weibo.com/ttarticle/p/show?id=2309405052364565381429
- OpenHarmony城市技术论坛公开报道：https://www.geekpark.net/news/344679
- 上海交通大学计算机学院陈海波、董明凯教师页：https://cs.sjtu.edu.cn/jiaoshiml/chenhaibo.html；https://cs.sjtu.edu.cn/en/jiaoshiml/dongmingkai.html