数理逻辑
设置理论
范畴论
计算理论
算术代数
几何分析
应用数学等

数据库
软件工程
人工智能
计算理论
计算机网络
编程语言原理
信息和编码理论
算法与数据结构
计算机性能分析
计算机安全和加密
计算机图形学和可视化
计算机系统结构与工程等