PKU-SEI 金芝 教授
报告生成时间：2026年8月20日
个人主页：金芝
所属团队：北京大学计算机学院软件工程研究所 / 高可信软件技术教育部重点实验室
一、学者基本信息
| 项目 | 信息 |
|---|---|
| 姓名 | 金芝（Zhi Jin） |
| 出生 | 1962年6月 |
| 研究身份 | 教授、博士生导师；IEEE Fellow（2022）、CCF Fellow（2012）、AAIA Fellow；武汉大学公开资料亦列其为 CAAI Fellow |
| 长期研究主线 | 知识工程、软件需求工程、基于知识的软件工程；近年延展至代码表示学习、智能化软件工程、需求驱动代码生成与演化 |
| 北大工作平台 | 北京大学计算机学院软件工程研究所；高可信软件技术教育部重点实验室可信软件工程研究组 |
| 代表性方法脉络 | 以“领域知识—需求获取/规约—设计与实现”为主线，研究环境建模、知识图谱、自适应/信息物理系统需求工程、群智需求工程及自然语言—程序语言联合学习 |
| 公开学术入口 | PKU教师主页、DBLP作者页、Google Scholar |
金芝的研究网络具有鲜明的“双重知识底座”：一端是知识表示、知识工程与复杂信息系统建模，另一端是软件需求、可信软件与代码智能。其北大主页明确将研究兴趣表述为知识工程与软件工程，并特别关注知识图谱、自适应系统、深度学习，以及用人的领域知识支撑需求获取、设计和实现。来源：PKU主页
二、教育背景与职业履历
- 1980—1984年：浙江大学计算机系本科，获工学学士。
- 1984—1987年：国防科技大学计算机系硕士研究生。
- 1989—1992年：国防科技大学计算机系博士研究生，博士导师为胡守仁教授。公开访谈还确认其博士后合作导师为中国科学院院士陆汝钤；这一“胡守仁—陆汝钤”学术谱系将计算机理论、知识工程与人工智能资源带入其后续研究。来源：CCF访谈转载
- 1992—1994年：在中国科学院数学研究所做博士后，合作导师为陆汝钤院士。该阶段构成其由计算机软件理论训练转向知识工程与系统科学交叉研究的关键节点。
- 1994年7月—2009年3月：任职中国科学院数学研究所（后与多个所整合为中国科学院数学与系统科学研究院）。北大主页记录其1992年任助理研究员、1995年任副研究员、2001年任研究员；这一连续晋升与其在知识工程、基于知识的信息系统开发及需求工程方向的积累相一致。来源：PKU主页
- 2006年：获国家杰出青年科学基金资助。
- 2009年4月起：加入北京大学计算机科学技术系（现计算机学院），成为软件工程研究所和高可信软件技术教育部重点实验室的重要成员。与梅宏教授共同担任首席科学家的网构软件973系列项目，说明其研究已进入网络化、开放演化软件系统的国家级协同研究框架。来源：北大软工所
- 2025年前后：武汉大学官方页面已明确使用“武汉大学弘毅客座特聘教授、特色化示范性软件学院院长金芝”这一称谓；因此，可确认其在武汉大学特色化示范性软件学院担任院长，而不应表述为“武汉大学计算机学院院长”。其与北京大学的联系在同期公开活动中仍以“北京大学/武汉大学”并列呈现。来源：武汉大学活动报道
中科院阶段并非单纯的任职履历：陆汝钤院士领导的知识工程与可信软件理论资源、数学与系统科学研究院的系统科学环境，使其后续研究能够将“领域知识表示”与“软件开发过程”相连接；进入北大后，则借助软件工程研究所和高可信实验室，把该路径扩展到网构软件、复杂嵌入式系统与大模型驱动的软件开发。
三、学生培养情况
北京大学软件工程研究所校友页按毕业年份列出学生及导师。以下选择能够由该校友页直接确认导师关系、并尽量覆盖博士、硕士及当前联合指导学生的8人。公开网页对这些校友的毕业后单位披露不完整，故仅报告可证实事实，不将同名人员或非官方职业简介误认作其去向。来源：PKU-SEI校友页
| 学生 | 培养层次/状态 | 可确认的导师关系与时间 | 公开可确认的研究/去向信息 |
|---|---|---|---|
| 刘洋（Yang Liu） | 博士 | 2019届博士，校友页标注“Yang Liu (Zhi Jin)” | 已毕业；本次检索未发现可与该校友页唯一匹配的公开任职页面，谨不推断去向。 |
| 李璇（Xuan Li） | 博士 | 2017届博士，校友页标注“Xuan Li (Zhi Jin)” | 已毕业；公开检索不足以可靠确定同名者职业去向。 |
| 卢杨阳（Yangyang Lu） | 博士 | 2017届博士，校友页标注“Yangyang Lu (Zhi Jin)” | 已毕业；公开检索不足以可靠确定去向。 |
| 常源（Yuan Chang） | 硕士 | 2019届硕士，校友页标注“Yuan Chang (Zhi Jin)” | 已毕业；未采用未经官方校友资料交叉确认的职业信息。 |
| 蒋欣希（Xinxi Jiang） | 硕士 | 2018届硕士，校友页标注“Xinxi Jiang (Zhi Jin)” | 已毕业；公开资料未形成可核验的唯一去向。 |
| 戴冰丁（Binding Dai） | 硕士 | 2017届硕士，校友页标注“Binding Dai (Zhi Jin)” | 已毕业；未找到充分的公开去向证据。 |
| 蓝政（Zheng Lan） | 硕士 | 2017届硕士，校友页标注“Zheng Lan (Zhi Jin)” | 已毕业；未找到充分的公开去向证据。 |
| 董益宏 | 博士在读/联合指导 | 2022级博士生，公开报道明确其导师为李戈教授和金芝教授 | 在代码智能与大模型软件工程方向发表成果并获多项学生荣誉；属于金芝与李戈团队交叉培养的近期样本。来源：北大计算机学院报道 |
这组培养关系呈现两点：其一，至少在2017—2019届，金芝已形成稳定的博士—硕士培养链；其二，近期以李戈—金芝联合指导为代表，培养主题从经典需求/知识工程延伸到代码表示、代码生成与软件工程智能体。关于用户提及的“刘芳”，本次可检索的北大软工所校友公开名单与可验证网页中未能确认其为金芝指导的博士毕业生，因此不纳入上述名单。
四、学术合作网络
4.1 北大内部的组织型核心圈
金芝位于高可信软件技术教育部重点实验室“可信软件工程研究组”的学术带头人层，与杨芙清院士、谢冰教授、谢涛教授共同构成该组公开列示的带头人组合；张路、周明辉、李戈等为学术骨干。该关系是由实验室治理与研究组织所直接证明，不应简单等同于每对成员均有高频共同署名论文。来源：实验室人员队伍
- 杨芙清：北大软件工程学科奠基性人物，是可信软件工程研究组带头人之一；提供软件工程方法与人才培养传统的组织性连接。
- 谢冰：同为研究组带头人，连接软件工程环境、软件复用与研究所组织管理。
- 谢涛：同为研究组带头人，研究覆盖软件工程、系统软件、软件安全与可信人工智能；在CCF系统软件专委工作中，金芝任前主任、谢涛任主任，构成专业共同体与学术组织的连续关系。来源：CCF系统软件专委研讨会
- 张路：研究组骨干，软件工程方向教授；与金芝共同处于可信软件工程研究平台，属于同机构、同领域的强组织关联。
- 李戈：金芝当前最可见的交叉研究合作者之一。双方团队在代码表示学习、代码注释生成、项目级代码生成与软件工程智能体方向协作；董益宏的联合指导也显示人才培养与课题协同已联动。2023年两团队论文获ICPC ACM SIGSOFT Distinguished Paper。来源：PKU-SEI新闻
4.2 论文与课题驱动的跨机构网络
金芝的个人主页可见合作论文覆盖需求工程、反应式系统、代码表示学习、代码注释生成、程序理解、隐私与信息物理系统；这意味着其合作网络不局限于传统需求工程，而是经由“软件工件—学习模型—可信验证”向人工智能和系统领域外溢。来源：PKU主页论文列表
- 梅宏（北京大学/软件工程共同体）：网构软件973系列项目的共同首席科学家。该长期国家项目将金芝连接到开放、协同、演化软件的体系结构与系统软件网络。
- 陆汝钤（中科院）与胡守仁（国防科技大学）：分别是博士后导师与博士导师，是其学术谱系最直接的上游节点；前者对应知识工程、人工智能与可信软件理论，后者对应博士阶段的计算机科学训练。
- 华南/西南区域的云南大学—云南电网网络：金芝专家工作站由云南大学、北京大学、云南电网有限责任公司电力科学研究院联合建设，形成“北大方法—云南大学团队—电力场景”的跨区域协同链。
- 武汉大学网络：武汉大学特色化示范性软件学院院长这一角色，使其连接武汉地区的软件工程学科、人才培养与行业协会资源；其公开演讲主题“人机物融合智能化软件”也显示需求工程与智能化系统的融合。
4.3 国际学术共同体与期刊/会议网络
金芝通过国际期刊编委、会议组织和学术奖项形成较强的国际共同体连接：曾/现任 IEEE Transactions on Software Engineering、IEEE Transactions on Reliability 副编辑，Empirical Software Engineering、Requirements Engineering Journal 编委，并承担 ICSE、FSE、RE、ASE 等会议的组织或程序工作。个人主页列明其曾任 RE 2010 大会主席、COMPSAC 2011程序委员会共同主席、KSEM 2009程序委员会共同主席等。来源：PKU主页
这一圈层并非只提供荣誉性曝光：需求工程、可信系统和代码智能的国际评审与组织位置，为学生论文、联合项目和中国软件工程议题进入国际讨论提供了稳定接口。
五、业界合作关系深度分析
5.1 华为：以学术共同体基金为枢纽的“问题牵引型”合作
金芝与华为的公开关系具有制度化、持续性特征，而非单次企业讲座。她作为CCF软件工程共同体代表参与CCF—华为胡杨林基金软件工程专项。2023年度发布会中，金芝与谢涛、李戈、李宣东、彭鑫等高校学者和华为专家共同发布指南；专项自2021年启动，前两期资助15项、单项不低于50万元。来源：CCF官方
更重要的是课题设置与金芝研究主题高度同构：代码大模型提示工程、代码表征与生成、可信代码生成中的人机协同、基于大模型的测试、研发生产线智能支持与代码重构等，正好把她的知识驱动软件工程、需求工程和代码智能研究映射为企业研发问题。因此，这一关系的深度主要体现在：
- 议题定义：通过技术管理和指南研讨，把产业痛点转译为可申报、可评审的学术问题；
- 组织桥梁：依托CCF专业委员会，连接华为专家与北大、南大、复旦、西电等高校团队；
- 技术扩散：由基金项目推动从模型、测试、代码分析到研发流程的全链条研究，而不仅是某一单项成果转让。
公开资料还显示，金芝与华为软件工程应用技术实验室专家共同担任“大模型下的软件工程：机遇与挑战”CCF秀湖会议执行主席，进一步说明双方讨论已延伸至大模型软件工程的方法论与产业治理层面。来源：CCF秀湖会议报道
5.2 云南电网：以专家工作站为载体的场景落地与能力建设
云南省金芝专家工作站是本报告所见证据最充分的应用型合作。它由云南大学、北京大学、云南电网有限责任公司电力科学研究院联合建设，2022年起围绕能源电力数智化需求开展研究。公开建设材料明确描述了从需求、知识到系统的落地链条：来源：云南大学软件学院
- 建设电力政策知识库、联合知识抽取与安全保护技术，支撑安全共享和协同使用；
- 研发知识增强的云南能源电力政策知识管理系统，并在云南电网建立应用示范；
- 研发电力领域大模型 PowerPulse，支持政策摘要、交互问答、文稿组织、热点发现和话题推荐；
- 建设成果获2024年云南省科学技术奖自然科学奖二等奖；公开材料记载已培养博士4人、硕士22人（其中12人已获学位），并形成专利、标准和技术转化成果。
该合作体现了金芝方法的完整转化逻辑：以知识工程处理异构行业知识，以需求工程定义业务目标，再以大模型和软件工程实现可运营系统。与华为合作相比，云南电网案例更接近垂直行业真实业务闭环；与一般横向项目相比，工作站又兼具区域人才培养、团队孵化与持续示范功能。
此外，北大软工所官网列出华为、神州数码、金蝶中间件、中创软件、IBM中国研究院、微软亚洲研究院、Avaya实验室等为研究所层面合作伙伴。这些信息可说明金芝所在组织具有广泛产业网络，但公开资料不足以逐一确认金芝本人在各企业项目中的具体职责，故不作个人直接合作断言。来源：PKU-SEI概况
六、重要奖项与学术兼职
| 类别 | 事项 |
|---|---|
| 国家级人才项目 | 国家杰出青年科学基金获得者（2006） |
| 学术会士 | CCF Fellow（2012）；IEEE Fellow（2022）；AAIA Fellow；武汉大学近年公开简介同时列 CAAI Fellow |
| 重要奖励 | 教育部科技进步一等奖；2018年CCF科学技术奖技术发明一等奖；北京市技术发明二等奖；2021年CCF杰出成就奖（夏培肃奖）；2022年IEEE Computer Society Distinguished Contributor、IEEE TCSVC Outstanding Leadership Award；中创软件人才奖。公开来源所列为“教育部科技进步一等奖”，并非“教育部自然科学一等奖”；“国家科技进步二等奖”在本次检索中未获可靠的官方交叉佐证，故不列入确认奖项。 |
| 论文荣誉 | 北大主页列出多次 ACM SIGSOFT Distinguished Paper Award；不同时间版本的公开简介记为4次或6次，故不以单一总数作确定性表述。 |
| 学术组织 | 国务院学位委员会第八届软件工程学科评议组成员；中国人工智能学会知识工程与分布智能专委会副主任；曾任/现任中国计算机学会系统软件专委负责人、CCF监事长等，具体任期以各年度组织公告为准。 |
| 期刊服务 | 《软件学报》执行主编、《计算机学报》副主编；并参与 JCST、IEEE TSE、IEEE TR、ACM TAAS、EMSE、RE 等期刊编辑工作。 |
上述奖励与兼职共同显示她在三种不同网络中的位置：国家科研计划与人才体系、国内软件工程专业共同体、国际软件工程期刊和会议共同体。尤其是CCF夏培肃奖与IEEE Fellow，分别对应国内学术共同体的长期贡献认可和国际专业社群认可。来源：云南大学专家工作站简介；武汉大学引进人才简介
七、Connection圈层总结
第一圈层：学术谱系与方法源头。 博士导师胡守仁、博士后导师陆汝钤构成其最清晰的上游学术连接；前者提供国防科技大学计算机学科训练，后者将其导入中科院知识工程、人工智能与系统科学环境。该圈层解释了她为何长期坚持以“知识”连接“软件”。
第二圈层：北大可信软件工程共同体。 以杨芙清、谢冰、谢涛为带头人，与张路、周明辉、李戈等构成组织化协同网络。它的功能是将需求工程、软件工程环境、可信验证、系统软件和代码智能整合到同一研究平台；其中李戈是面向大模型软件工程和联合培养最活跃的接口之一。
第三圈层：学生与人才再生产网络。 已公开确认的2017—2019届博士、硕士校友说明其具备稳定培养链；董益宏等联合指导学生表明培养方式正向“软件工程基础问题 + 大模型代码智能”融合。公开校友去向资料并不完整，后续可通过校友个人主页、论文机构地址和学位论文库持续补图。
第四圈层：跨机构、产业与区域应用网络。 梅宏及网构软件国家项目连接国家级软件系统研究；武汉大学角色扩展了其在中部地区软件人才培养与学科建设的节点能力；华为基金使其参与产业问题设定与技术生态组织；云南电网工作站则形成知识工程—大模型—行业系统的可验证应用闭环。
总体看，金芝并非仅以共同署名论文形成网络，而是同时通过导师谱系、实验室共同治理、联合指导、国家项目、专业委员会、产业基金和行业工作站建立多层关系。其网络的中心竞争力在于：把领域知识与需求工程作为上游约束，再把代码智能、可信验证和大模型开发作为下游能力，从而能够在学术创新、人才培养和行业应用之间持续转换。