吴文俊人工智能科学技术奖
智能理论/智能技术专家

金芝

2017年02月20日   来源:     

53932

基本信息

姓名 金芝 性别
出生年月 1962.6 出生地
毕业院校 国防科技大学 毕业时间 1992年
最高学历 博士 职务/职称 教授/副主任
研究方向 计算机与软件工程
所在单位 北京大学

专家简介

  金芝,现任中国科学院数学与系统科学研究院研究员,北京大学教授,博士生导师,国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任,中国科学院管理、决策与信息系统重点实验室副主任,湘潭大学智能计算与信息处理教育部重点实验室学术委员会委员。兼任中国计算机学会常务理事。还担任《软件学报》执行副主编,《计算机学报》副主编,《Journal of Computer Science and Technology》编委。多年来,一直从事知识工程、基于知识的软件工程和软件需求工程的研究,先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家基础研究发展规划(973)项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等二十余项。出版合著英文专著1部,合著中文编著1部,译著2部,在国内外学术期刊和会议上发表论文100多篇。曾获国防科工委科技进步二等奖,中创软件人才奖,中科院盈科优秀青年人才奖,中科院巾帼建功先进个人,中国十大IT科研女性奖。

科研项目与成果

  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万。

备注:智库信息需专家本人登录网站适时更新

组织机构

主管单位
中华人民共和国科学技术部
国家科学技术奖励工作办公室
主办单位
中国人工智能学会

奖励资质