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

（01）智能控制系统形式设计及验证

8

（02）软件分析与测试、机器学习

8

（03）可信智能系统

8

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

8

（05）约束求解与EDA

8

（06）软件安全

8

（07）大语言模型

8

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

8

（09）用户界面技术

8

（10）智能软件工程

8

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

8

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

8

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

8

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

8

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

8

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

8

（17）文档智能、大模型

8

（18）智能感知与类脑多模态信息处理

8

（19）人工智能和大数据应用技术，智能软件工程

8

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

8

（21）操作系统

8

（22）智能软件安全

8

（23）智能计算

8

（24）可信赖人工智能

8

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