中国科学院软件研究所 · 软件工程考研(083500)学硕

（01）智能控制系统形式设计及验证，安全强化学习

9

（02）多智能体系统分析与测试

9

（03）可信智能系统

9

（04）基础软件分析与验证，操作系统

9

（05）约束求解与EDA

9

（06）智能图形与深度学习

9

（07）软件安全

9

（08）新型操作系统和系统安全

9

（09）用户界面技术

9

（10）智能软件工程

9

（11）智能化软件工程方法

9

（12）大数据系统与智能分析

9

（13）云计算与分布式系统

9

（14）大数据与智能信息处理

9

（15）可视分析与数据智能

9

（16）智能化软件开发方法及质量保障

9

（17）人工智能和大数据应用技术

9

（18）文档智能、大模型

9

（19）数据科学与数据智能

9

（20）智能基础理论与系统

9

（21）操作系统

9

（22）智能软件安全

9

（23）可信赖人工智能评估

9

（24）智能计算

9

①(101)思想政治理论
②(201)英语（一）
③(301)数学（一）
④(408)计算机学科专业基础