教育背景

2002.9-2007.7 中国科学院计算技术研究所/中国科学院研究生院 计算机软件与理论专业 工学博士

工作履历

2007.9至今 中国石油大学（北京）计算机科学与技术系 讲师

研究领域

形式化方法

项目成果

高可信软件技术教育部重点实验室（北京大学）开放基金（HCST201002）：基于环境本体的语义层次软件需求不一致性管理（2010-2011）, 主持

国家自然科学基金重大项目（60496324）：特定领域的非规范知识（2003-2006），参与

国家重点基础研究发展规划973项目（2002CB312004）：Internet 环境下基于Agent的软件中间件理论和方法研究（2003-2007），参与

国家自然科学杰出青年基金项目（60625204）：软件方法学（2007-2010），参与

荣誉和奖励

2008-2010 中国石油大学（北京）优秀教师

2007-2009 中国石油大学（北京）优秀共产党员

代表论文

1.朱雪峰，金芝. 关于软件需求中的不一致性管理. 软件学报，2005,16（7）：1221-1232

2.金芝，朱雪峰. 管理不一致的软件需求：研究进展与展望. 《知识科学中的基本问题研究》，刘大有 主编，清华大学出版社，2006年10月，pp:418-447（副报告 陆汝钤，关于需求不一致性，pp:448-450）