据中科院软件研究所研究生院消息，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.中间件技术与系统 |
备
注 | - 表中所列计划为预计招生人数，具体招生计划以最终国家下达的为准；
- 标有*号的导师只招收硕博连读生；
- 标有 ͋ 号的导师，表示该导师已接收了攻读硕士学位推免生，或有推免生报考该导师。
|
