个人简历

朱雪峰，男，1973年8月28日生，河南省雎县人，博士，硕士生导师。
教育背景
2002年9月-2007年7月 中国科学院计算技术研究所 计算机软件与理论专业 博士研究生 导师：金芝 研究员（北京大学）；
1999年9月-2002年7月 江南大学 计算机应用技术专业 硕士研究生；
1990年9月-1994年7月 华东工业大学 计算机及应用专业 本科生；
科研项目
国家自然科学基金重大项目（60496324）（参与）（2004-2007）
国家重点基础研究发展规划973项目（2002CB312004）（参与）（2003-2007）
国家自然科学基金重点项目（60233010）（参与）（2003-2006）
高可信软件技术教育部重点实验室（北京大学）开放基金（2010-02）（主持）（2010-2011）
中国石油大学（北京）科研基金（KYJJ2012-05-17）（主持）（2012-2014）
目前承担课程
本科生课程
编译原理（Compiler Principles）（本科）（48学时）
软件体系结构（Software Architecture）（本科）（48学时）
软件工程（Software Engineering）（本科）（32学时）
软件工程课程设计（Curriculum Design of Software Engineering）（本科）（16学时）
软件工程（Software Engineering）（双学位）（48学时）
研究生课程
数理逻辑（Mathematical Logic）（研究生）（32学时）
所获荣誉
2008-2010年度 中国石油大学（北京）优秀教师
2009-2011学年 中国石油大学（北京）优秀共产党员
研究生招生方向
软件工程（需求工程、设计模式与软件体系结构、软件测试、程序设计语言原理）
计算理论（数理逻辑、可计算性与计算复杂性、组合论）

近期论文

朱雪峰， 金芝. 关于软件需求中的不一致性. 《软件学报》，2005,16（7）：1221-1232
Xuefeng Zhu, Zhi Jin. Inconsistency Measurement of Software Requirements Specifications : An Ontology-Based Approach. In Proceedings of the 10th IEEE International Conference on Engineering of Complex Software System（ICECCS）. IEEE Computer Society Press, 2005, pp: 402-410.
Xuefeng Zhu, Zhi Jin. Ontology-Based Inconsistency Management of Software Requirements Specifications. Lecture Notes in Computer Science. 2005, Vol.3381, pp: 340-349.
金芝，朱雪峰. 管理不一致的需求：研究进展与展望. 《知识科学中的基本问题研究》，刘大有主编，清华大学出版社，2006年，418-447.