• 2019-07-15计算机科学基础理论与形式化方法
• 2019-07-15软件系统原理及开发方法
• 2019-07-15图形图像与人机交互
• 2019-07-15并行与分布计算及可信计算
• 2019-07-12大数据及智能信息处理