1. 人工智能

2. 程序理论、软件形式化方法

3. 信息物理融合系统、智能体系统

4. 符号计算、自动推理和程序验证

5. 图像重建与图像处理

6. 机器学习

7. 机器学习理论与应用

8. 区块链、网络空间安全