各招生单位2015年硕士研究生招生简章、招生专业目录、参考书目正在陆续发布，新东方在线小编将在第一时间发布相关信息。以下是22015中科院软件研究所考研专业目录。点击进入>>2015年考研招生简章专题
2015中科院软件研究所考研专业目录
据中科院软件研究所消息，2015年中科院软件研究所考研专业目录及考试科目已公布，详情如下：
学术型学位硕士 | |||||
学科 | 部门 | 研究方向代码及名称 （按各组报的招生目录汇总） | 指导教师 | 预计招 | 考试科目代码及名称 |
计算机软件与理论（081202） | 计算机科学国家重点实验室 | 01.并发系统分析与验证 | 林惠民 | 9 | 101.思想政治理论 |
02.概率并发系统的建模与检验 | 张立军 | ||||
03.硬件系统的形式化验证 | 李勇坚 | ||||
04.软件设计与分析方法，新型计算模型与应用 | 陈海明 | ||||
05.软件的形式化分析与验证 | 吴志林 | ||||
06.分布式算法 | 杨绍发 | ||||
07.数据挖掘与语义web | 沈一栋 | ||||
08.信息物理融合系统CPS | 詹乃军 | ||||
09.网络算法及其应用 | 李昂生 | ||||
并行软件与计算科学实验室 | 10.并行算法与并行软件 | 李玉成 | 4 | 101.思想政治理论 | |
11.数值并行计算 | 曹建文 | ||||
基础 | 12.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用 | 李明树 | 11 | 101.思想政治理论 | |
13.程序语言设计与编译技术，软件测试方法和工具 | 赵 琛 | ||||
14.系统安全、可信计算与数字取证 | 贺也平 | ||||
15.文本信息处理与信息检索 | 吴 健 | ||||
学科 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 | 考试科目代码及名称 |
计算机软件与理论（081202） | 互联 | 16.软件知识工程 | 王 青 | 3 | 101.思想政治理论 |
软件工程技术研究开发中心 | 17.网络分布计算理论与技术 | 黄 涛 | 8 | 101.思想政治理论 | |
计算机应用技术（081203） | 计算 | 01.计算机图形学 | 王文成 | 3 | 101.思想政治理论 |
02.信息可视化、可视分析 | 时 磊 | ||||
可信计算与信息保障实验室 | 03.可信计算与信息保障 | *冯登国 | 6 | 101.思想政治理论 | |
人机 | 04.人机交互，实时智能 | 王宏安 | 10 | 101.思想政治理论 | |
天基综合信息系统重点实验室 | 05.信息处理与集成 | 胡晓惠 | 11 | 101.思想政治理论 | |
06.网络技术及应用 | 刘立祥 | ||||
学科 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 | 考试科目代码及名称 |
软件工程（0835，学术学位） | 计算 | 01.程序分析与软件测试 | 张 健 | 1 | 101.思想政治理论 |
互联 | 02.软件过程方法与技术 | 李明树 | 7 | ||
软件工程技术研究开发中心 | 03.分布式软件理论与技术 | 黄 涛 | 5 | ||
专业学位硕士 | |||||
计算机技术（085211） | 计算机科学国家重点实验室 | 01.软件设计、验证及测试的方法与技术 | 张 健 | 2 | 101.思想政治理论 |
02.虚拟现实与可视化技术 | 王文成 | ||||
可信计算与信息保障实验室 | 03.可信计算与信息保障 | 苏璞睿 | 2 | 101.思想政治理论 | |
并行软件与计算科学实验室 | 04.并行软件设计与实现 | 张常有 | 1 | ||
人机 | 05.交互式系统设计与开发 | 王宏安 | 2 | 101.思想政治理论 | |
天基综合信息系统重点实验室 | 06.信息与数字工程 | 张金芳 | 2 | ||
学科 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 | 考试科目代码及名称 |
软件工程（085212，专业学位） | 互联 | 01.软件过程技术及应用 | 翟 健 | 2 | 101.思想政治理论 |
软件工程技术研究开发中心 | 02.分布式软件系统工程 | *左 春 | 2 | ||
03.中间件技术与系统 | |||||
备注 | 1、所列计划为预计招生人数，招生计划最终以国家下达的为准； | ||||
来源：中科院软件研究所