實驗室中心

研究方向

指導教師

招生
人數

考試科目代碼、名稱

計算
機科
學國
家重
點實
驗室

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.tl-114.com, 考生可上網查詢招生導師簡介、方向介紹等信息

5、  招生指標最終以國家下達的指標數為準。

6、 標有 * 號的導師為軟件所兼職導師。