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