中国科学院软件研究所2014年硕士招生专业目录
单位代码：80001 院系所代码：150 单位地址：北京市中关村南四街4号 邮政编码：100190
联系部门：研究生部 电话：010-62561196 联系人：李老师 王老师 邮件地址：yjs@iscas.ac.cn
|
工学硕士
|
|||||
|
学科
专业
|
部门
|
研究方向代码及名称
|
指导教师
|
预计招
生人数
（推免人数）
|
考试科目代码及名称
|
|
计算机软件与理论（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、标有*号的导师为软件所兼职导师。
|
||||
