金芝

来自国立浙江大学维基
跳转至: 导航搜索

金芝,祖籍安徽,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/