金芝，1962年6月生，現任中國科學院數學與系統科學研究院研究員，北京大學教授，博士生導師，國家傑出青年基金獲得者。擔任北京大學高可信軟體技術教育部重點實驗室副主任，中國科學院管理、決策與信息系統重點實驗室副主任，湘潭大學智慧型計算與信息處理教育部重點實驗室學術委員會委員。兼任中國計算機學會常務理事。還擔任《軟體學報》執行副主編，《計算機學報》副主編，《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年獲中科院盈科優秀青年人才獎。
