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

学术型学位硕士

学科
专业

 部门

研究方向代码及名称         （按各组报的招生目录汇总）

指导教师

预计招
生人数

考试科目代码及名称

计算机软件与理论（081202）

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

01.并发系统分析与验证

林惠民
张文辉
李广元
吕  毅
吴  鹏

9

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

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

张立军

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

李勇坚

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

陈海明

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

吴志林

06.分布式算法

杨绍发

07.数据挖掘与语义web

沈一栋

08.信息物理融合系统CPS

詹乃军

09.网络算法及其应用

李昂生

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

10.并行算法与并行软件

李玉成
杨  超
龙国平
邓  攀
陈  峰
马菲菲
马文静

4

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

11.数值并行计算

曹建文
李会元
徐  进
王  婷

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

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

李明树
丁治明
武延军
杨秋松
芮建武
淮晓永
刘奎恩
吴敬征
于佳耕

11

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

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

赵  琛
薛云志
刘  剑
陶秋铭

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

贺也平
王永吉
丁丽萍

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

吴  健
孙  乐
李文波
韩先培
马龙龙

学科
专业

 部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

计算机软件与理论（081202）

互联
网软
件技
术实
验室

16.软件知识工程

王  青
钟  浩

3

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

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

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

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

8

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

计算机应用技术（081203）

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

01.计算机图形学

王文成

3

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

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

时  磊

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

03.可信计算与信息保障

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

6

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

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

04.人机交互，实时智能

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

10

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

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

05.信息处理与集成

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

11

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

06.网络技术及应用

刘立祥
马恒太
邓　勇

学科
专业

 部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

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

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

01.程序分析与软件测试

张  健
张震宇

1

101.思想政治理论
201.英语一
301.数学一
408.计算机学科专业基础综合

互联
网软
件技
术实
验室

02.软件过程方法与技术

李明树
王  青
杨秋松
杨  达
肖俊超

7

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

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

黄  涛
钟  华
魏  峻
金蓓弘
叶  丹
许舒人
乔晓强

5

专业学位硕士

计算机技术（085211）

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

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

张  健
陈海明

2

101.思想政治理论
204.英语二
302.数学二
408.计算机学科专业基础综合

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

王文成

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

03.可信计算与信息保障

苏璞睿
连一峰
秦  宇
范丽敏
程  亮
应凌云

2

101.思想政治理论
204.英语二
302.数学二
408.计算机学科专业基础综合

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

04.并行软件设计与实现

张常有

1

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

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

王宏安
田  丰
王丹力

2

101.思想政治理论
204.英语二
302.数学二
408.计算机学科专业基础综合

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

06.信息与数字工程

张金芳
彭启民

2

学科
专业

 部门

研究方向代码及名称

指导教师

预计招
生人数

考试科目代码及名称

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

互联
网软
件技
术实
验室

01.软件过程技术及应用

翟  健

2

101.思想政治理论
204.英语二
302.数学二
408.计算机学科专业基础综合

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

02.分布式软件系统工程

*左  春
范国闯
徐  罡

2

03.中间件技术与系统

备注

1、所列计划为预计招生人数，招生计划最终以国家下达的为准；
2、招生计划的70%左右用于接收推荐免试生；
3、标有*号的导师为我所兼职导师；
4、计算机软件与理论等学术型的招生专业，可从推免生中接收少量直博生；
5、2014年10月20日左右，将更新我所网页上的硕士招生目录，标注各部门拟录推免人数。