舒新峰

      个人简介

舒新峰，男，1975年8月出生，教授，中共党员，西安电子科技大学计算机应用专业博士，硕士生导师，陕西省教学名师，西安邮电大学“四有好老师”，CCF形式化方法专委会执行委员、陕西省计算机教育学会理事。

主持及核心参与“基于投影时序逻辑的分布式模型检测关键技术研究”等省部级以上纵向课题8项，主持及负责“海量数据库访问中间件”等企业横向课题10余项。在Theoretical Computer Science、软件学报、COCOON、IEEE等期刊和国际会议上发表SCI/EI论文20余篇，授权国家发明专利4项，登记软件著作权8项，获陕西省科技成果奖二等奖和三等奖各1项；获陕西省高等教育教学成果特等奖、一等奖和二等奖各1项。

研究方向

形式化验证技术、智能信息处理、软件性能工程

教学方向

主讲“软件工程”、“操作系统”、“数据结构与算法”、“现代软件工程”等本科和研究生课程。

教学奖励

1、2022年，陕西省教学名师；

2、2022年，国家一流专业，软件工程（专业负责人）；

3、2021年，陕西省高等教育教学成果特等奖，面向软件系统能力的“两融合四阶段”软件工程专业人才培养模式构建与实践（1/10）；

4、2020年，陕西省计算机教育学会优秀教材一等奖，《软件项目综合实践教程-C语言篇》（1/5）；

5、2018年，CCF全国软件工程教学案例比赛二等奖，通用剧院票务管理系统（1/5）。

科研奖励

1、2018年，陕西省科学技术三等奖，演化软件可靠性测试与评估关键技术（4/9），陕西省人民政府；

2、2009年，陕西省科学技术二等奖，框架时序逻辑程序设计（8/9），陕西省人民政府。

科研项目

1、2020-2021，基于投影时序逻辑的分布式模型检测关键技术研究，陕西省重点研发计划项目，主持人；

2、2017-2018，面向模型检测的可视化建模技术研究，陕西省重点研发计划项目，主持人；

3、2022-2025，基于鸿蒙的车载操作系统关键技术研究与开发，上海捷能汽车技术有限公司，2/5。

4、2020-2022，基于知识推理的军事信息系统体系架构辅助设计方法研究，装备预研重点实验室基金项目，2/4。

出版专著及教材

1、2020年，《软件项目综合实践教程-C语言篇》，清华大学出版社，主编。

2、2023年，《操作系统及Linux内核》（云教材），西安交通大学出版社，副主编。

3、2006年，《C#与ASP.NET程序设计》，西安交通大学出版社，曹锰、舒新峰。

发表论文

1、Xinfeng Shu, et al. A decision procedure and complete axiomatization for projection temporal logic. Theoretical Computer Science, 2020, 819: 50-84.

2、Xinfeng Shu, et al. Efficient decision procedure for propositional projection temporal logic. Theoretical Computer Science, 2020, 838: 1-16.

3、舒新峰, 段振华. 有穷时间投影时序逻辑的完备公理系统，软件学报，2011, 22(03): 366-380.

4、舒新峰 等. 一种命题投影时序逻辑的分布式模型检测方法，西安电子科技大学学报，2020, 47(04): 39-47.

5、舒新峰 等. 利用投影时序逻辑的多内核进程调度建模与验证，西安交通大学学报，2010, 44(03): 52-57.

会议与工作论文

1、Xinfeng Shu, et al. A Bounded Model Checking Method for Concurrent Systems in xUML4MC. AIPR 2022: 236-242.

2、Xinfeng Shu, et al. A JPSL Based Model Checking Approach for Java Programs. SOFL+MSVL 2022: 30-49.

3、Xinfeng Shu, et al. Classification Model Based Automatic Static Evaluation Method for C Programs. ICNC-FSKD 2021: 449–456.

4、Xinfeng Shu, et al. An MSVL Based Model Checking Method for Multi-threaded C Programs. SOFL+MSVL 2020: 88-101.

5、Xinfeng Shu, Zhenhua Duan. Extending MSVL with Semaphore. COCOON 2016: 599-610.

联系方式

欢迎数学和英语功底好，专业基础扎实，编程能力强，踏实认真，善于钻研的考生报考。

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