計算機軟件與理論

計算

機科

學國

家重

點實

驗室

01.并發理論與模型檢測

林惠民　院　 士

7

101.英語 

202.算法設計與分析

205.數理邏輯

（202、205任選一門）

302.程序語言理論

02.形式化方法

張文輝 　研究員

101.英語

202.算法設計與分析

302.程序語言理論

03.數據挖掘，形式化方法

沈一棟  研究員

101.英語

202.算法設計與分析

205.數理邏輯

（202、205任選一門）

302.程序語言理論

303.計算理論基礎

314.人工智能原理

（302、303、314任選一門）

04.新型計算模型與應用

陳海明  研究員

101. 英語

202. 算法設計與分析

302. 程序語言理論

05.程序設計基礎理論

蔣 　穎  研究員

（只招碩博連讀生）

06.Petri網理論與應用

焦  莉  研究員

101.英語

202.算法設計與分析

205.數理邏輯

(202、205任選一門)

302.程序語言理論

303.計算理論基礎

(302、303任選一門)

07.實時和混成系統及程序驗證

詹乃軍　  研究員

101.英語

204.計算機數學基礎

205.數理邏輯

（204、205任選一門）

302.程序語言理論

303.計算理論基礎

311.分布式系統設計

(302、303、311任選一門)

08.計算理論

李昂生  研究員

李昂生*蔡進一

李昂生*錢玉麟

101.英語 

205.數理邏輯

303.計算理論基礎

09.形式化方法和可信軟件

林惠民  *邵　  中

101.英語 

202.算法設計與分析

205.數理邏輯

（202、205任選一門）

302.程序語言理論

10.并行算法與并行軟件

張云泉  研究員

101. 英語

202. 算法設計與分析

205. 數理邏輯

（202、205任選一門）

306. 操作系統與數據庫

311. 分布式系統設計

312. 高級計算機網絡

（306、311、312任選一門）

學科

專業

部門

研究方向

指導教師

預計招生人數

考試科目代碼、名稱

計算機軟件與理論

計算

機科

學國

家重

點實

驗室

11.應用領域的高效并行計算研究

曹建文  研究員

曹建文 *蔡小川

101.英語

202.算法設計與分析

204.計算機數學基礎

（202、204任選一門）

311.分布式系統設計

312.高級計算機網絡

（311、312任選一門）

基礎

軟件

研究

中心

12.可信軟件過程技術

李明樹　 研究員

6

101.英語

201.軟件工程基礎

202.算法設計與分析

（201、202任選一門）

306.操作系統與數據庫

307.系統與網絡安全

312.高級計算機網絡

（306、307、312任選一門）

13.可信計算與系統安全

賀也平  研究員

101.英語

202.算法設計與分析

203.密碼學

（202、203任選一門）

306.操作系統與數據庫

307.系統與網絡安全

（306、307任選一門）

14.數據庫與知識庫系統

丁治明  研究員

101.英語

201.軟件工程基礎

202.算法設計與分析

（201、202任選一門）

306.操作系統與數據庫

311.分布式系統設計

313.數字通信

（306、311、313任選一門）

15.實時系統，信道安全

王永吉  研究員

101.英語

202.算法設計與分析

203.密碼學

（202、203任選一門）

306.操作系統與數據庫

307.系統與網絡安全

309.實時系統

（306、307、309任選一門）

16.編譯技術

趙琛 　研究員

101.英語

202.算法設計與分析

205.數理邏輯

（202、205任選一門）

302.程序語言理論

303.計算理論基礎

306.操作系統與數據庫

（302、303、306任選一門）

互聯

網軟

件技

術實

驗室

17.軟件過程技術與方法

李明樹  研究員

王　  青　研究員

4

101.英語 

202.算法設計與分析

205.數理邏輯

（202、205任選一門）

310.高級軟件工程

18.軟件工程

王永吉  研究員

19.軟件測試方法與技術

趙琛  　研究員

軟件

工程

技術

研究

中心

20.網絡分布計算和軟件工程

黃 濤　  研究員

魏 峻　  研究員

鐘  華　  研究員

金蓓弘 研究員

5

101.英語

201.軟件工程基礎

311.分布式系統設計

學科專業

部門

研究方向

指導教師

預計招生人數

考試科目代碼、名稱

計算機應用技術

計算

機科

學國

家重

點實

驗室

01.計算機圖形學

吳恩華　  研究員

吳恩華 *徐迎慶

3

101.英語

202.算法設計與分析

301.計算機圖形學

02.虛擬現實與可視化

王文成  研究員

人機

交互

技術

實驗

室

03.人機交互

戴國忠  研究員

2

101.英語 

202.算法設計與分析

204.計算機科學基礎

（202、204任選一門）

308.人機交互

309.實時系統

314.人工智能原理

（308、309、314任選一門）

04.人機交互、實時智能

王宏安  研究員

綜合

信息

系統

技術

國家

級重

點實

驗室

05. 信息處理集成

胡曉惠　  研究員

2

101.英語 

202.算法設計與分析

204.計算機科學基礎

（202、204任選一門）

312.高級計算機網絡

313.數字通信

314.人工智能原理

（312、313、314任選一門）

★ 信息安全

信息

安全

國家

重點

實驗

室

01.網絡與系統安全

馮登國  研究員

11

101.英語

202.算法設計與分析 

203.密碼學

（202、203任選一門）

304.網絡安全

02.密碼學與安全協議

林東岱　  研究員

武傳坤　  研究員

吳文玲　  研究員

王明生　  研究員

薛銳  　　 研究員

101.英語

202.密碼學

305.有限域

03.計算機網絡與多媒體技術

孫利民　研究員

101.英語

202.算法設計與分析  

312.高級計算機網絡

04. 現代密碼學及其應用

馮登國  研究員

林東岱  研究員

吳文玲  研究員

5

101.英語

202.密碼學

305.有限域

備 注

1．招生計劃數中約有一半用于招收碩博連讀生和提前攻博的學生；

2．招生計劃數最終以國家下達的為準；

3．標有*號的導師為兼職博導。兼職導師需作為第2導師與所內合作導師聯合招生。