PKU-SEI 梅宏院士

报告生成时间：2026年8月20日
个人主页：梅宏 — 北京大学教师个人主页
所属团队：北京大学计算机学院软件工程研究所（名誉所长：杨芙清院士；梅宏曾任所长2003—2012）

一、学者基本信息

字段	内容
姓名	梅宏（Hong Mei）
出生	1963年5月20日，贵州省遵义市（原籍重庆，生长于贵州余庆）
院士头衔	中国科学院院士（2011，信息技术科学部）；发展中国家科学院院士（2013）；欧洲科学院外籍院士（2018）
学会会士	ACM Fellow（2022）、IEEE Fellow（2014）、CCF会士
现任职务	北京大学教授、博士生导师；高可信软件技术教育部重点实验室（北京大学）主任（2007年至今）
曾任行政职务（选）	北大信息科学技术学院院长（2006—2014）；上海交通大学副校长（2013—2016）；北京理工大学副校长、常务副校长（2016—2019）；军事科学院副院长（2019—约2021）；福耀科技大学（筹）校长（2023.8—2024.3）；CCF第十二届理事长（约2020—2024.1）
研究方向	软件工程、系统软件、网构软件（Internetware）、软件体系结构、大数据治理与数据要素
电子邮件	meih@pku.edu.cn

二、教育背景与职业履历

2.1 教育经历

时间	学校	专业	学位	导师
1980.9—1984.9	南京航空学院（现南京航空航天大学）	计算机科学与技术（计算机应用）	学士	—
1984.9—1987.7	南京航空学院	计算机软件与理论	硕士	—
1987.9—1992.7	上海交通大学	计算机软件与理论	博士	孙永强教授

博士导师——孙永强：上海交通大学计算机系首位博士生导师，我国第一代计算机软件科研工作者。1931年生于浙江嘉善，1955年毕业于交通大学电力系，1960年代领导研制国内首批高级程序语言编译器（911编译系统），改革开放后开创函数式语言代数理论研究，1987年获国家自然科学奖，2020年获CCF终身成就奖。梅宏的博士学位论文方向为"函数式程序设计语言"，正是在孙永强指导下从应用软件开发转向软件技术研究。

博士后导师——杨芙清：1992年12月，梅宏进入北京大学计算机科学技术系从事博士后研究（1992.12—1994.10），师从杨芙清院士。杨芙清院士被誉为"中国软件开拓者""燕园青鸟"，曾主持研制中国第一台百万次计算机操作系统和中国第一个用高级语言书写的大型操作系统，是北大青鸟工程的总设计师。梅宏进入杨芙清团队后参与了国家"八五"重点科技攻关项目"青鸟工程"的研究工作，由此正式进入软件工程领域。梅宏曾自述："师从杨芙清院士，我的方向逐步稳定，在导师开创的一片天地里寻找到一个全新的世界——软件工程。"

2.2 职业履历

时间	单位	职务
1987.4—1989.9	南京航空学院计算机科学与工程系	助研
1992.12—1994.10	北京大学计算机科学技术系	博士后研究员
1994.11—1997.7	北京大学计算机科学技术系	副教授
1997.8—2013.3	北京大学计算机科学技术系	教授（1997年破格晋升）
1999.3—2000.4	美国贝尔实验室（Bell Labs, Lucent Technologies）	访问科学家
2002.9—2006.7	北京大学信息科学技术学院	副院长
2003.9—2012.10	北京大学软件工程研究所	所长（杨芙清任名誉所长）
2006.7—2014.7	北京大学信息科学技术学院（EECS）	院长
2007.2—至今	高可信软件技术教育部重点实验室（北京大学）	主任
2013.3—2016.6	上海交通大学	党委常委、副校长
2016.7—2019.6	北京理工大学	党委常委、副校长；后任常务副校长
2019.7—约2021	中国人民解放军军事科学院	副院长
2019.6—至今	北京大学	教授（回归）
2020—2024.1	中国计算机学会（CCF）	第十二届理事长
2023.8—2024.3	福耀科技大学（筹）	校长（后任理事）

关键节点说明： - 梅宏在北大工作期间（1992—2013），从博士后成长为教授、所长、院长，是杨芙清学术团队的核心传承者。 - 2005年被聘为教育部长江学者奖励计划特聘教授。 - 2007年高可信软件技术教育部重点实验室获批建立，梅宏担任实验室主任至今。 - 2013年调任上海交通大学副校长后，仍保留北大教职和实验室主任职务，形成跨校学术布局。 - 2019年回归北京大学后，重点推动大数据治理研究和AI与软件工程融合的新方向。

三、学生培养情况

梅宏自1997年起担任博士生导师，二十余年间培养了大批软件工程领域的优秀人才。以下列出可考证的代表性学生（含直接指导和联合指导的博士生）。需要说明的是，周明辉（国防科大博士，北大博士后出站后留校）为梅宏的长期核心合作者而非其直接指导的博士生，为完整呈现软工所学术网络一并列入：

3.1 黄罡（Gang Huang）

身份：梅宏的直接博士生，现为北京大学博雅特聘教授、系统软件研究室主任。
教育背景：北京大学计算机系本科；北京大学博士（师从梅宏）。
研究方向：软件体系结构、网构软件、云端融合系统、互操作技术。
重要合作：与梅宏长期组成"梅宏-黄罡"学术搭档，共同提出全生命周期软件体系结构（SA）建模理论及ABC方法、运行时软件体系结构（RSA）概念。二人共同完成的"面向网构软件的软件体系结构建模理论、方法及应用"获2022年度陈嘉庚科学奖信息技术科学奖。
产业转化：共同研发"燕云DaaS系统"（破解信息孤岛的接口高效互操作技术），2018年入选世界互联网领先科技成果，并衍生出北京因特睿软件有限公司。
代表性论文合著：梅宏、黄罡、张路、张伟，《ABC：一种全生命周期软件体系结构建模方法》，《中国科学：信息科学》，2014年。黄罡、周明辉编著《构件化软件设计与实现》（清华大学出版社，2008年），杨芙清作序。

3.2 刘譞哲（Xuanzhe Liu）

身份：梅宏的直接博士生（2003级直博），现为北京大学计算机学院教授。
教育背景：1999年考入北京大学计算机科学技术系本科；2003年保送至软件所直接攻读博士学位，师从梅宏教授。
研究方向：网构软件、软件体系结构、云-端融合系统、智能算力资源管理。
重要成果：作为核心完成人参与"云-端融合系统的资源反射机制及高效互操作技术"项目（获2018年国家技术发明一等奖，完成人：梅宏、黄罡、张颖、刘譞哲、郭耀、熊英飞）。后独立带领团队开展智算中心分离式资源管理研究，成果在字节跳动、阿里云、微软、Meta等企业上线应用，获2025年中国电子学会科学技术奖技术发明一等奖。现任北京大学-神旗数码燕云Infinity智能化软件联合实验室主任。
学术荣誉：2006年获IBM全球博士生英才奖学金；入选教育部"长江学者奖励计划"青年学者、国家杰出青年科学基金获得者。

3.3 周明辉（Minghui Zhou）

身份：与梅宏密切合作的核心团队成员（博士后出站后留校），现为北京大学计算机学院教授、副院长、博雅特聘教授。
教育背景：1991—2002年于国防科技大学获学士、硕士及博士学位。
研究方向：软件度量、软件数据分析、开源软件与开源生态。
与梅宏合作：作为软工所核心成员长期与梅宏合作研究与教学，共同发表论文（如COMPSAC 2012最佳论文：Chao You, Minghui Zhou, Hongwu Lin, Zan Xiao, Hong Mei）。曾与梅宏、杨芙清等共同获2008年国家技术发明二等奖（"构件化应用服务器核心技术与应用"）。编著《构件化软件设计与实现》教材。
学术荣誉：2018年获国家杰出青年科学基金；主持制定首个OSI认证的中英双语开源许可证"木兰宽松许可证"；担任ACM CSOFT主席。

3.4 张路（Lu Zhang）

身份：杨芙清院士的博士生（2000年获北京大学计算机软件博士学位），与梅宏为同门师兄弟关系，长期在软工所共事并密切合作。
教育背景：1995年获北京大学计算机软件专业学士学位；2000年获北京大学计算机软件博士学位，师从杨芙清教授。2000—2003年在英国牛津布鲁克斯大学、利物浦大学从事博士后研究。
研究方向：软件分析与测试、软件维护与演化、程序合成和程序理解。
与梅宏合作：在软工所长期合作，共同发表多篇高水平论文（如ICSE 2012三篇论文的主要作者含梅宏、张路、周明辉等）。合著《ABC：一种全生命周期软件体系结构建模方法》等。现同为高可信软件技术教育部重点实验室核心成员。
学术荣誉：国家杰出青年科学基金获得者；教育部新世纪优秀人才；获国家科技进步二等奖（2006，排名第6）、国家自然科学二等奖（2012，排名第3）；在ICSE/FSE/ASE上发表论文30余篇。

3.5 陈震鹏

身份：梅宏的博士生，现为清华大学软件学院助理教授（2025年起，此前为英国伦敦大学学院（UCL）博士后研究员）。
教育背景：2012年进入北京大学信息科学技术学院本科；2016年保送研究生；2018年硕转博，导师为梅宏院士，协助指导为刘譞哲研究员。
研究方向：软件工程与人工智能。
重要成果：博士学位论文入选CCF优秀博士学位论文激励计划。

3.6 郭耀（Yao Guo）

身份：高可信软件技术教育部重点实验室核心成员，可信软件平台研究组学术骨干，与梅宏长期合作。
现任职务：北京大学计算机学院教授。
研究方向：系统软件、移动计算、操作系统。
与梅宏合作：作为核心完成人参与"云-端融合系统的资源反射机制及高效互操作技术"项目（获2018年国家技术发明一等奖）。与梅宏、黄罡、刘譞哲等组成"可信软件平台研究组"的核心阵容。

3.7 熊英飞（Yingfei Xiong）

身份：高可信软件技术教育部重点实验室核心成员，与梅宏长期合作。
现任职务：北京大学计算机学院长聘副教授。
研究方向：程序合成、程序分析、软件工程。
与梅宏合作：作为核心完成人参与"云-端融合系统的资源反射机制及高效互操作技术"项目（获2018年国家技术发明一等奖）。国家973计划青年科学家专题项目负责人。

3.8 曹东刚（Donggang Cao）

身份：高可信软件技术教育部重点实验室核心成员，与梅宏长期合作。
现任职务：北京大学计算机学院研究员。
研究方向：中间件技术、分布式系统、软件工程。
与梅宏合作：作为核心成员参与构件化应用服务器核心技术研发（获2008年国家技术发明二等奖，完成人含梅宏、杨芙清、黄罡、王千祥、周明辉、曹东刚）。在软工所长期参与网构软件运行支撑平台的研究。

四、学术合作网络

4.1 核心合作圈——北京大学软件工程研究所

梅宏的学术合作网络以北京大学软件工程研究所（SEI）为枢纽，形成了两代学术传承的完整梯队：

第一代——杨芙清院士：梅宏的博士后导师，中国软件工程学科的开拓者。二人合作跨越近三十年（1992年至今），共同推动青鸟工程、构件化软件中间件、软件工程学科建设。两人合著的论文和共同获得的国家级奖励包括2008年国家技术发明二等奖（"构件化应用服务器核心技术与应用"，完成人：梅宏、杨芙清、黄罡、王千祥、周明辉、曹东刚）。杨芙清于1999—2003年任软工所所长，梅宏于2003—2012年接任所长，形成了完美的学术传承。

第二代——梅宏的学术搭档与学生群体：

合作者	关系定位	主要合作领域	代表性成果
黄罡	最紧密的学术搭档（师生→合作者）	网构软件、SA建模、互操作技术	陈嘉庚科学奖（2022）；国家技术发明一等奖（2018）
金芝	973项目联合首席科学家	需求工程、知识化软件工程、网构软件	973计划连续三期项目共同首席
刘譞哲	核心学生与合作者	网构软件、算力资源管理	国家技术发明一等奖（2018）；中国电子学会技术发明一等奖（2025）
周明辉	核心合作者	软件度量、开源生态	国家技术发明二等奖（2008，合作）
张路	同门师兄弟+长期合作者	软件分析、测试	ICSE等顶会论文合著；国家自然科学二等奖（2012）
谢冰	软工所继任所长（2012年起）	软件工程、分布式系统	2006年国家科技进步二等奖（合作）

高可信软件技术教育部重点实验室的团队组织结构清晰：分为"可信软件工程研究组"（学术带头人：杨芙清、金芝、谢冰、谢涛）和"可信软件平台研究组"（学术带头人：梅宏、黄罡），两组紧密协作，覆盖了软件工程从理论到平台的全链条研究。

4.2 跨机构合作网络

梅宏的跨机构合作因其丰富的行政履历而十分广泛：

上海交通大学：2013—2016年任副校长期间，与上交计算机系建立紧密联系。博士导师孙永强为上交计算机系奠基人，形成了"南航→上交→北大"的学术血缘纽带。2024年3月，受聘为上海交通大学人工智能人才工作专门委员会首批专家委员。

北京理工大学：2016—2019年任副校长、常务副校长期间，在BIT计算机学院招收博士研究生（含直博生），从事智能软件、大数据、系统软件等方向研究。

南京大学：与南京大学软件工程学科（徐家福先生—吕建院士—李宣东教授体系）有深厚的学术渊源。梅宏在文中多次引用徐家福先生关于"软件自动化"的定义。李宣东教授曾主审梅宏作序的《软件工程：经典、现代和前沿》教材。

国防科技大学：通过周明辉、谢冰（均为国防科大博士）等建立合作桥梁。与王怀民院士（国防科大）在软件开发群体化方法、开源生态等方向有学术交集。

中国科学院计算技术研究所：与孙凝晖院士（继梅宏之后任CCF第十三届理事长）有学会工作层面的密切合作。

国际合作伙伴： - 美国贝尔实验室（1999—2000年访问科学家） - 日本国立情报学研究所（NII）：2014年在NII湘南会议共同组织"Computational Intelligence for Software Engineering"研讨会 - 法国INRIA等欧洲研究机构（通过网构软件国际学术交流）

4.3 学术谱系

孙永强（上海交大，第一代软件学者）
  └─ 梅宏（博士，1987—1992）
      └─ 博士后导师：杨芙清（北大，中国软件开拓者）
      │
      ├─ 黄罡（北大博雅特聘教授，最紧密合作者）
      │    └─ 燕云DaaS系统 → 因特睿软件公司
      │
      ├─ 刘譞哲（北大教授，国家杰青）
      │    └─ 智算中心资源管理 → 字节跳动/阿里云/微软应用
      │
      ├─ 陈震鹏（清华大学助理教授，CCF优博）
      │
      ├─ 周明辉（北大教授、副院长，国家杰青）
      │    └─ 开源生态、木兰许可证
      │
      ├─ 郭耀（北大教授）
      ├─ 熊英飞（北大长聘副教授）
      └─ 曹东刚（北大研究员）

注：张路为杨芙清直接指导的博士，与梅宏属同门师兄弟关系，但在软工所长期共事合作，学术谱系上属同辈。谢冰为国防科大博士，1998年进入北大工作，2012年接任软工所所长，与梅宏为紧密的同事兼合作者关系。

五、业界合作关系深度分析

5.1 青鸟工程与软件构件技术产业化

青鸟工程是中国软件工程领域最具标志性的国家级重大科技攻关项目，由杨芙清院士主导。梅宏自1992年进入北大博士后起即参与青鸟工程研究工作，成为核心成员之一。

青鸟工程的核心成果包括： - 青鸟构件模型与构件技术规范：梅宏提出了青鸟构件模型和青鸟构件技术规范，为中国国内CASE（计算机辅助软件工程）市场的形成和发展以及软件工程思想和技术的推广做出了重要贡献。 - 基于Internet、以构件库为核心的软件开发平台：获2006年国家科技进步二等奖（谢冰排名第3，完成单位含北京大学）。 - 构件化应用服务器核心技术与应用：获2008年国家技术发明二等奖（梅宏、杨芙清、黄罡、王千祥、周明辉、曹东刚）。

PKUAS平台：梅宏与黄罡等研发的PKUAS（PKU Architecture-based reflective component operating System）是一个基于体系结构的反射式构件运行平台，是青鸟工程向网构软件过渡的关键技术链接，在奥运信息系统和银行信贷系统等工程案例中得到应用。

这些成果推动了中国软件构件库、软件中间件等产业基础设施的形成，相关技术在软件行业、信息服务业、国防军工和集成电路设计领域广泛应用。

5.2 燕云DaaS系统与大数据产业生态

燕云DaaS系统是梅宏-黄罡团队最具影响力的产业转化成果，代表了中国软件工程学术界产学研协同的典范：

技术突破：突破传统"白盒"互操作技术思路，提出颠覆式的"黑盒"数据互操作技术途径——通过揭示信息系统内部基于云-端融合特性的计算反射机理，发明了通过系统客户端外部监测与控制实现业务数据和功能高效互操作的整套技术及平台，消除了系统源码、数据库表、后台权限、原开发团队等"白盒"依赖，信息孤岛开放效率平均提升两个数量级。

获奖情况： - 2017年：中国电子学会技术发明特等奖 - 2018年：国家技术发明一等奖（主要完成人：梅宏、黄罡、张颖、刘譞哲、郭耀、熊英飞；完成单位：北京大学、北京因特睿软件有限公司） - 2018年11月：入选15项世界互联网领先科技成果（第五届世界互联网大会）

产业合作： - 北京因特睿软件有限公司：北大孵化的技术转化企业，负责燕云平台的产品化和市场推广 - 神州数码控股有限公司：与北大联合成立"燕云Infinity智能化软件联合实验室"（2025年），董事局主席郭为与梅宏共同出席 - 联想、科大讯飞、阿里云等知名企业：联合推出多种产品和解决方案 - 应用领域：政府数据开放共享、互联网+政务服务、政务信息系统整合共享、国家安全领域数据互通、国防领域系统集成等国家重大任务，以及能源、纺织、食品等工业大数据领域

知识产权转化：建立符合国际主流模式的计算机软件知识产权保护体系，获专利普通（非排他）许可费9500万元。

最新发展：刘譞哲作为梅宏的学生，延续产学研转化路径，其"智算中心分离式资源管理关键技术与应用"成果在字节跳动、阿里云、微软、亚马逊云科技、Meta等企业上线应用，获2025年中国电子学会科学技术奖技术发明一等奖，梅宏院士为完成人之一。

5.3 大数据治理与数据要素政策影响力

梅宏近年来将研究视野从软件工程拓展至大数据治理和数据要素领域，成为该领域的国家级领军学者：

著作：主编"数据治理"系列丛书（中国人民大学出版社），包括《数据治理之路》《数据治理之法》《数据治理之论》（2020年，合著者：杜小勇、赵俊峰、吴志刚），以及《数字经济：研究与实践》（2026年）。
政策影响：担任CCF大数据专家委员会主任、全国信标委大数据标准工作组组长，推动国家大数据治理标准体系建设。《数据治理之论》提出"434框架模型"（制度法规、标准规范、应用实践、支撑技术），为应对数据垄断、质量缺陷等挑战提供系统性解决方案。
国家电子政务：担任国家电子政务专家委员会委员，深度参与数字政府建设。
可信数据空间：2024年，与黄罡共同围绕国家数据局发布的《可信数据空间发展行动计划（2024—2028年）》发表深度解读，推动数据要素市场化配置改革。

六、重要奖项与学术兼职

6.1 重要奖项

年度	奖项名称	等级	备注
1997	霍英东基金青年教师奖	—	早期荣誉
1998	国家科技进步奖	二等奖
2006	国家科技进步奖	二等奖	"基于Internet、以构件库为核心的软件开发平台"
2008	国家技术发明奖	二等奖	"构件化应用服务器核心技术与应用"
2011	中国科学院院士	—	信息技术科学部
2012	何梁何利基金科学与技术进步奖	—
2012	国家自然科学奖	二等奖
2013	发展中国家科学院院士	—	工程科学部
2014	IEEE Fellow	—
2015	IEEE Computer Society Technical Achievement Award	—	中国大陆学者首个
2018	国家技术发明奖	一等奖	"云-端融合系统的资源反射机制及高效互操作技术"
2018	欧洲科学院外籍院士	—
2022	ACM Fellow	—
2023	陈嘉庚科学奖	信息技术科学奖	与黄罡共同完成
2025	中国电子学会科学技术奖	技术发明一等奖	"智算中心分离式资源管理关键技术与应用"（刘譞哲牵头，梅宏为完成人）

此外获教育部自然科学一等奖、教育部技术发明一等奖、北京市科技进步二等奖等多项省部级奖励。曾两次担任国家973计划项目首席科学家。获国家杰出青年科学基金、中国青年科技奖、百千万人才工程国家级人选等荣誉。

6.2 重要学术兼职

兼职	时间/说明
CCF第十二届理事长	约2020—2024年1月（2024年1月27日交印给第十三届理事长孙凝晖院士）
高可信软件技术教育部重点实验室（北大）主任	2007年至今
国家电子政务专家委员会委员	—
教育部科学技术委员会副主任	第七届
国务院学位委员会学科评议组成员	曾任网络空间安全学科评议组召集人
Science China-Information Sciences	常务副主编
中国软件行业协会副理事长	—
全国信标委SOA分技术委员会主任	—
全国信标委大数据标准工作组组长	—
国家863计划专家组成员	曾任"十二五"信息技术领域先进计算技术主题专家组组长
国家"核高基"科技重大专项专家组成员	—
"十二五"国家科技重点专项（中国云专项）专家组副组长	—
国家自然科学基金创新研究群体学术带头人	—

七、Connection圈层总结

梅宏院士的学术关系网络呈现出鲜明的"一脉相承、辐射全国"特征，可从以下圈层理解：

第一圈层——学术传承圈（北大软工所内）：梅宏处于杨芙清→梅宏→黄罡/刘譞哲/周明辉等三代传承的中间枢纽位置。北上承接杨芙清院士青鸟工程的学术遗产，南下培养出以黄罡、刘譞哲为代表的下一代学术领军者。与同门张路、同事谢冰、金芝等组成软工所的核心教授群体。这一圈层是梅宏学术影响力的根基。

第二圈层——跨校学术圈（国内高校）：通过上海交大（博士导师孙永强）、北京理工大学、军事科学院等行政任职，梅宏与国内多所顶尖高校建立了深层联系。与南京大学吕建院士/李宣东教授、国防科技大学王怀民院士、中科院计算所孙凝晖院士等软件工程与系统软件领域的领军学者形成平行的学术合作网络。作为CCF第十二届理事长（2020—2024），梅宏在整个中国计算机学术界拥有广泛的人脉和影响力。

第三圈层——产业转化圈：从青鸟工程的构件技术到燕云DaaS系统的互操作技术，梅宏团队始终走"产学研协同"路线。核心产业合作伙伴包括北京因特睿软件（技术孵化企业）、神州数码（战略合作）、联想、阿里云、科大讯飞等。学生刘譞哲的智算中心成果进一步将影响力延伸至字节跳动、微软、Meta等全球互联网巨头。专利许可费9500万元的记录体现了其技术转化的实际经济价值。

第四圈层——政策与智库圈：通过CCF理事长、国家电子政务专家委员会委员、教育部科技委副主任、大数据标准工作组组长等角色，梅宏在大数据治理、数据要素化、数字经济等领域具有国家层面的政策影响力。主编的数据治理系列丛书和CCF中国数字经济50人论坛成为该领域的重要智库平台。

总结：梅宏院士是中国软件工程学术界承前启后的关键人物——他既是杨芙清院士青鸟工程的继承者，也是网构软件（Internetware）这一中国学者原创学术概念的提出者之一；他培养的学生群体（黄罡、刘譞哲、周明辉等）已构成北大乃至全国软件工程研究的中坚力量；他通过燕云DaaS等技术成果实现了从理论到产业的完整闭环；他担任CCF理事长和多项国家级学术兼职，使其影响力超越了单纯的学术圈，成为中国特色数字经济发展的推动者之一。

PKU-SEI 梅宏 院士