| 学科专业 |
部门 |
研究方向 |
指导教师 |
预计招生人数 |
考试科目代码、名称 |
计算机软件与理论（081202） |
计算
机科
学国
家重
点实
验室 |
01.并发理论与模型检测 |
林惠民 院 士 |
6 |
101英语
202.算法设计与分析
205.数理逻辑
（202、205任选一门）
302.程序语言理论 |
02.网络与并发实时系统理论和方法 |
张文辉 研究员 |
101.英语
202.算法设计与分析
302.程序语言理论 |
03.数据挖掘及语义web |
沈一栋 研究员 |
（只招硕博连读生） |
04.程序理论与方法 |
蒋 颖 研究员 |
（只招硕博连读生） |
05.新型计算模型与应用 |
陈海明 研究员 |
101.英语
202.. 算法设计与分析
302 . 程序语言理论 |
06.Petri网理论与应用 |
焦 莉 研究员 |
101. 英语
202. 算法设计与分析
205. 数理逻辑
（202、205任选一门）
302. 程序语言理论
303.计算理论基础
（302、303任选一门） |
07.程序理论与验证技术 |
詹乃军 研究员 |
101.英语
201.软件工程基础
205.数理逻辑
（201、205任选一门）
302.程序语言理论
303.计算理论基础
309.实时系统
(302、303、309任选一门) |
08.面向网络的计算理论 |
李昂生 研究员 |
101. 英语
202. 算法设计与分析
303. 计算理论基础 |
09.形式化方法和可信软件 |
林惠民 *邵 中 |
101.英语
202.算法设计与分析
205.数理逻辑
（202、205任选一门）
302.程序语言理论 |
并行
软件
与计
算科
学实
验室 |
10.并行算法与并行软件 |
张云泉 研究员 |
2 |
101.英语
201.软件工程基础
202.算法设计与分析
（201、202任选一门）
306.操作系统与数据库
311.分布式系统设计
312.高级计算机网络
（306、311、312任选一门） |
并行
软件
与计
算科
学实
验室 |
11.数值并行计算 |
曹建文 研究员 |
|
101.英语
204.计算机数学基础
303.计算理论基础 |
李会元 研究员 |
|
101.英语
202.算法设计与分析
204.计算机数学基础
（202、204任选一门）
306.操作系统与数据库
311.分布式系统设计
312高级计算机网络
（306、311、312任选一门） |
基础
软件
国家
工程
研究
中心 |
12.可信软件过程技术 |
李明树 研究员 |
6 |
101.英语
202.算法设计与分析
205.数理逻辑
（202、205任选一门）
310.高级软件工程 |
13.程序语言设计与编译技术, 可信计算与基础软件 |
赵 琛 研究员 |
101. 英语
202 算法设计与分析
205.数理逻辑
（202、205任选一门）
302.程序语言理论
306操作系统与数据库
（302、306任选一门） |
14.可信计算与系统安全 |
贺也平 研究员 |
101.英语
202.算法设计与分析
306.操作系统与数据库
307.系统与网络安全
（306、307任选一门） |
15.数据库与知识库系统 |
丁治明 研究员 |
101.英语
201.软件工程基础
202.算法设计与分析
（201、202任选一门）
306.操作系统与数据库 |
16.操作系统，隐蔽信道 |
王永吉 研究员 |
101.英语
202.算法设计与分析
204.计算机数学基础
(202、204任选一门)
306.操作系统与数据库
313.数字通信
（306、313任选一门） |
互联
网软
件技
术实
验室 |
17.软件过程方法与技术，经验软件工程 |
李明树 研究员
王 青 研究员 |
4 |
101. 英语
202.算法设计与分析
205.数理逻辑
（202、205任选一门）
310..高级软件工程 |
18.软件过程方法与技术 |
王永吉 研究员 |
软件
工程
技术
研究
中心 |
19.网络分布计算与软件工程 |
黄 涛 研究员
魏 峻 研究员
钟 华 研究员
金蓓弘 研究员 |
6 |
101.英语
201. 软件工程基础
202.算法设计与分析
（201、202任选一门）
311. 分布式系统设计 |
计算机应用技术（081203） |
计算机科学国
家重点实验室 |
01.计算机图形学 |
吴恩华 研究员
王文成 研究员
吴恩华*徐迎庆
陈彦云 研究员 |
3 |
101.英语
202.算法设计与分析
301.计算机图形学 |
人机
交互
技术
和智
能信
息处
理实
验室 |
02.人机交互技术 |
王宏安 研究员 |
2 |
101.英语
202.算法设计与分析
204.计算机数学基础
（202、204任选一门）
308.人机交互
309.实时系统
314.人工智能原理
（308、309、314任选一门） |
田 丰 研究员 |
101.英语
202.算法设计与分析
308.人机交互 |
综合
信息
系统
技术
国家
级重
点实
验室 |
03. 信息处理与集成 |
胡晓惠 研究员
李 磊 研究员
郑昌文 研究员 |
3 |
101.英语
202.算法设计与分析
204.计算机数学基础
（202、204任选一门）
312.高级计算机网络
313.数字通信
314.人工智能原理
（312、313、314任选一门） |
★ 信息安全（081220） |
信息
安全
国家
重点
实验
室 |
01.网络与系统安全 |
冯登国 研究员 |
11 |
101.英语
202.算法设计与分析?
203.密码学
（202与203任选一门）
304. 网络安全 |
02.密码学与安全协议 |
林东岱 研究员
武传坤 研究员
吴文玲 研究员
王明生 研究员
张振峰 研究员 |
101.英语
203.密码学
305.有限域 |
薛 锐 研究员 |
101.英语
203.密码学
205.数理逻辑
（202、205任选一门）
303.计算理论基础
305. 有限域
（303、305任选一门） |
03.计算机网络与多媒体技术 |
孙利民 研究员 |
101.英语
201.软件工程基础
202.算法设计与分析
（201、202任选一门）
312.高级计算机网络 |
04.现代密码学及其应用 |
冯登国 研究员
林东岱 研究员
吴文玲 研究员
王明生 研究员
张振峰 研究员 |
5 |
101.英语
203.密码学
305.有限域 |
备? 注 |
1.预计招生计划数中约有一半用于招收硕博连读生和提前攻博的学生；
2.招生计划数最终以国家下达的为准；
3.标有*号的导师为兼职博导，兼职导师均作为第2导师与所内合作导师联合招生 |
