选择城市
中国科学院软件研究所2017年硕士招生专业目录
单位代码：14431 院系所代码：150 单位地址：北京市中关村南四街4号 邮政编码：100190
联系部门：研究生部 电话：010-62561196 联系人：李老师 邮件地址：caili@iscas.ac.cn
|
学科 专业 |
部门 | 研究方向代码及名称 | 指导教师 |
预计招 生人数 |
考试科目代码及名称 |
| 计算机软件与理论(081202) | 计算机科学国家重点实验室 | 01.结构信息论与网络空间计算理论 | 李昂生 | 7 |
101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业） |
| 02.数据挖掘与人工智能 | 沈一栋 | ||||
| 03.并发系统分析与验证 |
张文辉 李广元 吴 鹏 |
||||
| 04.软件设计与分析方法，新型计算模型与应用 | 陈海明 | ||||
| 05.程序验证 | 詹乃军 | ||||
| 06.概率模型验证与分析 | 张立军 | ||||
| 07.软件的形式化分析与验证 | 吴志林 | ||||
| 08.算法设计分析与复杂性 |
夏盟佶 蔡少伟 |
||||
| 并行软件与计算科学实验室 | 09.并行软件 | 李玉成 | 3 |
101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业） |
|
| 10.并行算法与并行软件 |
杨 超 刘芳芳 |
||||
| 11.数据挖掘和机器学习 | 马文静 | ||||
| 基础软件国家工程研究中心 | 12.新型操作系统及系统安全 |
李明树 贺也平 武延军 马恒太 |
13 |
101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业） |
|
| 13.软硬件深度融合 |
杨秋松 翟 健 陶秋铭 |
||||
| 14.海云计算模型 |
王永吉 李文波 |
||||
| 15.软件知识工程 |
赵 琛 王 青 孙 乐 韩先培 |
||||
| 软件工程技术研究开发中心 | 16.网络分布计算理论与 技术 |
黄 涛 金蓓弘 王 伟 刘 杰 |
4 |
101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业） |
|
|
学科 专业 |
部门 | 研究方向代码及名称 | 指导教师 |
预计招 生人数 |
考试科目代码及名称 |
| 计算机应用技术 (081203) | 计算机科学实验室 | 01.计算机图形学与虚拟现实 | 王文成 | 3 |
101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业） |
| 02.可视分析与数据挖掘 | 时 磊 | ||||
|
人机 交互 技术 与智 能信息处理实验室 |
03.人机交互，实时智能 |
王宏安 田 丰 马翠霞 乔 颖 |
8 | ||
|
天基 综合 信息 系统 重点 实验 室 |
04.智能信息处理 |
胡晓惠 郑昌文 *徐帆江 吕 品 王 浩 吴凤鸽 高 杨 |
9 | ||
| 05.网络技术及应用 | 刘立祥 | ||||
| 软件工程 (0835) | 计算机科学实验室 | 01.程序分析与软件测试 | 张 健 | 3 |
101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业） |
| 02.并发程序分析 | 蔡 彦 | ||||
| 天基综合 | 03.复杂系统软件 |
胡晓惠 郑昌文 |
2 | ||
| 可信计算实验室 | 04.软件安全 |
苏璞睿 张颖君 |
1 | ||
| 并行软件实验室 | 05.数据挖掘和大数据 | 陈 峰 | 1 | ||
| 基础软件国家工程研究中心 | 06.软件与系统工程 |
李明树 于佳耕 |
8 | ||
| 07.软件开发与保障技术 |
王 青 王永吉 |
||||
| 08.程序设计语言与编译技术 | 赵 琛 | ||||
| 09.软件系统漏洞挖掘与安全评估技术 |
贺也平 吴敬征 |
||||
| 10.文本信息处理与信息检索 |
吴 健 马龙龙 |
||||
| 人机交互实验室 | 11.用户界面技术 |
王宏安 王丹力 张凤军 |
2 |
学科
专业
部门
研究方向代码及名称
指导教师
预计招
生人数
考试科目代码及名称
软件工程 (0835)
软件工程技术研究开发中心
12.分布式软件理论与技术
黄 涛
钟 华
魏 峻
叶 丹
张文博
吴国全
严 俊
陈 伟
9
101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
网络空间安全（0839）
可信计算与信息保障实验室
01. 密码学与安全协议
张振峰
吴文玲
徐 静
张 斌
张立廷
5
101.思想政治理论
201.英语一
301.数学一
863.计算机学科综合（专业）
02. 网络与系统安全
*冯登国
苏璞睿
连一峰
张立武
张 阳
张 敏
陈 华
计算机技术 (085211)
计算机科学实验室
01.图像分析与可视化技术
王文成
2
101.思想政治理论
204.英语二
302.数学二
863.计算机学科综合（专业）
02.软件设计、验证及测试的方法与技术
张 健
03.软件设计与分析方法
陈海明
可信计算实验室
04.可信计算与信息保障
秦 宇
应凌云
程 亮
范丽敏
张 蕾
2
基础软件中心
05.文本信息处理与信息检索
刘汇丹
1
人机交互实验室
06.交互式系统设计与开发
陈 辉
邓小明
2
天基综合
07.信息与数字工程
吕 品
刘立祥
2
软件工程(085212)
基础软件中心
01.基础软件与应用
袁 峰
芮建武
1
101.思想政治理论
204.英语二
302.数学二
863.计算机学科综合（专业）
软件工程中心
02.分布式软件系统工程
钟 华
*左 春
许舒人
徐 罡
3
备注
1. 表中所列计划为预计招生人数，具体招生计划以最终国家下达的为准；
2. 标有*号的导师为软件所兼职导师，部分部门名称为简称；
3. 全所预计招生计划的大约70%用于接收推荐免试生。
(实习编辑：陈晓波)
