中国科学院软件研究所 · 计算机科学与技术考研(081200)学硕

（01）计算机图形学与虚拟现实

4

（02）形式化方法

4

（03）软件设计与分析方法，新型计算模型与应用

4

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

4

（05）约束求解

4

（06）实时操作系统的验证

4

（07）自动推理与软件分析

4

（08）可信智能计算

4

（09）并行算法与并行软件

4

（10）自然语言理解

4

（11）软硬件深度融合

4

（12）人机交互，实时智能

4

（13）网络分布计算理论与技术

4

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