部門

研究方向

指導教師

預計
招生人數

考試科目代碼、名稱

計算機軟件與理論（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導師與所內合作導師聯合招生。