研发队伍
研究领域：符号计算、自动推理、知识管理与发现、微分方程和生物网络
研究领域：大数据理论与系统
研究领域：知识计算化、区块链上的可信任计算、人工智能
研究领域：云计算与大数据、网络化软件开发方法、工业互联网等
研究领域：异质数据分析、联邦学习理论和方法
研究领域：智能安全、开放认知
研究领域：可压缩多介质流体数值方法、内嵌数理机理的流场智能处理方法、气动优化、空化流建模及数值模拟等
研究领域：群体智能、智能软件工程、开源软件和分布式系统等
研究领域：算法和人工智能等
研究领域：大数据分析与处理、机器学习、可信计算、隐私计算等
