2017年中科院软件研究所考研专业目录及考试科目

学科
专业

部门

研究方向代码及名称

指导教师

预计招
生人数  （推免人数）

考试科目代码及名称

计算机软件与理论(081202)

计算机科学国家重点实验室

01.结构信息论与网络空间计算理论

李昂生

7（5）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

02.数据挖掘与人工智能

沈一栋

03.并发系统分析与验证

张文辉
李广元
吴  鹏

04.软件设计与分析方法，新型计算模型与应用

陈海明

05.程序验证

詹乃军

06.概率模型验证与分析

张立军

07.软件的形式化分析与验证

吴志林

08.算法设计分析与复杂性

夏盟佶
蔡少伟

并行软件与计算科学实验室

09.并行软件

李玉成

3（2）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

10.并行算法与并行软件

杨  超
刘芳芳

11.数据挖掘和机器学习

马文静

基础软件国家工程研究中心

12.新型操作系统及系统安全

李明树
贺也平
武延军
马恒太

13（9）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

13.软硬件深度融合

杨秋松
翟  健
陶秋铭

14.海云计算模型

王永吉
李文波

15.软件知识工程

赵  琛
王  青
孙  乐
韩先培

软件工程技术研究开发中心

16.网络分布计算理论与

技术

黄  涛
金蓓弘
王  伟
刘  杰

4（4）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

学科
专业

部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

计算机应用技术 (081203)

计算机科学实验室

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

王文成

3（2）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

02.可视分析与数据挖掘

时  磊

人机
交互
技术
与智
能信息处理实验室

03.人机交互，实时智能

王宏安
田　丰
马翠霞
乔　颖

8（5）

天基
综合
信息
系统
重点
实验
室

04.智能信息处理

胡晓惠
郑昌文
*徐帆江
吕  品
王  浩
吴凤鸽
高  杨

9（7）

05.网络技术及应用

刘立祥

软件工程 (0835)

计算机科学实验室

01.程序分析与软件测试

张  健

3（2）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

02.并发程序分析

蔡  彦

天基综合

03.复杂系统软件

胡晓惠
郑昌文

2（2）

可信计算实验室

04.软件安全

苏璞睿
张颖君

1（1）

并行软件实验室

05.数据挖掘和大数据

陈  峰

1（1）

基础软件国家工程研究中心

06.软件与系统工程

李明树
于佳耕

8（3）

07.软件开发与保障技术

王  青
王永吉

08.程序设计语言与编译技术

赵  琛

09.软件系统漏洞挖掘与安全评估技术

贺也平
吴敬征

10.文本信息处理与信息检索

吴  健
马龙龙

人机交互实验室

11.用户界面技术

王宏安
王丹力
张凤军

2（1）

学科
专业

部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

软件工程 (0835)

软件工程技术研究开发中心

12.分布式软件理论与技术

黄  涛
钟  华
魏  峻
叶  丹
张文博
吴国全
严  俊
陈  伟

9（8）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

网络空间安全（0839）

可信计算与信息保障实验室

01. 密码学与安全协议

张振峰
吴文玲
徐  静
张  斌
张立廷

5（4）

101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）

02. 网络与系统安全

*冯登国
苏璞睿
连一峰
张立武
张  阳
张  敏
陈  华

计算机技术 (085211)

计算机科学实验室

01.图像分析与可视化技术

王文成

2

101.思想政治理论
204.英语二
302.数学二
863.计算机学科综合（专业）

02.软件设计、验证及测试的方法与技术

张  健

03.软件设计与分析方法

陈海明

可信计算实验室

04.可信计算与信息保障

秦  宇
应凌云
程  亮
范丽敏
张  蕾

2

基础软件中心

05.文本信息处理与信息检索

刘汇丹

1

人机交互实验室

06.交互式系统设计与开发

陈  辉
邓小明

2（1）

天基综合

07.信息与数字工程

吕  品
刘立祥

2

软件工程(085212)

基础软件中心

01.基础软件与应用

袁  峰
芮建武

1（1）

101.思想政治理论
204.英语二
302.数学二
863.计算机学科综合（专业）

软件工程中心

02.分布式软件系统工程

钟  华
*左  春
许舒人
徐  罡

3（1）

备注

1. 表中所列计划为预计招生人数，具体招生计划以最终国家下达的为准；
2. 标有*号的导师为软件所兼职导师，部分部门名称为简称；
3. 全所预计招生计划的大约70%用于接收推荐免试生。