金芝[中國科學院研究員北大教授]

金芝[中國科學院研究員北大教授]
更多義項 ▼ 收起列表 ▲

金芝,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年獲中科院盈科優秀青年人才獎。

相關詞條

熱門詞條

聯絡我們