2014年中国科学院软件研究所考研招生专业目录
|
工学硕士
|
|||||
|
学科
专业 |
部门
|
研究方向代码及名称
|
指导教师
|
预计招
生人数 |
考试科目代码及名称
|
|
计算机软件与理论（081202）
|
计算机科学国家重点实验室 |
01.网络与并发实时系统的设计与分析
|
林惠民
焦 莉 李广元 吕 毅 吴 鹏 |
36
|
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
|
02.概率并发系统的建模与检验
|
张立军
|
||||
|
03.多核并发系统的设计与验证
|
张 昱
|
||||
|
04.并发理论和形式化方法
|
柳欣欣
|
||||
|
05.硬件系统的形式化验证
|
李勇坚
|
||||
|
06.软件设计、分析与验证
|
陈海明
杨绍发 吴志林 |
||||
|
07.数据挖掘与语义web
|
沈一栋
|
||||
|
08.自动推理与约束求解
|
张 健
|
||||
|
09.信息物理融合系统CPS
|
詹乃军
|
||||
|
10.网络算法及其应用
|
李昂生
|
||||
|
并行软件与计算科学实验室
|
11.并行算法与并行软件
|
李玉成
龙国平 马菲菲 张常有 |
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
|
12.数值并行计算
|
曹建文
李会元 徐 进 |
||||
|
基础
软件 国家 工程 研究 中心 |
13.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用
|
李明树
丁治明 武延军 芮建武 淮晓永 |
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
|
14.程序语言设计与编译技术，软件测试方法和工具
|
赵 琛
薛云志 刘 剑 |
||||
|
15.系统安全、可信计算与数字取证
|
贺也平
王永吉 丁丽萍 陆 迤 |
||||
|
16.文本信息处理与信息检索
|
吴 健
孙 乐 李文波 韩先培 马龙龙 |
||||
|
学科
专业 |
部门
|
研究方向代码及名称
|
指导教师
|
预计招
生人数 |
考试科目代码及名称
|
|
计算机软件与理论（081202）
|
互联
网软 件技 术实 验室 |
17.软件知识工程
|
王 青
张 文 钟 浩 |
|
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
|
软件工程技术研究开发中心
|
18.网络分布计算理论与技术
|
黄 涛
魏 峻 钟 华 金蓓弘 张文博 吴国全 王 伟 严 俊 叶春扬 |
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
|
计算机应用技术（081203）
|
计算
机科 学国 家重 点实 验室 |
01.计算机图形学
|
吴恩华
王文成 陈彦云 刘学慧 |
30
|
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
|
02.信息可视化、可视分析
|
时 磊
|
||||
|
可信计算与信息保障实验室
|
03.可信计算与信息保障
|
冯登国
吴文玲 张振峰 苏璞睿 连一峰 张 阳 张 敏 陈 华 张立武 张 斌 |
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
|
人机
交互 技术 与智 能信息处理实验室 |
04.人机交互，实时智能
|
王宏安
田 丰 王丹力 张凤军 滕东兴 马翠霞 陈 辉 邓小明 乔 颖 王永炎 |
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
|
综合信息系统技术国家级重点实验室
|
05.信息处理与集成
|
胡晓惠
郑昌文 王 浩 吴凤鸽 徐帆江 赵军锁 吕 品 窦竹梅 |
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
||
|
06.网络技术及应用
|
刘立祥
马恒太 邓 勇 |
|
学科
专业 |
部门
|
研究方向代码及名称
|
指导教师
|
预计招
生人数 |
考试科目代码及名称
|
|||
|
软件工程（0835）
|
计算
机科 学国 家重 点实 验室 |
01.程序分析与软件测试
|
张 健
张震宇 |
13
|
101.思想政治理论
201.英语一 301.数学一 408.计算机学科专业基础综合 |
|||
|
互联
网软 件技 术实 验室 |
02.软件过程方法与技术
|
李明树
王 青 李 娟 杨秋松 杨 达 肖俊超 |
||||||
|
软件工程技术研究开发中心
|
03.分布式软件理论与技术
|
黄 涛
钟 华 魏 峻 金蓓弘 叶 丹 徐 罡 许舒人 乔晓强 |
||||||
|
工程硕士
|
||||||||
|
学科
专业 |
部门
|
研究方向代码及名称
|
指导教师
|
预计招
生人数 |
考试科目代码及名称
|
|||
|
计算机技术（085211）
|
计算机科学国家重点实验室
|
01.软件设计、验证及测试的方法与技术
|
李广元
吕 毅 吴 鹏 吴志林 张震宇 杨绍发 |
9
|
|
|||
|
02.虚拟现实与可视化技术
|
王文成
刘学慧 时 磊 |
|
||||||
|
可信计算与信息保障实验室
|
03.可信计算与信息保障
|
苏璞睿
连一峰 张 阳 张 敏 陈 华 张立武 |
|
|||||
|
并行软件与计算科学实验室
|
04.并行软件设计与实现
|
杨 超
王 婷 |
|
|||||
|
学科
专业 |
部门
|
研究方向代码及名称
|
指导教师
|
预计招
生人数 |
考试科目代码及名称
|
|
计算机技术（085211）
|
人机
交互 技术 与智 能信息处理实验室 |
05.交互式系统设计与开发
|
王宏安
田 丰 王丹力 |
|
101.思想政治理论
204.英语二 302.数学二 408.计算机学科专业基础综合 |
|
综合信息系统技术国家级重点实验室
|
06.信息与数字工程
|
张金芳
彭启民 |
|||
|
软件工程 (085212)
|
互联
网软 件技 术实 验室 |
01.软件过程技术及应用
|
肖俊超
|
4
|
101.思想政治理论
204.英语二 302.数学二 408.计算机学科专业基础综合 |
|
软件工程技术研究开发中心
|
02.分布式软件系统工程
|
*左 春
范国闯 张 波 许舒人 |
|||
|
03.中间件技术与系统
|
|||||
|
备注
|
1、所列计划为预计招生人数，实际招生计划以国家下达的为准；
2、标有*号的导师为软件所兼职导师； 3、招生计划的70%左右用于接收推荐免试生； 4、10月25日左右将在软件所网页上的招生目录中标注各部门接受推免生情况； 5、计算机软件与理论专业可以从推免生中接收直接攻读博士学位研究生（即直博生）。 |
||||
特别声明：①凡本网注明稿件来源为"原创"的，转载必须注明"稿件来源：育路网"，违者将依法追究责任；
②部分稿件来源于网络，如有侵权，请联系我们沟通解决。
25人觉得有用
招生服务平台始创于1999年
打开微信扫一扫，关注育路教育官方微信
1999-2025 北京育路互联科技有限公司版权所有 | 京ICP备10025267号-13 | 京公网安备 11010802025989号
