1998-2022 lantab.com Network Studio. All Rights Reserved. 沪ICP备12018245号
分类:专业目录 来源:中国半岛真人体育 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.可视分析与数据挖掘
|
时 磊
|
||||
人机
交互
技术
与智
能信息处理实验室
|
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%用于接收推荐免试生。
|
扫码关注
考研信息一网打尽