国产va免费精品观看精品_祝義_淮海經(jīng)濟區技術(shù)產(chǎn)權交易中心

祝義，男，博士，副教授，碩士生導師，軟件工程系主任，中國計算機學(xué)會(huì )會(huì )員，ACM會(huì )員，研究方向為軟件工程、形式化方法、實(shí)時(shí)與嵌入式軟件建模與驗證等。1999年畢業(yè)于華中師范大學(xué)計算機科學(xué)系獲學(xué)士學(xué)位，2005年畢業(yè)于蘇州大學(xué)計算機科學(xué)與技術(shù)學(xué)院獲碩士學(xué)位，2011年3月畢業(yè)于南京航空航天大學(xué)信息科學(xué)與技術(shù)學(xué)院獲博士學(xué)位。近年來(lái)，主持江蘇省高校自然科學(xué)基金1項，主持并完成江蘇師范大學(xué)自然科學(xué)基金項目3項，近年來(lái)在核心學(xué)術(shù)刊物和國際會(huì )議上發(fā)表與錄用26篇論文，其中，EI檢索19篇，ISTP檢索3篇。2011年起主持江蘇省高校自然科學(xué)基金面上項目（No. 10KJB520019）“支持非功能需求的可信嵌入式軟件建模與驗證方法研究”；2012年起主持江蘇師范大學(xué)博士學(xué)位教師科研支持項目（No. 11XLR20）“模型驅動(dòng)的嵌入式軟件建模與驗證方法研究”；1999年至2002年主持并完成江蘇師范大學(xué)青年基金（No. QL9919）“面向對象的通用型計算機輔助命題系統”；2002年至2004年主持并完成江蘇師范大學(xué)自然科學(xué)基金（No. 02BXL016）“基于數據驅動(dòng)的軟件重用”；2006年至2008年主持并完成江蘇師范大學(xué)自然科學(xué)基金（No. 06XLB14）“UML與Z結合的建模方法及其應用”。參加了國家高技術(shù)研究發(fā)展計劃(863)項目（No. 2009AA010307）“基于Trustie的神州數碼軟件生產(chǎn)線(xiàn)改造及應用示范”、國家自然科學(xué)基金（No. 60873025）“高階進(jìn)程演算的互模擬研究”、江蘇省自然科學(xué)基金課題（No. BK2008389）“面向高階通信的進(jìn)程演算系統研究及應用”等項目的研究。

91在线看片一区国产|美女被免费喷白浆视频|91精品欧美一区二区三区|国产精品无码av一区二区三区|美女翘臀白浆直流视频|国产在线观看AV一区二区

軟件服務(wù)外包物聯(lián)網(wǎng)

祝義