西安邮电大学

舒新峰，副教授，男，40岁，中共党员，计算机应用专业博士，西安邮电大学计算机专业硕士生导师。1997年7月于西北工业大学获工学学士学位；2002年7月于西北大学获计算机软件与理论专业硕士学位；2012年12月于西安电子科技大学获得计算机应用专业博士学位。2002年7月至今在西安邮电大学计算机学院任教，2009年晋升为副教授，主讲软件工程、操作系统、数据结构等课程。主要研究方向：软件工程、形式化验证技术。

主持陕西省教育厅自然科学基金项目《基于区间时序逻辑的嵌入式系统模型检测》及西安邮电学院中青年教师科研基金项目《区间时序逻辑在嵌入式系统验证中的应用研究》；参与国家自然科学基金项目《框架时序逻辑程序设计》等3项；主持及参与横向课题包括《海量数据库访问中间件》、《型号设计软件固化技术及应用研究》、《信息防泄漏系统》等10余项；承担和参与《基于云计算的教研一体支撑平台建设》、《基于云平台的软件类课程实践教学改革与探索》等各类学科建设、教改和课程建设项目10余项。在《软件学报》、《西安交通大学学报》、《西安电子科技大学学报》等期刊和会议上发表学术论文10篇，EI索引3篇；出版教材《C#与ASP.NET程序设计》一部。

电子邮箱：shuxf@xupt.edu.cn

(数据截止2015年4月)