无编辑摘要
无编辑摘要 |
无编辑摘要 |
||
| 第1行： | 第1行： | ||
金芝，祖籍安徽，1962年6月出生在上海。北京大学高可信软件技术教育部重点实验室常务副主任，教授，博士生导师。 | |||
<br>1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。1989年至1992年，国防科技大学计算机系攻读博士学位。曾任中国科学院数学与系统科学研究院研究员，中国科学院管理、决策与信息系统重点实验室副主任。兼任中国计算机学会会士与常务理事，中国计算机学会系统软件专业委员会主任，IEEE TSE/TR 编委，Empirical Software Engineering编委，《软件学报》执行主编，《计算机学报》副主编。 | |||
<br>多年来，一直从事知识工程、基于知识的软件工程和软件需求工程的研究，先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家基础研究发展规划（973）项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等二十余项。出版合著英文专著1部，合著中文编著1部，译著2部，在国内外学术期刊和会议上发表论文100多篇。 | |||
<br>IEEE Fellow，2006年获国家杰出青年基金资助，国家重点基础研究发展计划项目首席科学家。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖，2021年获CCF夏培肃奖。 | |||
<br> | |||
<br>人物经历 | |||
<br>1980年至1984年，浙江大学计算机系攻读学士学位。 | |||
<br>1984年至1986年，国防科技大学计算机系攻读硕士学位。 | |||
<br>1989年至1992年，国防科技大学计算机系攻读博士学位。 | |||
<br>1986年至1989年，湘潭大学计算机系助教。 | |||
<br>1992年至1994年，中国科学院数学研究所博士后工作站从事博士后研究工作。 | |||
<br>1994年至1997年，中国科学院数学研究所副研究员。 | |||
<br>1998年至2001年，中国科学院数学与系统科学研究院副研究员。 | |||
<br>2001年至今，中国科学院数学与系统科学研究院研究员，博士生导师。 | |||
<br>1993年8月赴德参加国际理论计算机科学SUMMER SCHOOL。 | |||
<br>1996年至1997年赴法国国家科学院IRISA进行合作研究。 | |||
<br>1997年至1998年受英国皇家学会基金资助赴英国Ulster大学进行客座研究。 | |||
<br>2000年至2001年受英国皇家学会基金资助赴英国Ulster大学进行合作研究。 [2] | |||
<br>1997年起，中国科学院数学与系统科学研究院计算机科学室副主任，2003年起任主任。 | |||
<br>1997年起，中科院管理、决策与信息系统开放实验室副主任。 | |||
<br>1996年起，IEEE计算机学会ECBS技术委员会会员。 | |||
<br>1999年起，中国计算机学会青年科技论坛学术委员会委员，2001年起任学术秘书，2003年任学术委员会副主席。 | |||
<br>2001年起，中国计算机学会软件工程专委委员。 | |||
<br>2002年起，任软件学报编委 | |||
<br> | |||
<br>https://faculty.pku.edu.cn/zhijin/ | |||