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

单位代码：80001院系所代码：150单位地址：北京市中关村南四街4号邮政编码：100190

联系部门：研究生部电话：010-62561196联系人：李老师王老师邮件地址：yjs@http://www.77cn.com.cn

全国唯一专注考研一对一辅导机构05.硬件系统的形式化验证 李勇坚

18611841501

陈海明 06.软件设计、分析与验证 杨绍发 吴志林

07.数据挖掘与语义 web

沈一栋

08.自动推理与约束求解

张健

09.信息物理融合系统 CPS

詹乃军

10.网络算法及其应用

李昂生

李玉成 11.并行算法与并行软件 并行软 件与计 算科学 实验室 12.数值并行计算 曹建文 综合 李会元 徐进 龙国平 马菲菲 张常有 101.思想政治理论 201.英语一 301.数学一 408. 计 算 机 学 科 专 业 基 础

李明树 基础 软件 据库与知识库系统、云计算、 国家 基础软件与应用 工程 淮晓永 研究 综合 中心 14. 程 序 语 言 设 计 与 编 译 技 赵琛 芮建武 武延军 13. 高安全等级操作系统、数 丁治明 101.思想政治理论 201.英语一 301.数学一 408. 计 算 机 学 科 专 业 基 础

全国唯一专注考研一对一辅导机构术，软件测试方法和工具 薛云志 刘剑

18611841501

贺也平 15. 系统安全、可信计算与数 字取证 王永吉 丁丽萍 陆迤

吴健 孙乐 16.文本信息处理与信息检索 李文波 韩先培 马龙龙

学科 部门 专业 研究方向代码及名称 指导教师

预计招 考试科目代码及名称 生人数

互联 网软 件技 术实 计算机软件 与 理 论 黄涛 软件工 魏峻 程技术 研究开 金蓓弘 发中心 张文博 18.网络分布计算理论与技术 钟华 验室 17.软件知识工程 王青 张文 钟浩

101.思想政治理论 201.英语一 301.数学一 408. 计算机学科专业基础 综合

(081202)

101.思想政治理论 201.英语一 301.数学一 408. 计算机学科专业基础 综合

全国唯一专注考研一对一辅导机构吴国全 王伟 严俊 叶春扬

18611841501

计算 机科 学国 家重 点实 验室 02.信息可视化、可视分析 01.计算机图形学

吴恩华 王文成 陈彦云 刘学慧

101.思想政治理论 201.英语一 301.数学一 408. 计算机学科专业基础 综合

时磊

冯登国 吴

文玲 张振峰 可信计 计算机应用 技 术 算与信 息保障 实验室 03.可信计算与信息保障 苏璞睿 连一峰 张阳 张敏 综合 陈华 张立武 张斌 30 101.思想政治理论 201.英语一 301.数学一 408. 计算机学科专业基础

(081203)

人机 交互 技术 与智 能信息 处理实 验室 04.人机交互，实时智能

王宏安 田 丰 101.思想政治理论 201.英语一 301.数学一 408. 计算机学科专业基础 综合

王丹力 张凤军 滕东兴 马翠霞 陈 辉

全国唯一专注考研一对一辅导机构邓小明 乔 颖

18611841501

王永炎

胡晓惠 郑昌文 王浩 综合信 息系统 技术国 家级重 点实验 室 刘立祥 06.网络技术及应用 马恒太 邓 勇 05.信息处理与集成 吴凤鸽 徐帆江 赵军锁 吕品 窦竹梅 综合 101.思想政治理论 201.英语一 301.数学一 408. 计算机学科专业基础

学科 部门 专业 研究方向代码及名称 指导教师

预计招 考试科目代码及名称 生人数

计算 机科 学国 软件工程 (0835) 家重 点实 验室 综合 02.软件过程方法与技术 01.程序分析与软件测试 张健 张震宇 13 101.思想政治理论 201.英语一 301.数学一 408. 计 算 机 学 科 专 业 基 础

互联

李明树

全国唯一专注考研一对一辅导机构网软 件技 术实 验室 王青 李娟 杨秋松 杨达 肖俊超

18611841501

黄涛 钟华 软件工 程技术 研究开 发中心 03.分布式软件理论与技术 魏峻 金蓓弘 叶丹 徐罡 许舒人 乔晓强

工程硕士

学科 部门 专业 研究方向代码及名称 指导教师

预计招 考试科目代码及名称 生人数

李广元 吕毅 01.软件设计、验证及测试的 计算机 计算机技术 (085211) 科学国 家重点 实验室 王文成 02.虚拟现实与可视化技术 刘学慧 时磊 方法与技术 吴鹏 吴志林 张震宇 杨绍发 9

全国唯一专注考研一对一辅导机构

18611841501

苏璞睿 可信计 算与信 息保障 实验室 03.可信计算与信息保障 连一峰 张阳 张敏 陈华 张立武

并行软 件与计 算科学 实验室 04.并行软件设计与实现 杨超 王婷

学科 部门 专业 研究方向代码及名称 指导教师

预计招 考试科目代码及名称 生人数

人机 交互 技术 与智 能信息 计算机技术 (085211) 处理实 验室 05.交互式系统设计与开发 王宏安 田丰 王丹力 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综 合 综合信 息系统 技术国 06.信息与数字工程 张金芳 彭启民

全国唯一专注考研一对一辅导机构家级重 点实验 室

18611841501

互联 网软 件技 术实 软件工程 (085212) 软件工 程技术 研究开 发中心 03.中间件技术与系统 02.分布式软件系统工程 *左春 范国闯 张波 许舒人 验室 4 01.软件过程技术及应用 肖俊超 101.思想政治理论 204.英语二 302.数学二 408.计算

机学科专业基础综 合

1、所列计划为预计招生人数，实际招生计划以国家下达的为准； 2、标有*号的导师为软件所兼职导师； 备注 3、招生计划的70%左右用于接收推荐免试生； 4、10月25日左右将在软件所网页上的招生目录中标注各部门接受推免生情况； 5、计算机软件与理论专业可以从推免生中接收直接攻读博士学位研究生(即直博生) 。