Question

金芝的介绍

Answer 1

金芝拍穗厅，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大学进行合作研究。