祝义_淮海经济区技术产权交易中心

软件服务外包物联网

祝义

工作单位：江苏师范大学

从事领域：计算机应用技术

擅长领域：软件工程

毕业院校：南京航空航天大学

职称：
详细内容

祝义，男，博士，副教授，硕士生导师，软件工程系主任，中国计算机学会会员，ACM会员，研究方向为软件工程、形式化方法、实时与嵌入式软件建模与验证等。1999年毕业于华中师范大学计算机科学系获学士学位，2005年毕业于苏州大学计算机科学与技术学院获硕士学位，2011年3月毕业于南京航空航天大学信息科学与技术学院获博士学位。近年来，主持江苏省高校自然科学基金1项，主持并完成江苏师范大学自然科学基金项目3项，近年来在核心学术刊物和国际会议上发表与录用26篇论文，其中，EI检索19篇，ISTP检索3篇。2011年起主持江苏省高校自然科学基金面上项目（No. 10KJB520019）“支持非功能需求的可信嵌入式软件建模与验证方法研究”；2012年起主持江苏师范大学博士学位教师科研支持项目（No. 11XLR20）“模型驱动的嵌入式软件建模与验证方法研究”；1999年至2002年主持并完成江苏师范大学青年基金（No. QL9919）“面向对象的通用型计算机辅助命题系统”；2002年至2004年主持并完成江苏师范大学自然科学基金（No. 02BXL016）“基于数据驱动的软件重用”；2006年至2008年主持并完成江苏师范大学自然科学基金（No. 06XLB14）“UML与Z结合的建模方法及其应用”。参加了国家高技术研究发展计划(863)项目（No. 2009AA010307）“基于Trustie的神州数码软件生产线改造及应用示范”、国家自然科学基金（No. 60873025）“高阶进程演算的互模拟研究”、江苏省自然科学基金课题（No. BK2008389）“面向高阶通信的进程演算系统研究及应用”等项目的研究。