|
学科
专业 |
实验室
(中心) |
研究方向 |
指导教师 |
招生人数 |
考试科目代码、名称 |
|
计算机软件与理论（081202） |
计算
机科
学国
家重
点实
验室 |
01.并发理论与应用 |
林惠民 院 士 |
1 |
101. 英语
201. 软件工程和方法学
301. 计算机科学基础 |
|
02.自动推理与程序分析 |
张 健 研究员 |
3 |
（只招收硕博连读生） |
|
03.并发程序理论基础 |
柳欣欣 研究员 |
1 |
（只招收硕博连读生） |
|
04.形式化方法 |
张文辉 研究员 |
2 |
101. 英语
202. 算法设计与分析
301. 计算机科学基础 |
|
05.数据挖掘，形式化方法 |
沈一栋 研究员 |
1 |
（只招收硕博连读生） |
|
06.计算理论 |
李昂生 研究员 |
2 |
101. 英语
202. 算法设计与分析
303. 计算复杂性和可计算性 |
|
基础
软件
研究
中心 |
07.可信软件过程技术 |
李明树 研究员 |
1 |
101. 英语
201. 软件工程和方法学
302. 人工智能原理 |
|
08.基础软件安全技术 |
贺也平 研究员 |
3 |
101. 英语
202. 算法设计与分析
307. 信息和网络安全 |
|
9.实时操作系统 |
王永吉 研究员 |
1 |
101. 英语
202. 算法设计与分析
302. 人工智能原理 |
|
10.编译技术 |
赵 琛 研究员 |
1 |
|
互联
网软
件技
术实
验室 |
11.软件过程方法与技术 |
李明树 研究员 |
3 |
101. 英语
201. 软件工程和方法学
302. 人工智能原理 |
|
王青 研究员 |
1 |
|
13.实时系统/智能软件工程 |
王永吉 研究员 |
3 |
101. 英语
201. 软件工程和方法学
302. 人工智能原理 |
|
软件
工程
中心 |
14.软件工程、网络分布计算 |
黄涛 研究员 |
4 |
101. 英语
201. 软件工程和方法学
304. 计算机算法和程序设计 |
|
计算机应用技术（081203） |
计算
机科
学国
家重
点实
验室 |
01.计算机图形学 |
吴恩华研究员 |
2 |
101. 英语
202. 算法设计与分析
305. 计算机图形学 |
|
王文成研究员 |
1 |
|
人机
交互
技术
实验
室 |
02.人机交互技术、软件工程 |
戴国忠研究员 |
3 |
101. 英语
201. 软件工程和方法学
302. 人工智能原理 |
|
王宏安研究员 |
3 |
|
通用
软件
联合
实验
室 |
03.并行处理、数字化 |
范植华研究员 |
2 |
101. 英语
201. 软件工程和方法学
310. 并行程序设计 |
|
04.综合信息系统控制与集成 |
李磊 研究员 |
3 |
|
信息安全（081220） |
信息
安全
国家
重点
验室 |
01.网络与系统安全 |
冯登国研究员 |
5 |
101. 英语
202. 算法设计与分析
309. 网络安全 |
|
02.密码学与安全协议 |
林东岱研究员 |
2 |
101. 英语
203. 密码学
308 .代数与编码 |
|
武传坤研究员 |
2 |
|
吴文玲研究员 |
1 |
|
备
注 |
1、 招生计划数含硕博连读及提前攻博人数；
2、 研究生部联系电话：010―62561196 联系人：李老师、安老师；
3、E-mail地址：yali@admin.iscas.ac.cn ； 传真号：010――62652420；
4、软件所网址为：http://www.ios.ac.cn ，考生可上网查询招生导师简介、方向介绍等信息。 |
