中科院软件研究所

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

工学硕士
学科 专业	部门	研究方向代码及名称	指导教师	预计招 生人数 （推免人数）	考试科目代码及名称
计算机软件与理论（081202）	计算机科学国家重点实验室	01.网络与并发实时系统的设计与分析	林惠民 焦 莉 李广元 吕 毅 吴 鹏	9(6)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
		02.概率并发系统的建模与检验	张立军
		03.多核并发系统的设计与验证	张 昱
		04.并发理论和形式化方法	柳欣欣
		05.硬件系统的形式化验证	李勇坚
		06.软件设计、分析与验证	陈海明 杨绍发 吴志林
		07.数据挖掘与语义web	沈一栋
		08.自动推理与约束求解	张 健
		09.信息物理融合系统CPS	詹乃军
		10.网络算法及其应用	李昂生
	并行软件与计算科学实验室	11.并行算法与并行软件	李玉成 龙国平 马菲菲 张常有 邓 攀 马文静	4(2)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
		12.数值并行计算	曹建文 李会元 徐 进
	基础 软件 国家 工程 研究 中心	13.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用	李明树 丁治明 武延军 芮建武 淮晓永	11(8)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
		14.程序语言设计与编译技术，软件测试方法和工具	赵 琛 薛云志 刘 剑
		15.系统安全、可信计算与数字取证	贺也平 王永吉 丁丽萍 陆 迤
		16.文本信息处理与信息检索	吴 健 孙 乐 李文波 韩先培 马龙龙

学科 专业	部门	研究方向代码及名称	指导教师	预计招 生人数 （推免人数）	考试科目代码及名称
计算机软件与理论（081202）	互联 网软 件技 术实 验室	17.软件知识工程	王 青 张 文 钟 浩	3(2)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
	软件工程技术研究开发中心	18.网络分布计算理论与技术	黄 涛 魏 峻 钟 华 金蓓弘 张文博 吴国全 王 伟 严 俊 叶春扬	8(6)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
计算机应用技术（081203）	计算 机科 学国 家重 点实 验室	01.计算机图形学	吴恩华 王文成 陈彦云 刘学慧	3(3)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
		02.信息可视化、可视分析	时 磊
	可信计算与信息保障实验室	03.可信计算与信息保障	冯登国 吴文玲 张振峰 苏璞睿 连一峰 张 阳 张 敏 陈 华 张立武 张 斌	6(5)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
	人机 交互 技术 与智 能信息处理实验室	04.人机交互，实时智能	王宏安 田　丰 王丹力 张凤军 滕东兴 马翠霞 陈　辉 邓小明 乔　颖 王永炎	10(2)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
	综合信息系统技术国家级重点实验室	05.信息处理与集成	胡晓惠 郑昌文 王 浩 吴凤鸽 徐帆江 赵军锁 吕 品 窦竹梅	11(8)	101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
		06.网络技术及应用	刘立祥 马恒太 邓　勇

学科 专业	部门		研究方向代码及名称		指导教师	预计招 生人数 （推免人数）		考试科目代码及名称
软件工程（0835）	计算 机科 学国 家重 点实 验室		01.程序分析与软件测试		张 健 张震宇	1(0)		101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础 综合
	互联 网软 件技 术实 验室		02.软件过程方法与技术		李明树 王 青 李 娟 杨秋松 杨 达 肖俊超	7(5)
	软件工程技术研究开发中心		03.分布式软件理论与技术		黄 涛 钟 华 魏 峻 金蓓弘 叶 丹 徐 罡 许舒人 乔晓强	5(3)
工程硕士
学科 专业		部门		研究方向代码及名称	指导教师		预计招 生人数 （推免人数）	考试科目代码及名称
计算机技术（085211）		计算机科学国家重点实验室		01.软件设计、验证及测试的方法与技术	李广元 吕 毅 吴 鹏 吴志林 张震宇 杨绍发		2(0)	101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础 综合
				02.虚拟现实与可视化技术	王文成 刘学慧 时 磊
		可信计算与信息保障实验室		03.可信计算与信息保障	苏璞睿 连一峰 张 阳 张 敏 陈 华 张立武		2(0)
		并行软件与计算科学实验室		04.并行软件设计与实现	杨 超 王 婷 姚继锋		1(0)

学科 专业	部门	研究方向代码及名称	指导教师	预计招 生人数 （推免人数）	考试科目代码及名称
计算机技术（085211）	人机 交互 技术 与智 能信息处理实验室	05.交互式系统设计与开发	王宏安 田 丰 王丹力 孙 静 韩永生	2(2)	101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础 综合
	综合信息系统技术国家级重点实验室	06.信息与数字工程	张金芳 彭启民	2(0)
软件工程(085212)	互联 网软 件技 术实 验室	01.软件过程技术及应用	肖俊超 袁 峰	2(1)	101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础 综合
	软件工程技术研究开发中心	02.分布式软件系统工程	*左 春 范国闯 张 波 许舒人	2(0)
		03.中间件技术与系统
备注	1、所列计划为预计招生人数，实际招生计划以国家下达的为准； 2、标有*号的导师为软件所兼职导师。