（以内容“ 金芝 1962年6月生，1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。19...”创建新页面） |
无编辑摘要 |
||
| 第1行： | 第1行： | ||
金芝 1962年6月生，1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。1989年至1992年，国防科技大学计算机系攻读博士学位。现任中国科学院数学与系统科学研究院研究员，北京大学教授，博士生导师，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖。 | 金芝 1962年6月生，1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。1989年至1992年，国防科技大学计算机系攻读博士学位。现任中国科学院数学与系统科学研究院研究员，北京大学教授，博士生导师，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖。 | ||
http://www.sei.pku.edu.cn/people/zhijin | |||
2018年7月8日 (日) 03:26的版本
金芝 1962年6月生，1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。1989年至1992年，国防科技大学计算机系攻读博士学位。现任中国科学院数学与系统科学研究院研究员，北京大学教授，博士生导师，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖。