(01)虚拟现实与可视分析系统
10
(02)软件验证工具与应用,操作系统
(03)高可信软件分析与测试技术
(04)智能系统可信保障工具与平台
(05)约束求解器与EDA应用
(06)软件验证工具与应用
(07)软件安全与信息保障
(08)高性能计算
(09)大语言模型
(10)软硬件深度融合
(11)交互式系统设计与开发
(12)数据服务与大模型应用
(13)分布式软件系统工程
(14)云计算与大数据
(15)智能系统软件
(16)数据可视化与智能用户界面
(17)智能化软件开发方法及质量保障
(18)全球语言文字信息处理
(19)编程语言与编译工具链
(20)智能系统安全
(21)智能无人系统
(22)视觉语义理解
①(101)思想政治理论②(204)英语(二)③(302)数学(二)④(408)计算机学科专业基础