北京大学 谢冰 教授
报告生成时间：2026年8月20日
个人主页：谢冰
所属团队：北京大学计算机学院软件研究所 / 软件工程国家工程研究中心
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 谢冰（Bing Xie） |
| 出生年份 | 1970年 |
| 职称 | 教授、博士生导师 |
| 所属单位 | 北京大学计算机学院软件研究所 |
| 实验室职务 | 软件研究所所长（2012年10月至今）、软件工程环境实验室主任 |
| 学术头衔 | 国家杰出青年基金获得者、中国电子学会会士 |
| 国家级人才 | 国家杰出青年科学基金、教育部新世纪优秀人才计划、北京市科技新星计划 |
| 其他任职 | 北京大学科学研究部部长（现任）、教育部科技委委员、国家重大研发计划专项专家组成员、国家工程实验室常务理事 |
| 邮箱 | xiebing@sei.pku.edu.cn |
| 研究方向 | 软件工程、计算机科学理论、分布式系统、群体化软件开发 |
二、教育背景与职业履历
谢冰1970年生于湖南省。1998年于国防科技大学计算机软件与理论专业获得博士学位。关于其在国防科技大学的博士导师，公开资料未明确记载；但从其此后与国防科技大学王怀民院士（2006年晋升教授、2021年当选中国科学院院士）在Trustie（可信软件资源生产与共享环境）项目上的长期深度合作关系，以及二人合著的《基于网络的可信软件大规模协同开发与演化》（发表于《中国科学：信息科学》2014年，王怀民为第一作者、谢冰为第三作者）来看，王怀民与谢冰之间存在密切的师生或师承关系（待核实）。
1998年博士毕业后，谢冰进入北京大学工作，从事软件复用、软件开发环境等领域的研究和推广。此时北京大学软件工程研究所正处于杨芙清院士主持青鸟工程体系的发展阶段，谢冰迅速融入该研究体系，成为杨芙清团队的核心成员之一。根据北京大学高可信软件技术教育部重点实验室的团队架构，谢冰所属的"可信软件工程研究组"由杨芙清院士担任学术带头人，金芝、谢冰、谢涛教授共同担任学术带头人，张路、周明辉、李戈教授及赵俊峰研究员等为学术骨干。
2003年至2012年10月期间，谢冰在北京大学信息科学技术学院担任重要行政职务。根据百度百科等资料，他曾任信息科学技术学院常务副院长。2012年10月，谢冰接替梅宏院士（2003年9月至2012年10月任所长）担任北京大学软件工程研究所所长，该职务延续至今。此后，谢冰进一步出任北京大学科学研究部部长，成为北京大学整体科研管理的核心人物之一。作为科研部部长，他多次代表北京大学出席各类重大科研平台的建设与评估活动，如全国重点实验室重组、重大科研项目启动会等。
在学术兼职方面，谢冰目前担任教育部科技委委员、国家重大研发计划专项专家组成员、中国软件行业协会理事、中国计算机学会高级会员、电子学报英文版编委、国家工程实验室常务理事等职，并于近年当选中国电子学会会士。
三、学生培养情况
根据北京大学软件工程研究所（PKU-SEI）官方网站公布的校友名录（Alumni页面，涵盖2015年至今的毕业生），谢冰作为导师直接指导的学生如下。此外，自1998年加入北大至2015年期间指导的学生，因公开名录未覆盖而无法逐一列举，但以其在软工所25年以上的执教年限和国家杰出青年基金获得者的身份推断，累计指导的硕博研究生数量可观。
1. 陈俊洁（天津大学教授，博士毕业生）
陈俊洁（Junjie Chen）于2019年7月在北京大学软件工程研究所获得博士学位，导师为谢冰教授。其博士论文题目为《Data-Driven Compiler Testing and Debugging》（数据驱动的编译器测试与调试），提出了一系列数据驱动的编译器测试与调试技术，包括编译器测试加速技术、编译器重复缺陷识别技术和编译器缺陷定位技术，以保障编译器这一最基础软件系统的质量。该论文获2019年度中国计算机学会（CCF）优秀博士学位论文奖，全国仅10人获奖。陈俊洁在校期间还获得两项ACM SIGSOFT杰出论文奖、北京大学优秀博士学位论文奖、北京市优秀毕业生、国家奖学金等荣誉。博士毕业后，他入职天津大学智能与计算学部，现任教授，研究方向为软件分析与测试。2025年北京大学深圳研究生院主办的国际编译器技术论坛中，陈俊洁作为共同主席主持论坛，表明其在编译器测试领域已成为国内活跃的青年学术领军人物。
2. 何远多（博士毕业生，2019年）
何远多（Yuanduo He）于2019年在北京大学软件工程研究所获得博士学位，导师为谢冰教授。关于其博士论文题目及毕业后去向，公开资料中信息有限（待核实）。根据SEI校友名录确认其为谢冰指导的博士毕业生。
3. 朱子孝（博士毕业生，2018年）
朱子孝（Zixiao Zhu）于2018年在北京大学软件工程研究所获得博士学位，导师为谢冰教授。关于其研究方向和毕业后去向，公开资料中信息有限（待核实）。
4. 王昊（博士毕业生，2017年）
王昊（Hao Wang）于2017年在北京大学软件工程研究所获得博士学位，导师为谢冰教授。关于其研究方向和毕业后去向，公开资料中信息有限（待核实）。
5. 詹航龙（博士毕业生，2016年）
詹航龙（Hanglong Zhan）于2016年在北京大学软件工程研究所获得博士学位，导师为谢冰教授。关于其研究方向和毕业后去向，公开资料中信息有限（待核实）。
6. 王江涛（博士毕业生，2015年）
王江涛（Jiangtao Wang）于2015年在北京大学软件工程研究所获得博士学位，导师为谢冰教授。关于其研究方向和毕业后去向，公开资料中信息有限（待核实）。
7. 王宇翔（硕士毕业生，2019年）
王宇翔（Yuxiang Wang）于2019年在北京大学软件工程研究所获得硕士学位，导师为谢冰教授。关于其毕业后去向，公开资料中信息有限（待核实）。
8. 陈秀昭（硕士毕业生，2015年）
陈秀昭（Xiuzhao Chen）于2015年在北京大学软件工程研究所获得硕士学位，导师为谢冰教授。关于其毕业后去向，公开资料中信息有限（待核实）。
培养特点总结： 从可查证的信息来看，谢冰指导的博士生研究方向聚焦于软件分析与测试、编译器质量保障、软件开发环境等领域，与FSE、POPL等顶级会议发表方向一致。其中陈俊洁的成果尤为突出，获得CCF优博奖并多次获得ACM SIGSOFT杰出论文奖，体现了谢冰在学生培养上对国际前沿研究方向的敏锐把握和对高质量论文产出的重视。此外，谢冰作为软工所所长和学科带头人，对研究所整体人才培养体系的建设也发挥了关键作用——根据PKU-SEI英文官网介绍，该所在2019年CSRankings软件工程方向排名全球第一。
四、学术合作网络
4.1 实验室内部合作
谢冰在北京大学软件工程研究所的合作网络以"可信软件工程研究组"为核心。该研究组的组织架构如下：
- 学术带头人： 杨芙清教授/院士（软工所创始人、名誉所长）、金芝教授、谢冰教授、谢涛教授
- 学术骨干： 张路教授、周明辉教授、李戈教授、赵俊峰研究员，熊英飞、麻志毅、赵海燕、孙艳春、张伟、邹艳珍副教授
与杨芙清的合作： 杨芙清院士是中国软件工程学科的奠基人，主持了历经多个五年计划的青鸟工程。谢冰自1998年加入北大后，深度参与青鸟工程体系的研究与推广。2006年国家科技进步二等奖获奖项目"基于Internet、以构件库为核心的软件开发平台"即为青鸟工程体系的延伸成果，谢冰排名第3。2009年北京市技术发明二等奖"青鸟软件质量保证支撑工具体系"中，谢冰排名第1，体现了他在杨芙清团队中从参与者成长为项目负责人的过程。
与梅宏的合作： 梅宏院士于2003年9月至2012年10月担任软工所所长，谢冰于2012年10月接任。二人在研究所管理和学术方向上有承继关系。梅宏团队主导的网构软件（Internetware）技术体系获国家973计划连续三期支持，谢冰作为研究所核心成员参与相关研究。
与张路的合作： 张路教授是软件分析、软件测试和软件演化领域的专家，长江学者、国家杰出青年基金获得者，曾担任SCAM 2008和ICSM 2017的程序委员会共同主席。张路与谢冰同属可信软件工程研究组，在软件测试与分析方面存在研究方向的交叉与互补。
与周明辉的合作： 周明辉教授同样毕业于国防科技大学（1999-2002年博士），研究方向为经验软件工程和开源生态。2015年国家技术发明二等奖"基于网络的软件开发群体化方法及核心技术"的完成人名单中包含谢冰和周明辉，二人共同参与了Trustie项目的核心技术研发。周明辉还获2015年中创软件人才奖，与谢冰同年获奖。
与谢涛的合作： 谢涛教授是北京大学计算机学院讲席教授、高可信软件技术教育部重点实验室副主任，同时也是可信软件工程研究组的学术带头人之一。谢涛在国际软件工程界具有很高影响力，在RISC-V生态与编译器测试等方向与谢冰的研究兴趣存在交叉。2025年北京大学深圳研究生院举办的国际编译器技术论坛中，谢涛做主题报告，陈俊洁（谢冰的学生）担任共同主席，体现了两代学者之间的学术传承与协作。
与赵俊峰的合作： 赵俊峰研究员是软件构件技术、SOA支撑技术与中间件领域的专家，全国信息标准化技术委员会多个工作组的秘书长。她曾获国家科技进步二等奖、教育部科技进步一等奖、北京市技术发明二等奖等奖项，与谢冰在Trustie-TSE等项目上有密切合作。
与邵维忠的合作： 邵维忠教授是软工所副所长、杨芙清团队的资深成员，在面向对象方法和软件复用领域有深厚积累。谢冰与邵维忠在青鸟工程和软工所内部长期共事。
4.2 跨机构合作
与国防科技大学（王怀民团队）的合作： 这是谢冰最重要的跨机构合作关系。王怀民院士（2021年当选中国科学院院士）是国防科技大学教授，长期从事分布式计算和软件工程研究。谢冰与王怀民在"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"（即Trustie项目）中深度合作。二人合著的论文《基于网络的可信软件大规模协同开发与演化》发表于《中国科学：信息科学》2014年第1期，提出了"群体协同、资源分享、运行监控、可信分析"的群体化方法核心思想。2015年国家技术发明二等奖"基于网络的软件开发群体化方法及核心技术"即为此项合作的标志性成果，谢冰排名第2。此外，国防科技大学的尹刚（博士、CMOOC联盟实践教学工委副主任、中国开源软件协同创新中心主任）和王涛（国防科技大学副研究员）也是Trustie平台的核心技术人员，与谢冰保持长期协作关系。
与北京航空航天大学的合作： Trustie项目的参与单位包括北京航空航天大学计算机学院，刘旭东（国防科技大学/北京大学/北京航空航天大学多重署名）参与了该项目。北航的软件开发环境国家重点实验室也是该项目的重要合作平台。
与中国科学院软件研究所的合作： 魏峻（中国科学院软件研究所计算机科学国家重点实验室/复旦大学）参与了Trustie项目的核心研究，是2014年《中国科学》论文的共同作者之一。
与山东中创软件商用中间件股份有限公司的合作： 刘江宁（山东中创软件商用中间件有限公司）是Trustie项目的产业方核心参与者，也是2015年国家技术发明二等奖的完成人之一。该公司是青鸟工程成果产业化的重要载体，与谢冰的产业合作详见第五章节。
与南京大学（吕建院士团队）的学术联系： 吕建院士（南京大学教授、中国科学院院士）与梅宏院士同为软件工程领域的顶尖学者，在2026年CCF中国开源大会等场合与北大软工所团队有学术交流。虽然未发现谢冰与吕建团队的直接论文合作，但在学术共同体的层面存在密切互动。
4.3 国际合作
谢冰在FSE（ACM SIGSOFT Symposium on the Foundation of Software Engineering）、POPL（ACM Symposium on Principles of Programming Languages）、ASE（Automated Software Engineering）等软件工程与程序语言领域顶级会议和期刊上发表论文80余篇（CCF个人页面更新为100余篇）。虽然具体的国际合著者信息在公开资料中不够详尽，但从以下线索可以推断其国际合作网络：
- 北京大学高可信软件技术学科引智基地： 该基地是教育部批准的学科创新引智基地，与多位海外学者建立合作关系。2021年该基地举办年度会议时，谢冰作为软工所所长参与组织。
- Internetware国际会议： 北京大学软工所是Internetware（国际网构软件会议）的发起和支撑单位之一。该会议第12届（Internetware 2020）原定在新加坡举行，体现了SEI的国际学术影响力。
- 学生国际化培养： 谢冰指导的博士生陈俊洁在校期间获得两项ACM SIGSOFT杰出论文奖，表明其研究团队与国际软件工程学术社区有深度对接。另一位软工所毕业生陈震鹏（2021年博士毕业，现为清华大学助理教授）在博士期间获WWW最佳论文奖（中国首个），并先后赴英国伦敦大学学院和新加坡南洋理工大学从事研究工作，虽然其导师并非谢冰，但反映了软工所整体的国际化培养环境。
- 与Andreas Zeller等国际学者的学术交流： 2025年北京大学深圳研究生院主办的国际编译器技术论坛上，Andreas Zeller（德国CISPA亥姆霍兹信息安全中心）、Zhendong Su（美国加州大学戴维斯分校）、Alastair F. Donaldson（英国帝国理工学院）等国际知名学者做报告，谢冰的学生陈俊洁担任共同主席，体现了该团队与国际同行的学术连接。
五、业界合作关系深度分析
5.1 产业合作
谢冰在软件工程技术研发和国产软件工具研发与产业化方面做出了重要贡献，其产业合作贯穿青鸟工程、Trustie到当前的开源生态建设全过程。
青鸟工程体系与中创软件： 青鸟工程是杨芙清院士主持的国家重点科技攻关项目，历经"七五""八五""九五"多个五年计划。谢冰1998年加入北大后即深度参与青鸟工程体系。2006年国家科技进步二等奖"基于Internet、以构件库为核心的软件开发平台"是青鸟工程成果的延伸，谢冰排名第3。山东中创软件商用中间件股份有限公司是青鸟工程成果产业化的重要企业载体，刘江宁（中创软件）作为产业方代表与谢冰在Trustie项目中持续合作。2009年北京市技术发明二等奖"青鸟软件质量保证支撑工具体系"中谢冰排名第1，表明他在青鸟工具体系的研发中已从参与者成长为核心负责人。
Trustie（可信软件资源生产与共享环境）产业化： Trustie是"十一五"国家863计划重点项目"高可信软件生产工具及集成环境"的核心成果，由国防科技大学（王怀民团队）、北京大学（谢冰团队）、北京航空航天大学、中国科学院软件研究所、山东中创软件商用中间件股份有限公司等多家单位联合研发。谢冰作为北京大学方面的负责人，主导了Trustie-TSE（Trustie-Towards Software Engineering）子系统的研发。2012年该项目获教育部高等学校科学技术进步一等奖，谢冰排名第1。Trustie平台支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享以及基于海量数据分析的软件可信评估，其成果在软件行业、信息服务业、国防军工领域、集成电路设计领域中广泛应用。
高可信基础软件联合创新实验室（2016年）： 2016年7月26日，北京大学信息科学技术学院、绿欣科技（天津）有限公司、中标软件有限公司在北大科技园天津分园签署战略合作协议并揭牌"高可信基础软件联合创新实验室"。谢冰作为信息科学技术学院副院长代表北大签署协议。该实验室依托高可信软件技术教育部重点实验室的研究实力，在操作系统、办公软件、云计算、大数据、可信技术等方面进行科学研究，覆盖软件开发、质量保障、隐私保护和可信模型评测等多个层面。
与华为的合作关系： 虽然公开资料中未发现谢冰本人与华为的直接技术合作项目，但以谢冰作为北京大学科研部部长的角色，他代表北大参与了多个涉及华为的重大合作平台建设。例如，北京大学视频与视觉技术国家工程研究中心2025年度技术委员会会议上，谢冰以科研部部长身份出席，该中心与华为在AVS系列标准、超高清等领域有密切科研合作。此外，2025年光子传输与通信全国重点实验室重组会议中，华为技术有限公司李锋高级技术专家担任学术委员会委员，谢冰作为北大方面代表出席。在软工所层面，同所的谢涛教授与华为云PaaS技术创新LAB主任王千祥有直接学术对话，软工所整体与华为在智能化软件工程领域存在合作关系。
开源生态建设： 谢冰及其团队深度参与中国开源生态建设。Trustie平台本身即是一个支持开源协作的软件生产与共享环境。2021年第四届"中国软件开源创新大赛"由北京大学和绿色计算产业联盟等联合主办，周明辉（谢冰同事）担任论坛组织委员会主席，尹刚（Trustie项目核心成员、国防科技大学）和王涛（国防科技大学）共同组织，体现了北大软工所与国防科技大学在开源教育领域的持续合作。CCF开源发展委员会于2021年12月成立，由王怀民院士担任主任，谢冰作为该学术共同体的重要成员参与其中。
5.2 创业孵化
关于谢冰本人直接参与的创业孵化活动，公开资料中尚未发现明确记录。但从其所在的北京大学软件工程研究所的整体创业生态来看：
- 燕云平台： 软工所梅宏/黄罡团队研发的燕云平台实现了信息孤岛技术突破，是软工所成果转化的代表性案例。谢冰作为软工所所长，对该平台的产业化提供了管理和平台支持。
- 中创软件： 青鸟工程和Trustie项目的产业合作方山东中创软件商用中间件股份有限公司，是软工所成果产业化的重要企业载体，刘江宁作为该企业代表与谢冰长期合作。
- Educoder平台： 北京大学推出的开放课程《软件工程理论与实践》基于Educoder平台（https://www.educoder.net），该平台与Trustie的开源协作理念一脉相承，谢冰团队的软件工程教学成果通过该平台实现推广。
- 人才流向产业界： 谢冰培养的学生中，部分进入产业界。虽然具体去向信息有限，但根据软工所整体情况，IBM、百度、Google等企业每年招收该系毕业生数十人，谢冰的学生中也有进入产业界的（待核实具体名单）。
六、重要奖项与学术兼职
| 年份 | 奖项/荣誉 | 等级 | 排名/角色 | 项目名称 |
|---|---|---|---|---|
| 2006 | 国家科技进步奖 | 二等奖 | 排名第3 | 基于Internet、以构件库为核心的软件开发平台 |
| 2009 | 北京市科学技术奖（技术发明类） | 二等奖 | 排名第1 | 青鸟软件质量保证支撑工具体系 |
| 2012 | 教育部高等学校科学技术进步奖 | 一等奖 | 排名第1 | 可信软件资源生产与共享环境Trustie-TSE |
| 2015 | 国家技术发明奖 | 二等奖 | 排名第2 | 基于网络的软件开发群体化方法及核心技术 |
| — | 国家杰出青年科学基金 | — | 获得者 | — |
| — | 教育部新世纪优秀人才计划 | — | 入选者 | — |
| — | 北京市科技新星计划 | — | 入选者 | — |
| — | 中创软件人才奖 | — | 获得者 | — |
| — | 中国电子学会会士 | — | 当选 | — |
学术兼职一览：
| 兼职类别 | 具体职务 |
|---|---|
| 政府咨询 | 教育部科技委委员 |
| 政府咨询 | 国家重大研发计划专项专家组成员 |
| 行业协会 | 中国软件行业协会理事 |
| 学术组织 | 中国计算机学会高级会员 |
| 期刊编委 | 电子学报英文版编委 |
| 实验室管理 | 国家工程实验室常务理事 |
| 大学行政 | 北京大学科学研究部部长 |
| 研究所管理 | 北京大学软件工程研究所所长 |
七、Connection圈层总结
谢冰的学术关系网络呈现出以北京大学软件工程研究所为核心、以国防科技大学为重要延伸轴、以产业应用为辐射面的多层次结构，可从以下圈层加以总结：
第一圈层（核心学术共同体）：北京大学软件工程研究所。 这一圈层以杨芙清院士为精神领袖和创始人，梅宏院士为前任所长和学术引路人，谢冰现任所长并作为连接管理与学术的枢纽。核心合作者包括金芝教授（需求工程与知识工程）、谢涛教授（软件工程与AI）、张路教授（软件分析与测试）、周明辉教授（经验软件工程与开源生态）、赵俊峰研究员（软件构件与标准化）等。该圈层是中国高校中最大的软件工程研究团队，拥有3位院士、4位IEEE Fellow，在2019年CSRankings软件工程方向排名全球第一，2020年获IEEE TCSE杰出协同奖。谢冰在这一圈层中既是学术研究者（主持国家杰青基金等项目），也是组织管理者（自2012年起担任所长），扮演着承上启下的关键角色。
第二圈层（国防科大-北大跨机构轴心）：王怀民院士团队。 这一圈层是谢冰学术网络中最深厚的跨机构合作纽带。谢冰毕业于国防科技大学（1998年博士），与国防科大王怀民院士在Trustie项目上形成了"北大-国防科大"双核心合作模式。王怀民团队（含尹刚、王涛等）负责群体化方法和技术平台的核心研发，谢冰团队负责可信软件工程环境和质量保障技术。这一合作产出了2015年国家技术发明二等奖等标志性成果。此外，周明辉同样毕业于国防科大（2002年博士），进一步强化了这一跨机构轴心的人才流动与学术传承。王怀民于2021年当选中国科学院院士并担任CCF开源发展委员会主任，谢冰作为该学术共同体的重要成员，在开源生态建设领域与王怀民保持协同。
第三圈层（产业合作网络）：青鸟-Trustie-开源生态产业化链。 这一圈层以山东中创软件商用中间件股份有限公司（刘江宁）为核心产业伙伴，贯穿青鸟工程成果产业化、Trustie可信软件平台推广、以及当前的开源教育与创新生态建设。中标软件、绿欣科技等企业也是重要的产业合作节点。谢冰在这一圈层中的角色是技术供给方和平台架构者，其研发的软件质量保证工具体系和可信软件生产环境在软件行业、信息服务业、国防军工领域和集成电路设计领域获得广泛应用。此外，作为北京大学科研部部长，谢冰在更高层面参与北大与华为等企业的战略合作平台建设，虽然这些合作不限于其个人研究方向，但体现了其在产学研协同中的管理角色。
第四圈层（学生与学术传承网络）：新一代软件工程学者。 谢冰指导的博士毕业生中，陈俊洁（2019年博士毕业，现为天津大学教授、CCF优博奖获得者）是最突出的代表，在编译器测试领域已具备国际影响力。其他博士毕业生如何远多（2019）、朱子孝（2018）、王昊（2017）、詹航龙（2016）、王江涛（2015）等构成了谢冰的学生网络，虽然多数毕业去向信息有限，但他们在软件工程各方向的发展延续了谢冰的研究脉络。值得关注的是，谢冰的学生陈俊洁与同所谢涛教授在编译器测试领域形成学术接力——2025年国际编译器技术论坛上，谢涛做RISC-V编译器测试主题报告，陈俊洁担任共同主席，体现了软工所内部不同代际学者之间的学术传承与协作。
第五圈层（学术管理与政策影响圈）：北京大学科研管理与中国软件工程学科建设。 作为北京大学科研部部长和教育部科技委委员，谢冰的影响圈层已超越个人研究范畴，延伸至北京大学整体科研战略布局和中国科技政策咨询层面。他代表北大出席各类全国重点实验室重组、重大项目启动、学科评估等高层活动，并以"薪火班"等平台向基层选调生讲授科技领域政策动态。在软件工程学科建设方面，谢冰提出应探讨软件工程学科核心价值与人才培养方向，建议通过定期研讨形成人才培养白皮书，体现了其对学科发展的战略思考。