金芝，1962年6月生，现任中国科学院数学与系统科学研究院研究员，北京大学教授，博士生导师，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任，湘潭大学智能计算与信息处理教育部重点实验室学术委员会委员 [1]  。兼任中国计算机学会常务理事。还担任《软件学报》执行副主编，《计算机学报》副主编，《Journal of Computer Science and Technology》编委。多年来，一直从事知识工程、基于知识的软件工程和软件需求工程的研究，先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家基础研究发展规划（973）项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等二十余项。出版合著英文专著1部，合著中文编著1部，译著2部，在国内外学术期刊和会议上发表论文100多篇。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖。

1993年8月赴德参加国际理论计算机科学SUMMER SCHOOL。

1996年至1997年赴法国国家科学院IRISA进行合作研究。

1997年至1998年受英国皇家学会基金资助赴英国Ulster大学进行客座研究。

2000年至2001年受英国皇家学会基金资助赴英国Ulster大学进行合作研究。

人物经历

1980年至1984年，浙江大学计算机系攻读学士学位。

1984年至1986年，国防科技大学计算机系攻读硕士学位。

1989年至1992年，国防科技大学计算机系攻读博士学位。

1986年至1989年，湘潭大学计算机系助教。

1992年至1994年，中国科学院数学研究所博士后工作站从事博士后研究工作。

1994年至1997年，中国科学院数学研究所副研究员。

1998年至2001年，中国科学院数学与系统科学研究院副研究员。

2001年至今，中国科学院数学与系统科学研究院研究员，博士生导师。

1993年8月赴德参加国际理论计算机科学SUMMER SCHOOL。

1996年至1997年赴法国国家科学院IRISA进行合作研究。

1997年至1998年受英国皇家学会基金资助赴英国Ulster大学进行客座研究。

2000年至2001年受英国皇家学会基金资助赴英国Ulster大学进行合作研究。

1997年起，中国科学院数学与系统科学研究院计算机科学室副主任，2003年起任主任。

1997年起，中科院管理、决策与信息系统开放实验室副主任。

1996年起，IEEE计算机学会ECBS技术委员会会员。

1999年起，中国计算机学会青年科技论坛学术委员会委员，2001年起任学术秘书，2003年任学术委员会副主席。

2001年起，中国计算机学会软件工程专委委员。

2002年起，任软件学报编委

研究方向

需求工程、基于知识的软件工程、知识工程和人工智能。

主要贡献

学术活动

（参与学术会议的组织工作）：

1. 2001年、2002年、2003年全国软件技术研讨会大会学术委员会成员。

2. BASICS'01：2001 SUMMER SCHOOL AND WORKSHOP ON BASIC STUDIES IN COMPUTING SCIENCE，Program Committee Member；

3. 2002年第八届联合国际计算机会议程序委员会委员；

4. 2003年全国计算机大会学术委员会委员。

5. IFSFT'04：International Symposium on Future Software Technology 2004，Program Co-Chair。

6. 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM2004), Program Committee Member。

科研项目

1. 1985年至1987年，《李聪甫老中医整体脾胃观慢性肾炎诊疗专家系统》，卫生部七·五重点科技攻关项目。该项目于1988年通过湖南省卫生局组织的技术鉴定，所开发的系统获湖南省省级科技成果二等奖。

2. 1989年至1992年，《新一代知识处理集成化环境系统NKES/SUN》，国家863高技术课题，该项目已于1992年10月通过专家鉴定，所开发的系统于1994年10月获国防科工委科技进步贰等奖。

3. 1991年至1995年，《实用智能工具集的开发》（编号85-712-01-07-02），国家八·五重点攻关项目，该项目已于1995年9月通过电子部组织的专家鉴定。

4. 1995年至1997年，《基于逻辑的面向对象语言模型的研究》（编号69403001），国家自然科学青年基金项目，已结题。(8万)

5. 1996年至1997年，《智能软件工具的概念模型研究》（编号96-729-01-06-09），国家九·五重点攻关项目第一期，于1998年8月通过专家鉴定。

6. 1996年至1998年，《面向对象的软件技术》（编号863-306-02-05-2），国家863高技术课题，于1998年8月通过专家鉴定。（24万）

7. 1998年至2000年，《基于领域分析的软件开发技术》（编号98-780-01-07-09），国家九·五重点攻关项目第二期，已于2000年8月通过专家鉴定。

8. 1998年至2001年，《常识知识的实用研究》（编号69733020），国家自然科学基金重点项目。于2002年3月通过专家验收。（88万）

9. 1998年至2000年，《基于本体论的领域分析和领域建模》（编号863-306-ZT02-01-2），国家863高技术项目，已于2000年8月通过专家鉴定。（19万）

10. 1999年至2000年，《基于知识的需求自动获取》（编号J9907），国家教委留学回国人员科研启动基金。（2万）

11. 2000年至2002年，《基于知识的需求获取方法的形式化研究》（编号69983010），国家自然科学基金项目。总经费13万。主持。

12. 2000年至2002年，《基于本体的需求获取》，中国科学院盈科优秀青年人才基金项目。（15万）

13. 2001年至2003年，《基于领域建模的需求工程》，（编号2001AA113130），国家863高技术发展计划项目。总经费40万。主持。

14. 2002年至2004年，《“信息和知识共享”的系统理论》，（编号2001CCA03000），国家基础研究重大项目前期研究专项。总经费100万。参加。

15. 2003年至2006年，《软件的特征交互及互操作性的研究》，（编号60233010），国家自然科学基金重大项目。总经费200万，主持课题经费40万。

16. 2003年至2007年，《Internet环境下基于Agent的软件中间件理论和方法研究》，国家基础研究重大发展规划项目，总经费2500万。主持课题《基于知识的网构软件需求建模理论和方法研究》，（编号2002CB312004），课题经费360万。

获奖记录

1. 1994年因研制成功国家863高技术课题《新一代知识处理集成化环境系统NKES/SUN》，获国防科工委科技进步二等奖一项(排名第二)。

2. 1997年获中创软件人才奖。

3. 2000年获中科院盈科优秀青年人才奖。

4.2022年2月19日，获2021年CCF女性科技工作者夏培肃奖。