西安郵電大學

舒新峰，副教授，男，40歲，中共黨員，計算機應用專業(yè)博士，西安郵電大學計算機專業(yè)碩士生導師。1997年7月于西北工業(yè)大學獲工學學士學位；2002年7月于西北大學獲計算機軟件與理論專業(yè)碩士學位；2012年12月于西安電子科技大學獲得計算機應用專業(yè)博士學位。2002年7月至今在西安郵電大學計算機學院任教，2009年晉升為副教授，主講軟件工程、操作系統(tǒng)、數(shù)據(jù)結構等課程。主要研究方向：軟件工程、形式化驗證技術。

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

電子郵箱：shuxf@xupt.edu.cn

(數(shù)據(jù)截止2015年4月)