中国科学院软件研究所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 |