1998-2022 lantab.com Network Studio. All Rights Reserved. 沪ICP备12018245号
中科院软件研究所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、标有*号的导师为软件所兼职导师。
|
来源未注明“中国半岛真人体育 ”的资讯、文章等均为转载,本网站转载出于传递更多信息之目的,并不意味着赞同其观点或证实其内容的真实性,如涉及版权问题,请联系本站管理员予以更改或删除。如其他媒体、网站或个人从本网站下载使用,必须保留本网站注明的"稿件来源",并自负版权等法律责任。
来源注明“中国半岛真人体育 ”的文章,若需转载请联系管理员获得相应许可。
联系方式:chinakaoyankefu@163.com
扫码关注
了解考研最新消息