智能数据处理、软件形式化方法和验证软件形式化描述、软件测试、系统建模

承担项目：1、遗留软件再工程的研究与实现，省科技攻关项目，主持，在研；2、基于复杂句式的网络舆情倾向性分析，国家重点实验室开放课题，主持，在研；3、视觉听觉跨模态相干性协同学习算法研究，国家自然科学基金，参研，已结题；4、支持自演化的可信软件体系结构研究，教育部博士点基金，参研，已结题；5、基于GTEST的ATLAS翻译器的构建，国防预研基金，技术负责人，已结题；6、基于车牌和车型的车辆综合识别方法研究，省自然科学基金，参研，在研；7、科技项目配套资金管理系统，横向项目，主持，已结题；8、计量器具管理系统

中国计算机学会会员，ACM会员。

计算机网络,数据库系统原理,网络集成与管理课程设计,企业定制课程,企业定制课程B,多媒体网站设计课程设计,数据库信息管理系统设计课程设计,计算机硬件系统设计课程设计,计算机科学与技术专业生产实习(IT企业短训)

计算机14-1,计算机14-2,计算机14-3,计算机14-4,计算机14-1,计算机14-2,计算机14-3,计算机14-4,计算机14-3,计算机12-1,计算机12-2,计算机12-3,计算机12-4,计算机12-5,计算机11-1,计算机11-2,计算机11-3,计算机11-4,计算机13-1,计算机13-2,计算机13-3,计算机13-4,计算机12-1,计算机12-2,计算机12-3,计算机12-4,计算机12-5,计算机12-5,计算机12-3,计算机13-3,计算机13-3,计算机13-3