|
学科
专业 |
部门 |
研究方向 |
指导教师 |
预计招生人数 |
考试科目代码、名称 |
|
计算机软件与理论 |
计算
机科
学国
家重
点实
验室 |
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.分布式系统设计 |
