舒新峰

      个人简介

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

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



研究方向

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



教学方向

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



教学奖励

12022年,陕西省教学名师;

22022年,国家一流专业,软件工程(专业负责人);

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

42020年,陕西省计算机教育学会优秀教材一等奖,《软件项目综合实践教程-C语言篇》(1/5);

52018年,CCF全国软件工程教学案例比赛二等奖,通用剧院票务管理系统(1/5)。



科研奖励

12018年,陕西省科学技术三等奖,演化软件可靠性测试与评估关键技术(4/9),陕西省人民政府;

22009年,陕西省科学技术二等奖,框架时序逻辑程序设计(8/9),陕西省人民政府。



科研项目

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

22017-2018,面向模型检测的可视化建模技术研究,陕西省重点研发计划项目,主持人;

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

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



出版专著及教材

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

22023年,《操作系统及Linux内核》(云教材),西安交通大学出版社,副主编。

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



发表论文

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

2Xinfeng 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.



会议与工作论文

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

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

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

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

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



联系方式

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

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

 


上一条:王忠民
下一条:高聪

关闭