中国科学院软件研究所2014年博士生招生专业目录
单位代码：80001 院系所代码：150 单位地址：北京市中关村南四街4号 邮编: 100190
联系部门：研究生部 联系人:王璇 电话：010－62661030 邮件地址：wangxuan@iscas.ac.cn
|
学科
专业
|
部门
|
研究方向
|
指导教师
|
预计
招生人数
|
考试科目代码、名称
|
|
计算机软件与理论（081202）
|
计算
机科
学国
家重
点实
验室
|
01. 并发理论，模型检测，形式化方法
|
林惠民
焦 莉
柳 欣 欣
|
21
|
1001.英语一
2202.算法设计与分析
2205.数理逻辑
（2202、2205任选一门）
3302.程序语言理论
|
|
02.自动推理与约束求解
|
张 健
|
1001.英语一
2202.算法设计与分析
2205.数理逻辑
（2202、2205任选一门）
3314.人工智能原理
|
|||
|
03.网络与并发实时系统理论和方法
|
张文辉
|
只招硕博连读生
|
|||
|
04. 数据挖掘与语义web，形式化方法
|
沈一栋
|
只招硕博连读或直博生
|
|||
|
05新型计算模型与应用
|
陈海明
|
1101.英语一
2202.算法设计与分析
3302.程序语言理论
3303.计算理论基础
（3302、3303任选一门）
|
|||
|
06. 信息物理融合系统CPS
|
詹乃军
|
1101.英语一
2201.软件工程基础
2205.数理逻辑
（2201、2205任选一门）
3302.程序语言理论
3303.计算理论基础
3309.实时系统
（3302、3303、3309任选一门)
|
|||
|
07.概率并发系统的构模与检验
|
张立军
|
（只招直博生）
|
|||
|
08. 网络算法与网络信息
|
李昂生
|
1101.英语一
2202.算法设计与分析
3303.计算理论基础
|
|||
|
并行
软件
与计
算科
学实
验室
|
09.数值并行计算
|
曹建文
徐 进
|
1001.英语一
2204.计算机数学基础
3303.计算理论基础
|
||
|
李会元
|
1001.英语一
2202.算法设计与分析
2204.计算机数学基础
（2202、2204任选一门）
3306.操作系统与数据库
3311.分布式系统设计
3312高级计算机网络
（3306、3311、3312任选一门）
|
||||
|
互联
网软
件技
术实
验室
|
10.软件知识工程
|
李明树
王 青
|
1001. 英语一
2202.算法设计与分析
2204. 计算机数学基础
（2202、2204任选一门）
3310..高级软件工程
3314.人工智能原理
（3310、3314任选一门）
|
||
|
计算机软件与理论（081202）
|
基础
软件
国家
工程
研究
中心
|
11. 高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用
|
李明树
|
1001.英语一
2202.算法设计与分析
2205.数理逻辑
（2202、2205任选一门）
3310.高级软件工程
|
|
|
丁治明
|
1001.英语一
2201.软件工程基础
2202.算法设计与分析
（2201、2202任选一门）
3306.操作系统与数据库
|
||||
|
武延军
|
1001.英语一
2201.软件工程基础
2202.算法设计与分析
（2201、2202任选一门）
3306.操作系统与数据库
|
||||
|
12. 程序语言设计与编译技术，软件测试方法和工具
|
赵 琛
|
1001. 英语一
2202 算法设计与分析
2205.数理逻辑
（2202、2205任选一门）
3302.程序语言理论
3306操作系统与数据库
（3302、3306任选一门）
|
|||
|
13. 系统安全、可信计算与数字取证
|
贺也平
|
1001.英语一
2202.算法设计与分析
3306.操作系统与数据库
3307.系统与网络安全
（3306、3307任选一门）
|
|||
|
王永吉
|
1001.英语一
2202.算法设计与分析
2204.计算机数学基础
(2202、2204任选一门)
3306.操作系统与数据库
3313.数字通信
（3306、3313任选一门）
|
||||
|
丁丽萍
|
1001.英语一
2202.算法设计与分析
2204.计算机数学基础
(2202、2204任选一门)
3307.系统与网络安全
3313.数字通信
（3307、3313任选一门）
|
||||
|
14. 文本信息处理与信息检索
|
孙 乐
|
1001. 英语一
2202. 算法设计与分析
3314.人工智能原理
|
|||
|
工程
技术
研究
中心
|
15.网络分布计算理论与技术
|
黄 涛
魏 峻
钟 华
金蓓弘
|
1001. 英语一
2201. 软件工程基础
2202.算法设计与分析
（2201、2202任选一门）
3311. 分布式系统设计
|
||
|
计算机应用技术（081203）
|
计算
机科
学国
家重
点实
验室
|
01.基于物理的场景时变仿真
|
吴恩华
|
10
|
1001. 英语一
2202. 算法设计与分析
3301.计算机图形学
|
|
02.计算机图形学
|
王文成
陈彦云
|
||||
|
人机
交互
技术
实验
室
|
03人机交互技术，实时智能
|
王宏安
田 丰
王丹力
|
1001.英语一
2202. 算法设计与分析
2204. 计算机数学基础
（2202、2204任选一门）
3308.人机交互
3309 实时系统
（3308、3309任选一门）
|
||
|
综合
信息
系统
技术
国家
级重
点实
验室
|
04. 信息处理与集成
|
胡晓惠
郑昌文
徐帆江
*李 磊
|
1001.英语一
2202.算法设计与分析
2204.计算机数学基础
（2202、2204任选一门）
3312.高级计算机网络
3313.数字通信
3314.人工智能原理
（3312、3313、3314任选一门）
|
||
|
可信
计算
与信
息保
障实
验室
|
05.可信计算与信息保障
|
*冯登国
吴文玲
张振峰
|
1001. 英语一
2202. 算法设计与分析
2203. 密码学
3304. 网络安全
3305. 有限域
（1001、2202、3304，1001、2203、3305，两种组合任选一）
|
||
|
软件工程（0835）
|
计算
机科
学国
家重
点实
验室
|
01.程序分析与软件测试
|
张 健
|
7
|
1101.英语一
2201.软件工程基础
2202.算法设计与分析
（2201、2202任选一门）
3302.程序语言理论
3314.人工智能原理
（3302、3304任选一门）
|
|
互联网软件技术实验室
|
02.软件与系统工程
|
李明树
王 青
王永吉
|
1001. 英语一
2202. 算法设计与分析
2204. 计算机数学基础
（2202、2204任选一门）
3310.高级软件工程
3314.人工智能原理
（3310、3314任选一门）
|
||
|
软件
工程
技术
研究
中心
|
03.分布式软件理论与技术
|
黄 涛
魏 峻
钟 华
金蓓弘
|
1001. 英语一
2201. 软件工程基础
2202. 算法设计与分析
（2201、2202任选一门）
3311. 分布式系统设计
|
||
|
**电子与信息(08527)
|
软件
工程
技术
研究
中心
|
01.分布式软件系统工程
|
黄 涛
钟 华
|
4
|
1005.英语二
2201. 软件工程基础
2202. 算法设计与分析
（2201、2202任选一门）
3311. 分布式系统设计
|
|
人机交互技术实验室
|
02.交互式系统开发方法
|
王宏安
田 丰
|
1005.英语二
2202. 算法设计与分析
2204. 计算机数学基础
（2202、2204任选一门）
3308.人机交互
3309 实时系统
（3308、3309任选一门）
|
||
|
基础软件国家工程
研究中心
|
03.系统安全，可信计算与数字取证
|
丁丽萍
|
1005.英语二
2202.算法设计与分析
2204.计算机数学基础
（2202、2204任选一门）
3307.系统与网络安全 或
3313.数字通信
（3307、3313任选一门）
|
||
|
备 注
|
1.学术型博士招生计划的约70%用于接收硕博连读生和直博生；
2.学术型博士招生计划中包含10个与北京交通大学联合培养博士生专项计划；
3.标有*号的导师为兼职博导，兼职导师均作为第二导师与所内合作导师联合招生；
4.标有**号的招生专业领域招收的为工程博士，工程博士需缴纳培养费；
5.招生计划数最终以国家下达的为准。
|
||||
