金芝

　　金芝，现任中国科学院数学与系统科学研究院研究员，北京大学教授，博士生导师，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任，湘潭大学智能计算与信息处理教育部重点实验室学术委员会委员。兼任中国计算机学会常务理事。还担任《软件学报》执行副主编，《计算机学报》副主编，《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万。