1.软件工程理论与方法

围绕软件开发、运行和维护中的关键科学问题，开展软件系统建模、最优化理论与方法、形式化分析等方向研究。提出了结构化语义数据模糊表示及推理、免疫启发流形学习、动态负载均衡形式化描述等方案，攻克了软件开发中计算资源使用率受限、多目标优化困难、海量存储系统数据负载不均衡等难题。近五年，承担国家级项目11项、省部级项目33项，获省部级科技奖励2项，发表SCI/EI论文127篇，出版著作13部，授权发明专利39件。

2.软件工程技术

围绕复杂软件开发与运行中的需求、设计与架构等关键技术问题，开展软件可信度分析、机器感知与影像处理等方向研究。提出了软件可信度计算与分级评估模型、知识表示多源信息融合、量子概率启发多模态情感识别及智能图像配准等新技术，攻克了决策系统可解释性差、情感识别分析复杂、图像配准效率低等技术难题。近五年，承担国家级项目14项、省部级项目47项，获省部级科技奖励3项，发表SCI/EI论文152篇，出版著作16部，授权发明专利41件。

3.软件服务工程

围绕面向服务的软件工程原理、方法和技术需求，开展网络内容分发、隐私保护、多方计算等方向研究。率先提出了群体内容智能分发、格上无匿名性撤销隐藏属性签名方法，首次构建了可定向等级群组密钥协商机制，攻克了大规模内容分发速度慢、隐私度量难、传输安全性低等关键技术难题。近五年，承担国家级项目10项、省部级项目31项，获河南省科技进步一等奖在内的省部级科技奖励2项，发表SCI/EI论文139篇，出版著作17部，授权发明专利35件。

4.领域软件工程与工业软件

围绕智慧冷链、食品安全检测、智能医疗等领域关键技术需求，开展智慧冷链与安全控制、磁共振参数测量、基因功能识别等技术研究。攻克了面向多源异构知识图谱的可解释性食品溯源、基于大数据的冷链食品安全危害物识别与检测、生物序列数据的深度特征表示等关键难题，助力行业高质量发展。近五年，承担国家级项目12项、省部级项目43项，获省部级科技奖励4项，发表SCI/EI论文148篇，出版著作18部，授权发明专利43件。