据中科院软件研究所研究生院消息,2016年中科院软件研究所考研专业目录及考试科目已经公布,详情如下:
学术型学位硕士 |
|||||
学科 |
部门 |
研究方向代码及名称 |
指导教师 |
预计招 |
考试科目代码及名称 |
计算机软件与理论(081202) |
|
01.并发系统分析与验证 |
林惠民 |
9(8) |
101.思想政治理论 |
焦 莉 |
|||||
张文辉 ͋ |
|||||
02.信息物理融合系统CPS |
詹乃军 ͋ |
||||
03.数据挖掘、人工智能 |
沈一栋 |
||||
04.软件设计与分析方法,新型计算模型与应用 |
陈海明 |
||||
05.概率并发系统的建模与检验 |
张立军 ͋ |
||||
06.算法与计算复杂性 |
夏盟佶 |
||||
07.软件的形式化分析与验证 |
吴志林͋1 |
||||
08.分布式算法 |
杨绍发 |
||||
09.算法设计与分析 |
蔡少伟 ͋ |
||||
10.并发程序分析 |
蔡 彦 ͋ |
||||
11.硬件系统的形式化验证 |
李勇坚 ͋ |
||||
并行软件与计算科学实验室 |
12.并行算法与并行软件 |
杨 超͋ |
4(4) |
101.思想政治理论 |
|
13. 数据挖掘和机器学习 |
龙国平͋ |
||||
14 数据挖掘和大数据 |
陈 峰 |
||||
基础 |
15.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用 |
李明树 |
11(8) |
101.思想政治理论 |
|
16.程序语言设计与编译技术,软件测试方法和工具 |
赵 琛 |
||||
17.系统安全、可信计算与数字取证 |
贺也平͋ |
||||
18.文本信息处理与信息检索 |
孙 乐͋ |
||||
学科 |
部门 |
研究方向代码及名称 |
指导教师 |
预计招 |
考试科目代码及名称 |
计算机软件与理论(081202) |
互联 |
19.软件知识工程 |
王 青͋ |
3(2) |
101.思想政治理论 |
软件工程技术研究开发中心 |
20.网络分布计算理论与技术 |
黄 涛* |
8(5) |
101.思想政治理论 |
|
计算机应用技术(081203) |
计算 |
01.信息可视化、可视分析 |
时 磊͋ |
3(2) |
101.思想政治理论 |
02.计算机图形学 |
王文成͋ |
||||
刘学慧 |
|||||
可信计算与信息保障实验室 |
03.可信计算与信息保障 |
冯登国 |
6(4) |
101.思想政治理论 |
|
人机 |
04.人机交互,实时智能 |
王宏安͋͋ |
10(6) |
101.思想政治理论 |
|
天基综合信息系统重点实验室 |
05. 智能信息处理 |
胡晓惠 |
11(5) |
101.思想政治理论 |
|
06.网络技术及应用 |
刘立祥 |
||||
学科 |
部门 |
研究方向代码及名称 |
指导教师 |
预计招 |
考试科目代码及名称 |
软件工程(0835,学术学位) |
计算 |
01.程序分析与软件测试 |
张 健͋ |
1(1) |
101.思想政治理论 |
互联 |
02.软件过程方法与技术 |
李明树͋ |
7(4) |
101.思想政治理论 |
|
软件工程技术研究开发中心 |
03.分布式软件理论与技术 |
黄 涛* |
5(5) |
101.思想政治理论 |
|
专业学位硕士 |
|||||
计算机技术(085211) |
计算机科学国家重点实验室 |
01.虚拟现实与可视化技术 |
王文成 |
2(0) |
101.思想政治理论 |
02.软件设计与分析方法 |
陈海明 |
||||
03.软件设计、验证及测试的方法与技术 |
张 健 |
||||
可信计算与信息保障实验室 |
04.可信计算与信息保障 |
苏璞睿 |
3(0) |
101.思想政治理论 |
|
人机 |
05.交互式系统设计与开发 |
王宏安͋ |
2(1) |
101.思想政治理论 |
|
天基综合信息系统重点实验室 |
06.信息与数字工程͋ |
张金芳 |
2(1) |
101.思想政治理论 |
|
学科 |
部门 |
研究方向代码及名称 |
指导教师 |
预计招 |
考试科目代码及名称 |
软件工程(085212,专业学位) |
互联 |
01.软件过程技术及应用 |
翟 健 |
2(0) |
101.思想政治理论 |
软件工程技术研究开发中心 |
02.分布式软件系统工程 |
左 春 |
2(0) |
||
03.中间件技术与系统 |
|||||
备 |
表中所列计划为预计招生人数,具体招生计划以最终国家下达的为准; 标有*号的导师只招收硕博连读生; 标有 ͋ 号的导师,表示该导师已接收了攻读硕士学位推免生,或有推免生报考该导师。 |
(实习编辑:孙慧敏)