1. <form id="oaqab"></form>
    <strike id="oaqab"><pre id="oaqab"></pre></strike><nav id="oaqab"><table id="oaqab"><small id="oaqab"></small></table></nav>

    <small id="oaqab"><dd id="oaqab"></dd></small>
      <wbr id="oaqab"><pre id="oaqab"><video id="oaqab"></video></pre></wbr>
    1. <sub id="oaqab"><table id="oaqab"><td id="oaqab"></td></table></sub>
    2. 當前欄目:首頁 > 知識大全 > 大學教育 > 正文
      科目輔導
    3. 中國科學院研究院、北大教授金芝老師簡介
    4. 時間:2022-12-10 12:13:53        編輯:陳心正        點擊量:2514次
    5. 金芝,1962年6月生,現任中國科學院數學與系統科學研究院研究員,北京大學教授,博士生導師,國家杰出青年基金獲得者。擔任北京大學高可信軟件技術教育部重點實驗室副主任,中國科學院管理、決策與信息系統重點實驗室副主任,湘潭大學智能計算與信息處理教育部重點實驗室學術委員會委員 [1]  。兼任中國計算機學會常務理事。還擔任《軟件學報》執行副主編,《計算機學報》副主編,《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年,《基于本體論的領域分析和領域建?!罚ň幪?63-306-ZT02-01-2),國家863高技術項目,已于2000年8月通過專家鑒定。(19萬)

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

      11. 2000年至2002年,《基于知識的需求獲取方法的形式化研究》(編號69983010),國家自然科學基金項目??偨涃M13萬。主持。

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

      13. 2001年至2003年,《基于領域建模的需求工程》,(編號2001AA113130),國家863高技術發展計劃項目??偨涃M40萬。主持。

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

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

      16. 2003年至2007年,《Internet環境下基于Agent的軟件中間件理論和方法研究》,國家基礎研究重大發展規劃項目,總經費2500萬。主持課題《基于知識的網構軟件需求建模理論和方法研究》,(編號2002CB312004),課題經費360萬。

      獲獎記錄

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

      2. 1997年獲中創軟件人才獎。

      3. 2000年獲中科院盈科優秀青年人才獎。

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


      我來說兩句
      登錄后可評論



    6. 網易
    7. 百度
    8. 大眾網
    9. 中文天堂最新版在线www_在线天堂新版最新版_2020天堂在线亚洲精品专区
      1. <form id="oaqab"></form>
        <strike id="oaqab"><pre id="oaqab"></pre></strike><nav id="oaqab"><table id="oaqab"><small id="oaqab"></small></table></nav>

        <small id="oaqab"><dd id="oaqab"></dd></small>
          <wbr id="oaqab"><pre id="oaqab"><video id="oaqab"></video></pre></wbr>
        1. <sub id="oaqab"><table id="oaqab"><td id="oaqab"></td></table></sub>