计算机应用技术 –可信计算的理论和算法、量子计算、机器学习
数值计算具有速度快、适用范围广的特点，但是一般不能保证结果的整体正确性，符号计算可以对一大类问题提供完整与准确的解答，但是大部分已知的符号计算方法复杂度很高。基于符号-数值混合计算的可信计算理论和算法研究，主要是针对实际应用问题，发展速度快并且可以给出满足应用问题完整求解所必需精度的可验证或误差可控的符号和数值混合算法。
我们是国际上最早从事符号和数值混合计算的研究团队，在基于结构矩阵的多项式的快速计算、方程组任意实根和奇异根的求解精化和验证、任意（半）实代数集上的全局最优解的可信验证等方向取得了一系列成果。得到了国际和国内专家的重视和认可，多次被邀请在国际会议做特邀报告，包括国际科学计算、计算机算术和可信数值计算（2010），国际应用代数几何（2011），国际符号和代数会议（2015），国际科学计算中的计算机代数（2017）。
计算机应用技术 –决策支持系统、大数据与网络舆情
网络时代，特别是Web 2.0和移动互联时代诞生的巨量数据对数据驱动或者模型驱动的决策支持系统带来新的挑战，尤其是面向复杂系统求解的决策支持系统。本方向旨在挑战在新技术新问题下的决策支持技术和方法，注重基于数据、证据和研讨论辩多元信息融合下的决策支持理论方法、技术和系统实现。注重面向社会复杂系统问题综合集成建模与求解方法与技术实现。学习研究探索社会经济等不同类别大数据获取、处理和分析方法的基础上，结合社会风险问题探索研究社会风险相关的各种舆情提取、建模和演化机制。
研究小组在决策支持系统、综合集成研讨厅研究上独树一帜，尤其自主提出了定性综合集成支持技术，进而在社会大数据处理、结合社会心理学成果开创了在线社会风险感知与监测的研究，得到国内外不同学科的关注。 在2015年由国际应用系统分析研究所(IIASA)、INFORMS、圣菲研究所（SFI）等发起并联合举办的首届系统分析国际会议（Systems Analysis 2015, Vienna)，是全球提名特邀大会报告200名候选者中最后入选的30位特邀大会报告者之一（中国唯一）。所组织的知识与系统科学会议字2016年起得到国际著名出版机构Springer支持，已连续三年出版在其下属CCIS系列出版会议论文集。
