2017年中科院软件研究所硕士研究生招生专业目录

专业目录来源：中国半岛真人体育 2016-09-07　相关院校：中科院软件研究所

中国科学院软件研究所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.可视分析与数据挖掘	时磊	3
	人机交互技术与智能信息处理实验室	03.人机交互，实时智能	王宏安田　丰马翠霞乔　颖	8
	天基综合信息系统重点实验室	04.智能信息处理	胡晓惠郑昌文 *徐帆江吕品王浩吴凤鸽高杨	9
	天基综合信息系统重点实验室	05.网络技术及应用	刘立祥	9
软件工程 (0835)	计算机科学实验室	01.程序分析与软件测试	张健	3	101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业）
	计算机科学实验室	02.并发程序分析	蔡彦	3
	天基综合	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.计算机学科综合（专业）
网络空间安全（0839）	可信计算与信息保障实验室	02. 网络与系统安全	*冯登国苏璞睿连一峰张立武张阳张敏陈华	5	101.思想政治理论 201.英语一 301.数学一 863.计算机学科综合（专业）
计算机技术 (085211)	计算机科学实验室	01.图像分析与可视化技术	王文成	2	101.思想政治理论 204.英语二 302.数学二 863.计算机学科综合（专业）
		02.软件设计、验证及测试的方法与技术	张健
		03.软件设计与分析方法	陈海明
	可信计算实验室	04.可信计算与信息保障	秦宇应凌云程亮范丽敏张蕾	2
	基础软件中心	05.文本信息处理与信息检索	刘汇丹	1
	人机交互实验室	06.交互式系统设计与开发	陈辉邓小明	2
	天基综合	07.信息与数字工程	吕品刘立祥	2
软件工程(085212)	基础软件中心	01.基础软件与应用	袁峰芮建武	1	101.思想政治理论 204.英语二 302.数学二 863.计算机学科综合（专业）
软件工程(085212)	软件工程中心	02.分布式软件系统工程	钟华 *左春许舒人徐罡	3	101.思想政治理论 204.英语二 302.数学二 863.计算机学科综合（专业）
备注	1. 表中所列计划为预计招生人数，具体招生计划以最终国家下达的为准； 2. 标有*号的导师为软件所兼职导师，部分部门名称为简称； 3. 全所预计招生计划的大约70%用于接收推荐免试生。