金芝：修订间差异

　　金芝 1962年6月生，1980年至1984年，浙江大学计算机系攻读学士学位。1984年至1986年，国防科技大学计算机系攻读硕士学位。1989年至1992年，国防科技大学计算机系攻读博士学位。现任中国科学院数学与系统科学研究院研究员，北京大学教授，博士生导师，国家杰出青年基金获得者。担任北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任。曾获国防科工委科技进步二等奖，中创软件人才奖，中科院盈科优秀青年人才奖，中科院巾帼建功先进个人，中国十大IT科研女性奖。