当前栏目:首页 > 科目辅导 > 大学教育 > 正文
科目辅导
  • 中国科学院研究院、北大教授金芝老师简介
  • 时间:2022-12-10 12:13:53        编辑:陈心正        点击量:1648次
  • 金芝,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年,《基于本体论的领域分析和领域建模》(编号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年获中科院盈科优秀青年人才奖。

    4.2022年2月19日,获2021年CCF女性科技工作者夏培肃奖。


    我来说两句
    登录后可评论



  • 网易
  • 百度
  • 大众网