PKU-SEI 谢冰教授

报告生成时间：2026年8月20日
个人主页：谢冰
所属团队：北京大学计算机学院软件工程研究所（所长）/ 高可信软件技术教育部重点实验室

一、学者基本信息

项目	内容
姓名	谢冰（Bing Xie）
出生年份	1970年（生于湖南省）
当前职称	教授、博士生导师（北京大学"博雅特聘教授"）
行政职务	北京大学计算机学院软件研究所所长、软件工程研究所所长（2012年10月至今）、软件开发环境研究室主任；北京大学科学研究部部长（据近年公开报道）
所属机构	北京大学计算机学院软件研究所/软件工程研究所（高可信软件技术教育部重点实验室主体单位）
研究方向	软件工程（软件复用与构件技术、软件开发环境与工具、软件配置管理、可信软件评估、基于大数据的智能化软件开发、软件供应链）、计算机科学理论、分布式系统
人才头衔	国家杰出青年科学基金获得者；教育部"新世纪优秀人才计划"入选者；北京市科技新星；"中创软件人才奖"获得者
学历	1998年获国防科技大学计算机软件与理论专业博士学位
电子邮件	xiebing@pku.edu.cn
办公电话	86-10-6275 9627
论文发表	在FSE、POPL、ASE等软件工程与程序语言领域顶级会议及主流期刊上发表论文100余篇（据CCF数字图书馆个人简介）

说明： 需要澄清两点常见误解：（1）谢冰并非"高可信软件技术教育部重点实验室主任"——据重点实验室官网组织结构页面，该实验室主任为梅宏院士，常务副主任为金芝教授，副主任包括黄锦辉（香港中文大学）、张路、王腾蛟、谢涛；谢冰是实验室"可信软件工程研究组"四位学术带头人之一（另三位为杨芙清、金芝、谢涛）。（2）谢冰的国家级科技奖励为2006年国家科技进步二等奖与2015年国家技术发明二等奖，二者均源于北大软工所"青鸟"构件技术与"Trustie（确实）"群体化软件开发体系，而非青鸟工程本体奖项（青鸟工程早期的国家级奖励由杨芙清等更早一代获得）。

二、教育背景与职业履历

2.1 教育背景

时间	经历	说明
—	国防科技大学计算机软件与理论专业博士	1998年毕业

谢冰的博士教育在国防科技大学完成，并非"北大本硕博"培养。其博士生导师身份在公开渠道未见明确记载，本报告不作断言。值得注意的是，其博士毕业院校国防科技大学计算机学院（廖湘科、王怀民院士所在单位）日后成为其最重要的跨机构合作对象之一。

2.2 职业履历

时间	职位	单位
1998年至今	先后任讲师、副教授、教授（博雅特聘教授）	北京大学（1998年进入北大工作）
—	软件工程国家工程研究中心总工程师	北京大学
—	信息科学技术学院副院长、常务副院长	北京大学
2012年10月至今	软件工程研究所所长（第三任，前两任为杨芙清院士、梅宏院士）	北京大学
—	软件研究所所长；软件开发环境研究室主任	北京大学计算机学院
约2020年代起	科学研究部（科研院）部长	北京大学（2023—2024年前后多篇公开报道证实）

谢冰1998年从国防科技大学博士毕业后即进入北京大学工作，加入了杨芙清院士主持的青鸟工程研究团队（软件工程教研室，1999年改制为软件工程研究所）。从2000年代初的论文记录看，其早期即与张路、梅宏、邵维忠、杨芙清等合作开展基于构件的软件配置管理技术研究（如2001年《电子学报》论文《基于构件的软件配置管理技术研究》），逐步成长为青鸟体系软件工具研发的核心骨干。此后历任软件工程国家工程研究中心总工、信息科学技术学院常务副院长，2012年10月起接替梅宏院士出任软件工程研究所所长。2021年北京大学计算机学院成立后，兼任学院软件研究所所长（该所由原软件工程研究所、理论计算、信息安全等研究室整合而来，下设七个研究室）。近年（据2023—2024年前后北大新闻网、北大附中讲座、东北大学重点研发计划项目论证会等公开报道）担任北京大学科学研究部部长，同时仍以软件研究所所长身份参与学院学科建设活动（如2026年3月软件科学与工程系AI课程改革研讨会）。

三、学生培养情况

北京大学软件工程研究所实行"导师集体负责制"，研究生通常由多名教师共同指导，且许多博士生的正式导师为杨芙清、梅宏、张路等，因此谢冰的人才培养呈现"课题组共同体"特征。以下人物均为在北京大学软工所成长、与谢冰长期密切合作（合作论文数量据OpenAlex数据库统计）的代表性人物；除特别注明外，其博士导师身份以公开资料可查者为准，师承关系不作过度断言：

姓名	与谢冰合作情况	现职/去向
赵俊峰	合作论文约30篇（2006年至今），为谢冰论文合作网络中合作频次最高的同事之一；博士生阶段即作为主要完成人参与2006年国家科技进步二等奖项目"基于Internet、以构件库为核心的软件开发平台"	北京大学计算机学院研究员；研究方向从软件工程转向大数据分析、知识工程、数据治理、城市计算；全国信息标准化技术委员会大数据技术专题组秘书长；与梅宏院士等合著《数据治理之论》
王亚沙	合作论文约11篇；亦为2006年国家科技进步二等奖主要完成人之一	北京大学教授（长江学者特岗），北大软工所骨干，软件复用与教育信息化方向
郝丹	合作论文约8篇（2014—2018年密集合作）	北京大学计算机学院长聘副教授，软件测试与软件过程方向，教育部"新世纪优秀人才"
陈俊洁	合作论文约7篇；博士期间深度参与谢冰牵头的国家重点研发计划项目"基于大数据的软件智能开发方法和环境"	2018年博士毕业于北京大学，2019年CCF优秀博士学位论文奖获得者；现任天津大学智能与计算学部教授、软件工程团队负责人，国家优青
朱子骁	合作论文约7篇（2013—2020年），软件生态系统、API与软件市场方向	博士毕业于北京大学，后任职于IBM（中国）研究院
邵凌霜	合作论文约8篇（2007—2010年），Web服务与服务质量方向	博士阶段在北京大学软工所从事研究，现为天津理工大学教授
林泽奇	合作论文约11篇，云测试、软件知识图谱方向（如JCST 2017年"IntelliDE智能开发环境与软件知识图谱"论文）；曾在微软亚洲研究院联合培养	北京大学高可信实验室出身后赴卡内基梅隆大学（CMU）深造，据其公开信息现为CMU助理教授（此条据公开资料，建议进一步核实）

在读与近年新生代：从近年论文记录看，谢冰目前仍活跃指导研究生，近年高频合作者包括赵显临、朱一峰、丁鸿鑫、徐永昕、白延伟、李雨轩等，研究主题集中于代码大模型、API幻觉消解、仓库级代码演化（如SANER 2026论文"Progressively Mitigating API Hallucination in LLM-Generated Code via Knowledge Graph Reasoning"、FeatX等）。

培养总体情况：谢冰所在软工所（导师集体制）的历届研究生中产生了全国百篇优秀博士论文1篇（2006）及提名1篇、CCF优博6篇、ACM SIGSOFT杰出论文奖13篇、IBM博士生英才奖学金8人、微软学者奖学金7人；毕业生去向涵盖北大、中科院软件所、上海交大、天津大学等高校，华为、百度、腾讯、阿里等企业，以及谷歌、微软、IBM等国际企业。其中经由谢冰直接指导或深度参与的代表性学术人才包括陈俊洁（天津大学教授）、朱子骁（IBM研究院）等。

四、学术合作网络

4.1 机构内核心合作者（北京大学软工所/高可信实验室）

谢冰的机构内合作网络呈现"杨芙清—梅宏谱系 + 青鸟工程共同体"的鲜明特征：

杨芙清院士（合作论文约7篇）：青鸟工程主持人、软工所创始所长。谢冰1998年加入北大后即在杨芙清团队中从事青鸟系列工具研发，2006年国家科技进步二等奖项目即以杨芙清为第一完成人、谢冰排名第三。杨芙清是谢冰在北大的学术领路人（非正式导师关系）。
梅宏院士（合作论文约17篇）：软工所第二任所长、2006年获奖项目第二完成人。谢冰接任其所长职位，两人在构件技术、网构软件等方向长期合作。注意：谢冰并非梅宏的学生，而是同所同事型长期合作者。
张路教授（合作论文约25篇）：合作自2001年基于构件的软件配置管理研究开始，延续二十余年，是谢冰在软工所内最稳定的同辈合作者。两人共同指导了大量软工所学生。
邹艳珍（合作论文超过40篇，OpenAlex统计中为谢冰合作频次最高者）：注意其为梅宏院士的博士生（2010年毕业），非谢冰学生，但自2010年前后起与谢冰构成"软件开发环境研究室"的核心合作对子，共同指导学生开展软件复用、软件知识图谱、软件供应链（如2024年PyPI深度学习软件包供应链研究）与代码大模型研究。
谢涛教授（合作论文约3篇，但机构关系紧密）：ACM/IEEE/AAAS Fellow，2019年回国加盟北大任讲席教授并出任软件科学与工程系主任。谢冰与谢涛同为高可信实验室"可信软件工程研究组"学术带头人，构成北大软工所当前的双核领导层。
黄罡教授：梅宏的博士生、软工所"可信软件平台研究组"学术带头人（燕云系统、2018年国家技术发明一等奖）。公开论文记录中与谢冰的直接合作频次较低，两人主要在研究所治理层面（谢冰任所长）协作，学术方向上分属"开发环境"与"运行平台"两条线。
其他高频所内合作者还包括：熊英飞（约7篇）、李戈（约4篇）、周明辉（约3篇）、王亚沙（约11篇）、郝丹（约8篇）、赵俊峰（约30篇），以及早期前辈邵维忠教授（约4篇，2000年代初合作）。

4.2 跨机构合作网络（国内）

国防科技大学（王怀民院士、尹刚）：最重要的跨机构合作轴线。王怀民院士牵头的Trustie（确实）"基于网络的软件开发群体化方法"获2015年国家技术发明二等奖，谢冰为第二完成人；北大与国防科大（参与单位还包括北航、中科院软件所、复旦、山东中创软件商用中间件股份有限公司等）围绕可信软件资源共享、群体化软件开发持续合作。尹刚（国防科大，Trustie平台负责人）与谢冰有直接论文合作。谢冰本人亦出身国防科大博士，这一学缘强化了北大—国防科大软件工程共同体。
复旦大学（赵文耘、彭鑫）：赵文耘教授为2006年国家科技进步二等奖主要完成人之一（构件库平台项目，完成单位含复旦大学）；彭鑫教授与谢冰同为2016年度国家重点研发计划项目"基于大数据的软件智能开发方法和环境"的核心成员，并有JCST 2017智能开发环境论文等合作。
南京大学（李宣东教授）：同为上述国家重点研发计划项目核心成员（2021年《大数据》期刊总结论文"基于大数据的软件智能化开发方法与环境"的联合作者还包括尹刚、李宣东、魏峻、孙海龙）。
中国科学院软件所（魏峻、孙海龙）：Trustie体系与重点研发计划的长期伙伴。
天津地区高校：天津大学陈俊洁（谢冰课题组培养出的CCF优博，现天大软件工程团队负责人）、天津理工大学邵凌霜——体现出其人才网络在京津冀的辐射。
高校间学生输送：软工所毕业生进入上海交大、天津大学、北理工、中山大学、北邮等任教（所级数据）。

4.3 国际合作与海外机构合作

微软亚洲研究院（MSRA）：约2014—2017年间与MSRA的张洪宇、张令明（Lingming Zhang，后至UIUC）等围绕云测试、缺陷定位等开展系列合作（如多篇云测试论文）；联合培养学生林泽奇即为北大—MSRA合作模式的产物。
IBM：与IBM T.J. Watson研究中心的张亮（Liang-Jie Zhang，服务计算领域，合作约5篇，2006—2010年前后SOA/服务研究方向）以及IBM中国研究院（学生朱子骁入职；早期还有谷梁等合作者）保持合作。
新加坡管理大学（SMU）：2008—2010年前后与Robert H. Deng（IEEE Fellow）、Xuhua Ding围绕服务安全与信任管理合作发表论文（各约3篇）。
谢涛：在谢涛回国前（其时在美国UIC/北卡州立等）双方即有论文合作（约3篇），谢涛回国后合作转入机构内层面。
国际学术交流层面，软工所与MIT、UC Berkeley、UIUC、耶鲁、东京大学、NII、滑铁卢大学等保持交流，谢冰作为所长长期推动这些合作（所级数据）。

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

5.1 青鸟工程传承与国产软件工具产业化

谢冰在青鸟工程基础上长期从事软件工程工具与环境的研发和产业化，是其学术生涯最鲜明的"顶天立地"特征：

青鸟质量保证与配置管理工具体系：谢冰在青鸟工程后续阶段（"九五""十五"攻关及863计划）承担软件配置管理、质量保证等工具的研发，牵头成果"青鸟软件质量保证支撑工具体系"获2009年北京市科学技术奖技术发明类二等奖（排名第一）。
构件库平台产业化：2006年国家科技进步二等奖项目"基于Internet、以构件库为核心的软件开发平台"（杨芙清领衔，谢冰排名第三；主要完成单位：北京大学、复旦大学、北京北大软件工程发展有限公司、上海复旦天翼计算机有限公司）的成果（可信软件资源库/JBCLMS等）在北京、广州等地软件园区及神州数码、山东浪潮等大中型企业部署应用。
中间件生态：北大软工所的构件化应用服务器PKUAS技术转让给中创、金蝶、东方通等企业，共同发起"四方国件"中间件联盟，与国际厂商直接竞争。谢冰个人与中创软件渊源深厚——获"中创软件人才奖"，中创软件亦是其后来Trustie获奖项目的完成单位之一，并多次邀请北大软工团队交流讲学。
任职层面：谢冰曾任北京大学软件工程国家工程研究中心总工程师，直接负责科研成果向产业的转化通道；据百度百科其还担任"国家工程实验室常务理事"（此头衔建议进一步核实）。
应用领域：其成果（含后续Trustie体系）在软件行业、信息服务业、国防军工领域、集成电路设计领域广泛应用（北大官方简介原文）。

5.2 Trustie群体化开发、智能开发环境与企业生态

Trustie（确实）体系：2012年教育部高等学校科学技术进步一等奖"可信软件资源生产与共享环境Trustie-TSE"（谢冰排名第一）；2015年国家技术发明二等奖"基于网络的软件开发群体化方法及核心技术"（王怀民领衔，谢冰排名第二）。Trustie相关成果应用于Mozilla开源社区、OW2开源组织、华为、神州数码、东软集团，以及北京、广州、长沙等地软件园和西昌、海南文昌卫星发射基地等国家重大建设工程。
国家重点研发计划"基于大数据的软件智能开发方法和环境"（2016年度立项，北大牵头）：谢冰为牵头负责人，联合复旦（彭鑫）、国防科大（尹刚）、南京大学（李宣东）、中科院软件所（魏峻）、孙海龙等，构建了"软件工程大数据汇聚—知识图谱—智能工具—云平台"的产学研协同网络，并孵化出面向大众的创新服务公共平台。
企业合作生态（软工所层面，谢冰作为所长是主要推动者之一）：与华为、神州数码、金蝶中间件、中创软件、IBM中国研究院、Microsoft亚洲研究院、Avaya Lab等建立合作伙伴关系；研究所代表性成果燕云系统（2018年国家技术发明一等奖，黄罡领衔）转化为联想、方正、神州数码等公司产品，应用于工信部、中国移动、南方电网等项目——谢冰作为所长参与研究所层面的产业转化治理。
地方与联合实验室：2018年前后参与推动"高可信基础软件联合创新实验室"（北京大学信息科学技术学院与天津宝坻区、绿欣科技、中标软件三方战略合作），在操作系统、办公软件、云计算、可信技术等方向开展联合研发。
软件供应链方向的新布局：近年其团队（与邹艳珍等合作）开展深度学习软件包供应链（PyPI生态）、API生态等研究，呼应了国家开源与软件供应链安全战略，延续了其"软件复用—软件生态—供应链"一以贯之的研究主线。

六、重要奖项与学术兼职

6.1 科技奖励

年度	奖项	排名	成果
2006	国家科学技术进步奖二等奖	第3完成人	基于Internet、以构件库为核心的软件开发平台（杨芙清领衔）
2009	北京市科学技术奖技术发明类二等奖	第1完成人	青鸟软件质量保证支撑工具体系
2012	教育部高等学校科学技术进步奖一等奖	第1完成人	可信软件资源生产与共享环境Trustie-TSE
2015	国家技术发明奖二等奖	第2完成人	基于网络的软件开发群体化方法及核心技术（王怀民领衔）

另获国家杰出青年科学基金、教育部新世纪优秀人才计划、北京市科技新星计划、"中创软件人才奖"，现为北京大学博雅特聘教授。据百度百科另载其为"中国电子学会会士"（此头衔建议以学会官方名录为准）。

6.2 学术兼职与学术服务

教育部科学技术委员会（科技委）委员（据CCF数字图书馆个人简介）
国家重点研发计划专项专家组成员（同上）
中国软件行业协会理事
中国计算机学会（CCF）高级会员
《电子学报》英文版编委
国家工程实验室常务理事（据百度百科，待核实）
作为课题/项目负责人先后承担国家863计划、科技支撑计划、国家重点研发计划、北京市科委重点课题、国家自然科学基金杰青基金等重点项目9项，参与973、863计划、基金重点项目5项；软工所官方页面亦将谢冰列为973计划/重点研发计划项目负责人（首席科学家）之一

七、Connection圈层总结

谢冰的学术关系网络可以概括为以"青鸟工程谱系"为纵轴、以"国产软件工程工具产业化共同体"为横轴的典型中国软件工程学派网络：

第一圈层（学术领路人与终身合作者）：杨芙清院士、梅宏院士（青鸟谱系两代所长，谢冰的直接上级与长期合作者）；张路（二十余年合作的最紧密同辈）；赵俊峰、邹艳珍（团队日常运转的双支柱，合作论文数分别为其网络中第一、二位）。
第二圈层（所内同事与共同培养梯队）：谢涛（现任软工所双核之一）、金芝、黄罡、周明辉、李戈、熊英飞、郝丹、王亚沙、麻志毅等软工所骨干；以及由其直接或参与指导成长的学生群体——陈俊洁（天津大学）、朱子骁（IBM研究院）、邵凌霜（天津理工）、林泽奇（CMU）等。
第三圈层（国内软件工程共同体）：国防科大系（王怀民院士、尹刚——兼具其博士母校学缘与Trustie获奖伙伴双重纽带）；复旦（赵文耘、彭鑫）、南京大学（李宣东）、中科院软件所（魏峻、孙海龙）——以2016年国家重点研发计划"基于大数据的软件智能开发方法和环境"为纽带的核心协作网络。
第四圈层（产业与国际网络）：中创软件、神州数码、浪潮、金蝶、东方通、北大软件工程发展公司等国产软件工具产业伙伴；IBM（T.J. Watson及中国研究院）、微软亚洲研究院（张洪宇、张令明等）；新加坡管理大学等国际学术合作节点。

网络特征总结：其一，谢冰是"外来的青鸟传人"——以国防科大博士身份于1998年加入北大杨芙清团队，非北大本土培养，却成为青鸟谱系第三代所长（杨芙清→梅宏→谢冰），这种"学缘嫁接"使其同时嵌入北大软工所与国防科大两大软件工程重镇；其二，其网络重心明显偏向"国家重大科研项目+产业化落地"而非纯论文合作，四次国家级/省部级主要奖励均由产学研联合体完成；其三，近年其角色重心随北大科研部部长职务转向科研管理，学术产出更多依托赵俊峰、邹艳珍等骨干及其新生代学生延续，研究方向亦从传统软件复用/配置管理平滑过渡到软件知识图谱、代码大模型与软件供应链安全。

PKU-SEI 谢冰 教授