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

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

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

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

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

    人物經(jīng)歷

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

    1984年至1986年,國防科技大學(xué)計算機系攻讀碩士學(xué)位。

    1989年至1992年,國防科技大學(xué)計算機系攻讀博士學(xué)位。

    1986年至1989年,湘潭大學(xué)計算機系助教。

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

    1994年至1997年,中國科學(xué)院數學(xué)研究所副研究員。

    1998年至2001年,中國科學(xué)院數學(xué)與系統科學(xué)研究院副研究員。

    2001年至今,中國科學(xué)院數學(xué)與系統科學(xué)研究院研究員,博士生導師。

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

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

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

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

    1997年起,中國科學(xué)院數學(xué)與系統科學(xué)研究院計算機科學(xué)室副主任,2003年起任主任。

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

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

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

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

    2002年起,任軟件學(xué)報編委

    研究方向

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

    主要貢獻

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

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

    1. 2001年、2002年、2003年全國軟件技術(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)合國際計算機會(huì )議程序委員會(huì )委員;

    4. 2003年全國計算機大會(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。

    科研項目

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

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

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

    4. 1995年至1997年,《基于邏輯的面向對象語(yǔ)言模型的研究》(編號69403001),國家自然科學(xué)青年基金項目,已結題。(8萬(wàn))

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

    6. 1996年至1998年,《面向對象的軟件技術(shù)》(編號863-306-02-05-2),國家863高技術(shù)課題,于1998年8月通過(guò)專(zhuān)家鑒定。(24萬(wàn))

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

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

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

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

    11. 2000年至2002年,《基于知識的需求獲取方法的形式化研究》(編號69983010),國家自然科學(xué)基金項目??偨?jīng)費13萬(wàn)。主持。

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

    13. 2001年至2003年,《基于領(lǐng)域建模的需求工程》,(編號2001AA113130),國家863高技術(shù)發(fā)展計劃項目??偨?jīng)費40萬(wàn)。主持。

    14. 2002年至2004年,《“信息和知識共享”的系統理論》,(編號2001CCA03000),國家基礎研究重大項目前期研究專(zhuān)項??偨?jīng)費100萬(wàn)。參加。

    15. 2003年至2006年,《軟件的特征交互及互操作性的研究》,(編號60233010),國家自然科學(xué)基金重大項目??偨?jīng)費200萬(wàn),主持課題經(jīng)費40萬(wàn)。

    16. 2003年至2007年,《Internet環(huán)境下基于A(yíng)gent的軟件中間件理論和方法研究》,國家基礎研究重大發(fā)展規劃項目,總經(jīng)費2500萬(wàn)。主持課題《基于知識的網(wǎng)構軟件需求建模理論和方法研究》,(編號2002CB312004),課題經(jīng)費360萬(wàn)。

    獲獎?dòng)涗?

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

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

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

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


  • 上一篇:2022年下半年全國大學(xué)英語(yǔ)四、六級考試報名工作啟動(dòng)
  • 下一篇:北京航空航天大學(xué)許可教授簡(jiǎn)介

  • 分享到:
  • 我來(lái)說(shuō)兩句
    登錄后可評論



  • 網(wǎng)易
  • 百度
  • 大眾網(wǎng)