招生信息
..
中国科学院软件研究所2011年博士招生专业目录
时间:2010-08-25

招生单位代码:80001    院系所代码:150  
单位地址:北京市中关村南四街4号   邮编: 100190
联系部门:研究生部   电话:010-62661031   
邮件地址:
yali@iscas.ac.cn   联系人:安老师

 


学科
专业

部门

研究方向

指导教师

预计
招生人数

考试科目代码、名称

计算机软件与理论(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导师与所内合作导师联合招生。