金芝

金芝，祖籍安徽，1962年6月出生在上海。北京大学高可信软件技术教育部重点实验室常务副主任，教授，博士生导师。
1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。1989年至1992年，国防科技大学计算机系攻读博士学位。曾任中国科学院数学与系统科学研究院研究员，中国科学院管理、决策与信息系统重点实验室副主任。兼任中国计算机学会（CCF）会士与常务理事，中国计算机学会系统软件专业委员会主任，IEEE TSE/TR 编委，Empirical Software Engineering编委，《软件学报》执行主编，《计算机学报》副主编。
多年来，一直从事知识工程、基于知识的软件工程和软件需求工程的研究，先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家基础研究发展规划（973）项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等二十余项。出版合著英文专著1部，合著中文编著1部，译著2部，在国内外学术期刊和会议上发表论文100多篇。
IEEE Fellow，2006年获国家杰出青年基金资助，国家重点基础研究发展计划项目首席科学家。曾获国防科工委科技进步二等奖，教育部高等学校科学研究优秀成果奖（科技进步）一等奖、CCF技术发明一等奖，1997年获中创软件人才奖，2000年获中科院盈科优秀青年人才奖，2004年获中国十大IT科研女性奖，2008年获中科院巾帼建功先进个人，2021年获CCF夏培肃奖。

人物经历
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年起，任软件学报编委

https://faculty.pku.edu.cn/zhijin/