金芝，1962年6月生，現(xiàn)任中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，北京大學(xué)教授，博士生導(dǎo)師，國(guó)家杰出青年基金獲得者。擔(dān)任北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室副主任，中國(guó)科學(xué)院管理、決策與信息系統(tǒng)重點(diǎn)實(shí)驗(yàn)室副主任，湘潭大學(xué)智能計(jì)算與信息處理教育部重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員 [1]  。兼任中國(guó)計(jì)算機(jī)學(xué)會(huì)常務(wù)理事。還擔(dān)任《軟件學(xué)報(bào)》執(zhí)行副主編，《計(jì)算機(jī)學(xué)報(bào)》副主編，《Journal of Computer Science and Technology》編委。多年來(lái)，一直從事知識(shí)工程、基于知識(shí)的軟件工程和軟件需求工程的研究，先后主持、協(xié)助主持或參加包括國(guó)家八五、九五科技重點(diǎn)攻關(guān)項(xiàng)目、國(guó)家基礎(chǔ)研究發(fā)展規(guī)劃（973）項(xiàng)目、國(guó)家863高技術(shù)計(jì)劃項(xiàng)目、國(guó)家自然科學(xué)重點(diǎn)基金項(xiàng)目、國(guó)家自然科學(xué)基金項(xiàng)目、以及中法和中英合作項(xiàng)目等二十余項(xiàng)。出版合著英文專(zhuān)著1部，合著中文編著1部，譯著2部，在國(guó)內(nèi)外學(xué)術(shù)期刊和會(huì)議上發(fā)表論文100多篇。曾獲國(guó)防科工委科技進(jìn)步二等獎(jiǎng)，中創(chuàng)軟件人才獎(jiǎng)，中科院盈科優(yōu)秀青年人才獎(jiǎng)，中科院巾幗建功先進(jìn)個(gè)人，中國(guó)十大IT科研女性獎(jiǎng)。

1993年8月赴德參加國(guó)際理論計(jì)算機(jī)科學(xué)SUMMER SCHOOL。

1996年至1997年赴法國(guó)國(guó)家科學(xué)院IRISA進(jìn)行合作研究。

1997年至1998年受英國(guó)皇家學(xué)會(huì)基金資助赴英國(guó)Ulster大學(xué)進(jìn)行客座研究。

2000年至2001年受英國(guó)皇家學(xué)會(huì)基金資助赴英國(guó)Ulster大學(xué)進(jìn)行合作研究。

人物經(jīng)歷

1980年至1984年，浙江大學(xué)計(jì)算機(jī)系攻讀學(xué)士學(xué)位。

1984年至1986年，國(guó)防科技大學(xué)計(jì)算機(jī)系攻讀碩士學(xué)位。

1989年至1992年，國(guó)防科技大學(xué)計(jì)算機(jī)系攻讀博士學(xué)位。

1986年至1989年，湘潭大學(xué)計(jì)算機(jī)系助教。

1992年至1994年，中國(guó)科學(xué)院數(shù)學(xué)研究所博士后工作站從事博士后研究工作。

1994年至1997年，中國(guó)科學(xué)院數(shù)學(xué)研究所副研究員。

1998年至2001年，中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院副研究員。

2001年至今，中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，博士生導(dǎo)師。

1993年8月赴德參加國(guó)際理論計(jì)算機(jī)科學(xué)SUMMER SCHOOL。

1996年至1997年赴法國(guó)國(guó)家科學(xué)院IRISA進(jìn)行合作研究。

1997年至1998年受英國(guó)皇家學(xué)會(huì)基金資助赴英國(guó)Ulster大學(xué)進(jìn)行客座研究。

2000年至2001年受英國(guó)皇家學(xué)會(huì)基金資助赴英國(guó)Ulster大學(xué)進(jìn)行合作研究。

1997年起，中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院計(jì)算機(jī)科學(xué)室副主任，2003年起任主任。

1997年起，中科院管理、決策與信息系統(tǒng)開(kāi)放實(shí)驗(yàn)室副主任。

1996年起，IEEE計(jì)算機(jī)學(xué)會(huì)ECBS技術(shù)委員會(huì)會(huì)員。

1999年起，中國(guó)計(jì)算機(jī)學(xué)會(huì)青年科技論壇學(xué)術(shù)委員會(huì)委員，2001年起任學(xué)術(shù)秘書(shū)，2003年任學(xué)術(shù)委員會(huì)副主席。

2001年起，中國(guó)計(jì)算機(jī)學(xué)會(huì)軟件工程專(zhuān)委委員。

2002年起，任軟件學(xué)報(bào)編委

研究方向

需求工程、基于知識(shí)的軟件工程、知識(shí)工程和人工智能。

主要貢獻(xiàn)

學(xué)術(shù)活動(dòng)

（參與學(xué)術(shù)會(huì)議的組織工作）：

1. 2001年、2002年、2003年全國(guó)軟件技術(shù)研討會(huì)大會(huì)學(xué)術(shù)委員會(huì)成員。

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

3. 2002年第八屆聯(lián)合國(guó)際計(jì)算機(jī)會(huì)議程序委員會(huì)委員；

4. 2003年全國(guó)計(jì)算機(jī)大會(huì)學(xué)術(shù)委員會(huì)委員。

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。

科研項(xiàng)目

1. 1985年至1987年，《李聰甫老中醫(yī)整體脾胃觀慢性腎炎診療專(zhuān)家系統(tǒng)》，衛(wèi)生部七·五重點(diǎn)科技攻關(guān)項(xiàng)目。該項(xiàng)目于1988年通過(guò)湖南省衛(wèi)生局組織的技術(shù)鑒定，所開(kāi)發(fā)的系統(tǒng)獲湖南省省級(jí)科技成果二等獎(jiǎng)。

2. 1989年至1992年，《新一代知識(shí)處理集成化環(huán)境系統(tǒng)NKES/SUN》，國(guó)家863高技術(shù)課題，該項(xiàng)目已于1992年10月通過(guò)專(zhuān)家鑒定，所開(kāi)發(fā)的系統(tǒng)于1994年10月獲國(guó)防科工委科技進(jìn)步貳等獎(jiǎng)。

3. 1991年至1995年，《實(shí)用智能工具集的開(kāi)發(fā)》（編號(hào)85-712-01-07-02），國(guó)家八·五重點(diǎn)攻關(guān)項(xiàng)目，該項(xiàng)目已于1995年9月通過(guò)電子部組織的專(zhuān)家鑒定。

4. 1995年至1997年，《基于邏輯的面向?qū)ο笳Z(yǔ)言模型的研究》（編號(hào)69403001），國(guó)家自然科學(xué)青年基金項(xiàng)目，已結(jié)題。(8萬(wàn))

5. 1996年至1997年，《智能軟件工具的概念模型研究》（編號(hào)96-729-01-06-09），國(guó)家九·五重點(diǎn)攻關(guān)項(xiàng)目第一期，于1998年8月通過(guò)專(zhuān)家鑒定。

6. 1996年至1998年，《面向?qū)ο蟮能浖夹g(shù)》（編號(hào)863-306-02-05-2），國(guó)家863高技術(shù)課題，于1998年8月通過(guò)專(zhuān)家鑒定。（24萬(wàn)）

7. 1998年至2000年，《基于領(lǐng)域分析的軟件開(kāi)發(fā)技術(shù)》（編號(hào)98-780-01-07-09），國(guó)家九·五重點(diǎn)攻關(guān)項(xiàng)目第二期，已于2000年8月通過(guò)專(zhuān)家鑒定。

8. 1998年至2001年，《常識(shí)知識(shí)的實(shí)用研究》（編號(hào)69733020），國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目。于2002年3月通過(guò)專(zhuān)家驗(yàn)收。（88萬(wàn)）

9. 1998年至2000年，《基于本體論的領(lǐng)域分析和領(lǐng)域建?！罚ň幪?hào)863-306-ZT02-01-2），國(guó)家863高技術(shù)項(xiàng)目，已于2000年8月通過(guò)專(zhuān)家鑒定。（19萬(wàn)）

10. 1999年至2000年，《基于知識(shí)的需求自動(dòng)獲取》（編號(hào)J9907），國(guó)家教委留學(xué)回國(guó)人員科研啟動(dòng)基金。（2萬(wàn)）

11. 2000年至2002年，《基于知識(shí)的需求獲取方法的形式化研究》（編號(hào)69983010），國(guó)家自然科學(xué)基金項(xiàng)目?？偨?jīng)費(fèi)13萬(wàn)。主持。

12. 2000年至2002年，《基于本體的需求獲取》，中國(guó)科學(xué)院盈科優(yōu)秀青年人才基金項(xiàng)目。（15萬(wàn)）

13. 2001年至2003年，《基于領(lǐng)域建模的需求工程》，（編號(hào)2001AA113130），國(guó)家863高技術(shù)發(fā)展計(jì)劃項(xiàng)目。總經(jīng)費(fèi)40萬(wàn)。主持。

14. 2002年至2004年，《“信息和知識(shí)共享”的系統(tǒng)理論》，（編號(hào)2001CCA03000），國(guó)家基礎(chǔ)研究重大項(xiàng)目前期研究專(zhuān)項(xiàng)?？偨?jīng)費(fèi)100萬(wàn)。參加。

15. 2003年至2006年，《軟件的特征交互及互操作性的研究》，（編號(hào)60233010），國(guó)家自然科學(xué)基金重大項(xiàng)目。總經(jīng)費(fèi)200萬(wàn)，主持課題經(jīng)費(fèi)40萬(wàn)。

16. 2003年至2007年，《Internet環(huán)境下基于Agent的軟件中間件理論和方法研究》，國(guó)家基礎(chǔ)研究重大發(fā)展規(guī)劃項(xiàng)目，總經(jīng)費(fèi)2500萬(wàn)。主持課題《基于知識(shí)的網(wǎng)構(gòu)軟件需求建模理論和方法研究》，（編號(hào)2002CB312004），課題經(jīng)費(fèi)360萬(wàn)。

獲獎(jiǎng)記錄

1. 1994年因研制成功國(guó)家863高技術(shù)課題《新一代知識(shí)處理集成化環(huán)境系統(tǒng)NKES/SUN》，獲國(guó)防科工委科技進(jìn)步二等獎(jiǎng)一項(xiàng)(排名第二)。

2. 1997年獲中創(chuàng)軟件人才獎(jiǎng)。

3. 2000年獲中科院盈科優(yōu)秀青年人才獎(jiǎng)。

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