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