<p id="etpkk"><strong id="etpkk"><small id="etpkk"></small></strong></p>
<pre id="etpkk"><ruby id="etpkk"></ruby></pre><acronym id="etpkk"><strong id="etpkk"></strong></acronym>

<p id="etpkk"><strong id="etpkk"><small id="etpkk"></small></strong></p>
<td id="etpkk"></td>

    當前欄目:首頁 > 知識大全 > 大學教育 > 正文
    科目輔導
  1. 中國科學院研究院、北大教授金芝老師簡介
  2. 時間:2022-12-10 12:13:53        編輯:陳心正        點擊量:2812次
  3. 金芝,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女性科技工作者夏培肅獎。


  4. 上一篇:2022年下半年全國大學英語四、六級考試報名工作啟動
  5. 下一篇:北京航空航天大學許可教授簡介

  6. 分享到:
  7. 我來說兩句
    登錄后可評論



  8. 網易
  9. 百度
  10. 大眾網
  11. a毛片免费_一级特黄高清毛片_免费的毛片网站

    <p id="etpkk"><strong id="etpkk"><small id="etpkk"></small></strong></p>
    <pre id="etpkk"><ruby id="etpkk"></ruby></pre><acronym id="etpkk"><strong id="etpkk"></strong></acronym>

    <p id="etpkk"><strong id="etpkk"><small id="etpkk"></small></strong></p>
    <td id="etpkk"></td>