舒新峰

舒新峰，男，1975年8月出生，陝西長安人，博士，副教授。1997年7月於西北工業大學獲工學學士學位；2002年7月於西北大學獲計算機軟體與理論專業碩士學位；2012年12月於西安電子科技大學獲得計算機套用專業博士學位。2002年7月在西安郵電大學計算機學院任教，2009年晉升為副教授，主講作業系統、軟體工程、數據結構等課程。主要研究方向：軟體工程、形式化驗證技術。

基本介紹

• 中文名：舒新峰
• 國籍：中國
• 出生日期：1975年8月
• 畢業院校：西北工業大學，西北大學，西安電子科技大學
• 性別：男
• 職稱：副教授

簡介

主持陝西省教育廳自然科學基金項目《基於區間時序邏輯的嵌入式系統模型檢測》及西安郵電學院中青年教師科研基金項目《區間時序邏輯在嵌入式系統驗證中的套用研究》；參與國家自然科學基金項目《框架時序邏輯程式設計》等3項；主持及參與橫向課題包括《海量資料庫訪問中間件》、《型號設計軟體固化技術及套用研究》、《信息防泄漏系統》等10餘項；承擔和參與《基於雲計算的教研一體支撐平台建設》、《基於雲平台的軟體類課程實踐教學改革與探索》等各類學科建設、教改和課程建設項目10餘項。在《軟體學報》、《西安交通大學學報》、《西安電子科技大學學報》等期刊和會議上發表學術論文10篇，EI索引3篇；出版教材《 C#與ASP.NET程式設計》一部；

出版圖書

作者名稱：舒新峰

作者類型：

作者時間：2006年8月