计算机软件与理论

计算

机科

学国

家重

点实

验室

01.并发理论与模型检测

林惠民　院士

7

101.英语 

202.算法设计与分析

205.数理逻辑

（202、205任选一门）

302.程序语言理论

02.形式化方法

张文辉研究员

101.英语

202.算法设计与分析

302.程序语言理论

03.数据挖掘，形式化方法

沈一栋 研究员

101.英语

202.算法设计与分析

205.数理逻辑

（202、205任选一门）

302.程序语言理论

303.计算理论基础

314.人工智能原理

（302、303、314任选一门）

04.新型计算模型与应用

陈海明 研究员

101.英语

202.算法设计与分析

302.程序语言理论

05.程序设计基础理论

蒋颖 研究员

（只招硕博连读生）

06.Petri网理论与应用

焦 莉 研究员

101.英语

202.算法设计与分析

205.数理逻辑

(202、205任选一门)

302.程序语言理论

303.计算理论基础

(302、303任选一门)

07.实时和混成系统及程序验证

詹乃军 研究员

101.英语

204.计算机数学基础

205.数理逻辑

（204、205任选一门）

302.程序语言理论

303.计算理论基础

311.分布式系统设计

(302、303、311任选一门)

08.计算理论

李昂生 研究员

李昂生*蔡进一

李昂生*钱玉麟

101.英语 

205.数理逻辑

303.计算理论基础

09.形式化方法和可信软件

林惠民  *邵 中

101.英语 

202.算法设计与分析

205.数理逻辑

（202、205任选一门）

302.程序语言理论

10.并行算法与并行软件

张云泉 研究员

101.英语

202.算法设计与分析

205.数理逻辑

（202、205任选一门）

306.操作系统与数据库

311.分布式系统设计

312.高级计算机网络

（306、311、312任选一门）

学科

专业

部门

研究方向

指导教师

预计招生人数

考试科目代码、名称

计算机软件与理论

计算

机科

学国

家重

点实

验室

11.应用领域的高效并行计算研究

曹建文 研究员

曹建文*蔡小川

101.英语

202.算法设计与分析

204.计算机数学基础

（202、204任选一门）

311.分布式系统设计

312.高级计算机网络

（311、312任选一门）

基础

软件

研究

中心

12.可信软件过程技术

李明树研究员

6

101.英语

201.软件工程基础

202.算法设计与分析

（201、202任选一门）

306.操作系统与数据库

307.系统与网络安全

312.高级计算机网络

（306、307、312任选一门）

13.可信计算与系统安全

贺也平 研究员

101.英语

202.算法设计与分析

203.密码学

（202、203任选一门）

306.操作系统与数据库

307.系统与网络安全

（306、307任选一门）

14.数据库与知识库系统

丁治明 研究员

101.英语

201.软件工程基础

202.算法设计与分析

（201、202任选一门）

306.操作系统与数据库

311.分布式系统设计

313.数字通信

（306、311、313任选一门）

15.实时系统，信道安全

王永吉 研究员

101.英语

202.算法设计与分析

203.密码学

（202、203任选一门）

306.操作系统与数据库

307.系统与网络安全

309.实时系统

（306、307、309任选一门）

16.编译技术

赵琛研究员

101.英语

202.算法设计与分析

205.数理逻辑

（202、205任选一门）

302.程序语言理论

303.计算理论基础

306.操作系统与数据库

（302、303、306任选一门）

互联

网软

件技

术实

验室

17.软件过程技术与方法

李明树 研究员

王 青　研究员

4

101.英语 

202.算法设计与分析

205.数理逻辑

（202、205任选一门）

310.高级软件工程

18.软件工程

王永吉 研究员

19.软件测试方法与技术

赵琛 研究员

软件

工程

技术

研究

中心

20.网络分布计算和软件工程

黄涛 研究员

魏峻 研究员

钟 华 研究员

金蓓弘研究员

5

101.英语

201.软件工程基础

311.分布式系统设计

学科专业

部门

研究方向

指导教师

预计招生人数

考试科目代码、名称

计算机应用技术

计算

机科

学国

家重

点实

验室

01.计算机图形学

吴恩华 研究员

吴恩华*徐迎庆

3

101.英语

202.算法设计与分析

301.计算机图形学

02.虚拟现实与可视化

王文成 研究员

人机

交互

技术

实验

室

03.人机交互

戴国忠 研究员

2

101.英语 

202.算法设计与分析

204.计算机科学基础

（202、204任选一门）

308.人机交互

309.实时系统

314.人工智能原理

（308、309、314任选一门）

04.人机交互、实时智能

王宏安 研究员

综合

信息

系统

技术

国家

级重

点实

验室

05.信息处理集成

胡晓惠 研究员

2

101.英语 

202.算法设计与分析

204.计算机科学基础

（202、204任选一门）

312.高级计算机网络

313.数字通信

314.人工智能原理

（312、313、314任选一门）

★信息安全

信息

安全

国家

重点

实验

室

01.网络与系统安全

冯登国 研究员

11

101.英语

202.算法设计与分析 

203.密码学

（202、203任选一门）

304.网络安全

02.密码学与安全协议

林东岱 研究员

武传坤 研究员

吴文玲 研究员

王明生 研究员

薛锐  　　 研究员

101.英语

202.密码学

305.有限域

03.计算机网络与多媒体技术

孙利民　研究员

101.英语

202.算法设计与分析 

312.高级计算机网络

04.现代密码学及其应用

冯登国 研究员

林东岱 研究员

吴文玲 研究员

5

101.英语

202.密码学

305.有限域

备注

1．招生计划数中约有一半用于招收硕博连读生和提前攻博的学生；

2．招生计划数最终以国家下达的为准；

3．标有*号的导师为兼职博导。兼职导师需作为第2导师与所内合作导师联合招生。