1、中国科学院软件研究所 2017 年博士生招生专业目录 单位代码： 14430 院系所代码： 150 单位地址：北京市中关村南四街 4号 邮编 : 100190 联系部门：研究生部 联系人 :张欢 电话： 010 62661031 邮件地址： 工学博士 学科 专业 部门 研究方向代码及名称 指导 教师 预计招 生人数（直博生） 笔试 科目 备注 计算机软件与理论（081202） 计算机科学国家重点实验 室 01.结构信息论与网络空间计算理论 李昂生 5 202. 算法设计与分析 招硕博连读生 02. 数据挖掘与人工智能 沈一栋 202 算法设计与分析 或 204 计算机数学基础 招直博生 /
2、硕博连读生 03. 约束求解与自动推理 张健 202 算法设计与分析 或 204 计算机数学基础 招直博生 / 硕博连读生 04. 并发系统分析与验证 张文辉 205. 数理逻辑 招硕博连读生 05软件设计与分析方法 , 新型计算模型与应用 陈海明 202. 算法设计与分析 招硕博连读生 06. 嵌入式系统 形式设计 詹乃军 202. 算法设计与分析 或 205. 数理逻辑 招直博生 / 硕博连读生 07. 概率 模型验证与分析 张立军 204. 计算机数学基础 或 205. 数理逻辑 招直博生 / 硕博连读生 08.量子计算与软件形式化 应明生 202. 算法设计与分析 或 205. 数理逻
3、辑 并行软件与计算科学实验 室 09 数值并行算法与软件 杨 超 李会元 2 202 算法设计与分析 或 204 计算机数学基础 招直博生 1 名 基础软件国家工程研究中 心 10 新型操作系统及系统安全 李明树 贺 也平 武延军 6 202. 算法设计与分析 11 .软硬件深度融合 杨秋松 12 .海云计算模型 王永吉 13 .软件知识工程 赵琛 王青 201 软件工程基础 或 202. 算法设计与分析 软件工程技术研究中 心 14 网络分布计算理论与技术 黄涛 魏峻 金蓓弘 张文博 4 201 软件工程基础 其中直博生 1名 计算机应用技术（081203） 计算机科学国家重点实验 室 01
4、 计算机图形学与虚拟现实 王文成 3 202. 算法设计与分析 招直博生 /硕博连读生 02 视觉计算与计算机图形学 吴恩华 招直博生 人机交互技术实验室 03 人机交互，实时智能 王宏安 田丰 王丹力 马翠霞 2 202 算法设计与 分析 或 204 计算机数学 基础 硕博连读 1名，直博生 1名 天基综合信息系统重点实验室 04 智能信息处理 胡晓惠 郑昌文 徐帆江 * 2 202 算法设计与分析 或 204计算机数学基础 招硕博连读生、直博生 软件工程（0835） 计算机科学国家重点实验 室 01. 软件测试 张健 3 202. 算法设计与分析 招硕博连读生 02 大数据网络化原理与分析
5、 李昂生 201. 软件工程基础 招硕博连读生 基础软件国家工程研究中 心 03 .软件与系统工程 李明树 4 201. 软件工程基础 或 204 计算机数学基础 04 .软件开发与保障技术 王青 王永吉 05 .程序设计语言与编译技术 赵琛 06 .软件系统漏洞挖掘与安全 评估技术 贺也平 07 文本信息处理与信息检索 孙乐 202. 算法设计与分析 并行软件与计算科学实验 室 08 并行软件 杨 超 李会元 1 202 算法设计与分析 或 204 计算机数学基础 软件工程技术研究中 心 09 分布式软件理论与技术 黄涛 魏峻 钟华 叶丹 4 201 软件工程基础 其中直博生 1 名 可信计
6、算与信息保障实验 室 10 .软件安全 苏璞睿 1 201 软件工程基础 或 202 算法设计与分析 人机交互技术实验室 11 用户界面技术 王宏安 马翠霞 1 201 软件工程基础 或 202 算法设计与分析 天基综合信息系统重点实验室 12 复杂系统软件 胡晓惠 郑昌文 1 202 算法设计与分析 或 204 计算机数学基础 招 硕 博 连 读生、直博生 网络 空间 安全（ 0839） 可信计算与信息保障实验 室 01. 密码学与安全协议 张振峰 吴文玲 徐 静 张 斌 5 202 算法设计与分析 或 205 密码学 招直博生 02. 网络与系统安全 冯登国 * 苏璞睿 连一峰 张立武 （仅限少数民族 高层次骨干 专项计划 招考 ） 专业学科 部门及指导教师 招生人数 笔试科目 备注 计算机软件与理论（081202） 并行软件与计算科学实验室 杨 超 李会元 基础软件国家工程研究中心 贺也平 1001英语 201 软件工程基础或 202算法设计与分析 301 计算机综合 计算机应用 技术（081203） 计算机科学国家重点实验室 吴恩华 软件工程（0835） 基础软件国家工程研究中心 王青 孙乐 可信计算与信息保障实验室 苏璞睿 网络空间 安全（0839） 可信计算与信息保障实验室 张振峰 注： 带 *，为兼职 导师
