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