实验室中心

研究方向

指导教师

招生
人数

考试科目代码、名称

计算
机科
学国
家重
点实
验室

01.并发理论与模型检测

2

（只招硕博连读生）

02.软件测试与程序分析

张健研究员

1

03.形式化方法

张文辉研究员

2

（只招硕博连读生）

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

沈一栋研究员

1

（只招硕博连读生）

05.新型计算模型与应用

陈海明研究员

1

（只招硕博连读生）

06.计算理论

2

（只招硕博连读生）

07.程序设计基础

1

101.英语 

796.算法设计与分析 

798.计算机科学基础

08.Petri网理论与应用

焦莉研究员

1

（只招硕博连读生）

09.并行算法与并行软件

张云泉研究员

曹建文研究员

2

101.英语 

796.算法设计与分析 

805.网络与通信原理

基础

软件

国家

工程

研究

中心

10.可信软件过程技术

李明树 研究员

1

101.英语 

795.软件工程和方法学

799.人工智能原理

11.可信计算与系统安全

贺也平 研究员

丁治明 研究员

3

101.英语

796.算法设计与分析

802.信息和网络安全

12.实时系统

王永吉 研究员

1

101.英语

796.算法设计与分析

799.人工智能原理

13.编译技术

赵 琛 研究员

1

14.中文信息处理

赵 琛 研究员

孙 乐、吴健

1

101.英语

796.算法设计与分析

806.中文信息处理基础

互联

网软

件技

术实

验室

15.软件过程技术与方法

李明树 研究员

王 青 研究员

王永吉 研究员

赵 琛研究员

2

2

1

1

101.英语 

795.软件工程和方法学

799.人工智能原理

软件

工程

技术

研究

开发

中心

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

黄  涛 研S员

魏  峻研究员

4

101.英语

795.软件工程和方法学

800.计算机算法和程序设计

计算

机科

学国

家重

点实

验室

01.计算机图形学

吴恩华 研究员

王文成 研究员

3

1

101.英语

796.算法设计与分析

801.计算机图形学

吴恩华 研究员

*徐迎庆研究员

人机

交互

技术

与智

能信

息处

理实

验室

02.人机交互技术、软件工程

戴国忠 研究员

王宏安 研究员

2

1

101.英语 

795.软件工程和方法学 

799.人工智能原理

综合

信息

系统

技术

国家

重点

实验

室

03.信息系统集成与仿真

胡晓惠 研究员

2

101.英语 

795.软件工程和方法学

805.网络与通信原理

信息

安全

国家

重点

实验

室

01.网络与系统安全

冯登国 研究员

孙利民研究员

4

1

101.英语

796.算法设计与分析 

804.网络安全

02.密码学与安全协议

林东岱研究员

武传坤研究员

吴文玲研究员

王明生研究员

2

2

2

1

101.英语

797.  密码学

803 .代数与编码

1、 招生计划数含硕博连读及提前攻博人数；

2、 研究生部联系电话：010－62561196；联系人：李老师、安老师；

3、 E-mail：yali@iscas.ac.cn；  传真：010－62661031；

4、 软件所网址为：http//www.iscas.ac.cn,考生可上网查询招生导师简介、方向介绍等信息

5、 招生指标最终以国家下达的指标数为准。

6、 标有 * 号的导师为软件所兼职导师。