西安郵電大學(xué)

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

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

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

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