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

学术型学位硕士

学科
专业

 部门

研究方向代码及名称        

指导教师

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

考试科目代码及名称

计算机软件与理论（081202）

01.并发系统分析与验证

林惠民

9（8）

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

焦  莉

张文辉 ͋
吕  毅
吴  鹏

02.信息物理融合系统CPS

詹乃军 ͋

03.数据挖掘、人工智能

沈一栋

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

陈海明

05.概率并发系统的建模与检验

张立军 ͋

06.算法与计算复杂性

夏盟佶

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

吴志林͋1

08.分布式算法

杨绍发

09.算法设计与分析

蔡少伟 ͋

10.并发程序分析

蔡  彦 ͋

11.硬件系统的形式化验证

李勇坚 ͋

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

12.并行算法与并行软件

杨  超͋
马文静͋
刘芳芳͋

4（4）

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

13. 数据挖掘和机器学习

龙国平͋

14 数据挖掘和大数据

陈  峰

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

15.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用

李明树
武延军͋
杨秋松͋
芮建武
淮晓永
吴敬征
于佳耕

11（8）

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

16.程序语言设计与编译技术，软件测试方法和工具

赵  琛
薛云志
陶秋铭

17.系统安全、可信计算与数字取证

贺也平͋
王永吉͋
丁丽萍͋

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

孙  乐͋
吴  健
李文波
韩先培
马龙龙
刘汇丹

学科
专业

 部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

计算机软件与理论（081202）

互联
网软
件技
术实
验室

19.软件知识工程

王  青͋
杨  达

3（2）

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

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

20.网络分布计算理论与技术

黄 涛*
魏 峻*
钟  华
金蓓弘
叶  丹͋
张文博
吴国全
王  伟͋
严  俊
刘  杰

8（5）

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

计算机应用技术（081203）

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

01.信息可视化、可视分析

时  磊͋

3（2）

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

02.计算机图形学

王文成͋
陈彦云

刘学慧

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

03.可信计算与信息保障

冯登国
吴文玲͋
张振峰
苏璞睿͋
徐  静͋
张  斌
张  阳
张  敏
陈  华
张立武
张  蕾

6（4）

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

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

04.人机交互，实时智能

王宏安͋͋
田　丰͋
王丹力͋
滕东兴
马翠霞͋͋
张凤军͋
陈　辉
邓小明͋
乔　颖
王永炎

10（6）

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

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

05. 智能信息处理

胡晓惠
郑昌文
徐帆江
吕  品
王  浩͋
窦竹梅
吴凤鸽

11（5）

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

06.网络技术及应用

刘立祥
马恒太
邓　勇

学科
专业

 部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

软件工程（0835，学术学位）

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

01.程序分析与软件测试

张  健͋

1（1）

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

互联
网软
件技
术实
验室

02.软件过程方法与技术

李明树͋
王  青͋
杨秋松͋

7（4）

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

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

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

 黄  涛*
钟  华
魏  峻*͋
金蓓弘͋
叶  丹
许舒人
陈  伟͋

5（5）

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

专业学位硕士

计算机技术（085211）

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

01.虚拟现实与可视化技术

王文成

2（0）

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

02.软件设计与分析方法

陈海明

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

张  健

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

04.可信计算与信息保障

苏璞睿
连一峰
秦  宇
应凌云
张颖君

3（0）

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

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

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

王宏安͋
田  丰
王丹力
马翠霞
韩永生
邓昌智

2（1）

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

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

06.信息与数字工程͋

张金芳
彭启民͋

2（1）

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

学科
专业

 部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

软件工程（085212，专业学位）

互联
网软
件技
术实
验室

01.软件过程技术及应用

翟  健

2（0）

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

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

02.分布式软件系统工程

左  春
徐  罡

2（0）

03.中间件技术与系统

备
注

1. 表中所列计划为预计招生人数，具体招生计划以最终国家下达的为准；
2. 标有*号的导师只招收硕博连读生；
3. 标有 ͋ 号的导师，表示该导师已接收了攻读硕士学位推免生，或有推免生报考该导师。