金芝，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年，《基于本體論的領域分析和領域建?！罚ň幪?63-306-ZT02-01-2），國家863高技術項目，已于2000年8月通過專家鑒定。（19萬）

10. 1999年至2000年，《基于知識的需求自動獲取》（編號J9907），國家教委留學回國人員科研啟動基金。（2萬）

11. 2000年至2002年，《基于知識的需求獲取方法的形式化研究》（編號69983010），國家自然科學基金項目?？偨涃M13萬。主持。

12. 2000年至2002年，《基于本體的需求獲取》，中國科學院盈科優秀青年人才基金項目。（15萬）

13. 2001年至2003年，《基于領域建模的需求工程》，（編號2001AA113130），國家863高技術發展計劃項目?？偨涃M40萬。主持。

14. 2002年至2004年，《“信息和知識共享”的系統理論》，（編號2001CCA03000），國家基礎研究重大項目前期研究專項?？偨涃M100萬。參加。

15. 2003年至2006年，《軟件的特征交互及互操作性的研究》，（編號60233010），國家自然科學基金重大項目?？偨涃M200萬，主持課題經費40萬。

16. 2003年至2007年，《Internet環境下基于Agent的軟件中間件理論和方法研究》，國家基礎研究重大發展規劃項目，總經費2500萬。主持課題《基于知識的網構軟件需求建模理論和方法研究》，（編號2002CB312004），課題經費360萬。

獲獎記錄

1. 1994年因研制成功國家863高技術課題《新一代知識處理集成化環境系統NKES/SUN》，獲國防科工委科技進步二等獎一項(排名第二)。

2. 1997年獲中創軟件人才獎。

3. 2000年獲中科院盈科優秀青年人才獎。

4.2022年2月19日，獲2021年CCF女性科技工作者夏培肅獎。