金芝，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)。