舒新峰,副教授,男,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月)