江苏省现代教育技术研究2014年度课题 江苏省教育科学“十二五”规划立项课题 中国科学院计算技术研究所智能信息处理重点实验室项目 中船总723所项目 江苏省教育科学“十一五”规划课题 国家重点基础研究发展规划项目子课题 省教育厅指导性项目 江苏省新世纪高等教育改革工程项目

网络环境下高校信息技术课程教学的有效性及评价研究

江苏省高校中外合作办学发展的现状分析与对策研究

粒计算理论方法在网络语义数据处理中的应用研究

XXX训练效果辅助评估系统软件

中外合作办学课程体系本土化研究与实践

复杂系统的知识及其表示

计算科学思想史研究

加强高等学校计算机教育特色专业建设的研究

一种基于搭配的汉语文本自动校对方法 计算机科学 计算机教育 计算机教育 Journal of Computational Infornation Systems 计算机教育 计算机教育 软件学报 Frontiers of Computer Science in China 计算机教育 计算机科学，33(11专辑)，2006.10 计算机科学，27（8.增刊），2000

一种基于搭配的汉语文本自动校对方法

基于特征矩阵的粗糙集关系性质分析与表示定理

面向学科素养培养的数理逻辑教学

高校计算机专业课程体系中的企业概念

Representation and Reduction of Decision System Based on Semantics of Extended Propositional Modal Logic

基于知识背景的计算学科课程内容组织

再谈计算机思维

基于一阶模态逻辑的模糊推理

types, Structures and Theories in NKI

计算机课程教学与计算科学思想史研究

浅谈计算科学思想史研究

谈谈计算机思维

江苏科技大学教学模范提名奖 江苏科技大学2011年度“最受欢迎的十佳教师”称号 江苏科技大学教学优秀教师 江苏科技大学优秀教学质量奖 江苏省高等教育教学成果奖一等奖 江苏省第十二次高教科研成果三等奖

江苏省高等教育教学成果奖一等奖

C++程序设计基础教程，北京，中国人民邮电出版，2018.3 数理逻辑，徐州，中国矿大出版社，2019.8 大学计算机基础学习指导，中国矿大出版社，2016.5 C++程序设计实践教程，北京，科学出版社，2013.8 C++程序设计教程，北京，科学出版社，2013.8 VC++程序设计解析与实训，北京，铁道出版社，2008.3 中学计算机教育学（第二版），合肥，中国科学技术大学出版社，2001.3 中学计算机教育学（第一版），合肥，中国科学技术大学出版社，1998.3