學(xué)科
專業(yè)

預(yù)計招
生人數(shù)

計算機軟件與理論（081202）

　　計算機科學(xué)國家重點實驗室

01.網(wǎng)絡(luò)與并發(fā)實時系統(tǒng)的設(shè)計與分析

林惠民
焦 莉
李廣元
呂 毅
吳 鵬

36

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

02.概率并發(fā)系統(tǒng)的建模與檢驗

張立軍

03.多核并發(fā)系統(tǒng)的設(shè)計與驗證

張 昱

04.并發(fā)理論和形式化方法

柳欣欣

05.硬件系統(tǒng)的形式化驗證

李勇堅

06.軟件設(shè)計、分析與驗證

陳海明
楊紹發(fā)
吳志林

07.數(shù)據(jù)挖掘與語義web

沈一棟

08.自動推理與約束求解

張 健

09.信息物理融合系統(tǒng)CPS

詹乃軍

10.網(wǎng)絡(luò)算法及其應(yīng)用

李昂生

并行軟件與計算科學(xué)實驗室

11.并行算法與并行軟件

李玉成
龍國平
馬菲菲
張常有

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

12.數(shù)值并行計算

曹建文
李會元
徐 進(jìn)

基礎(chǔ)
軟件
國家
工程
研究
中心

13.高安全等級操作系統(tǒng)、數(shù)據(jù)庫與知識庫系統(tǒng)、云計算、基礎(chǔ)軟件與應(yīng)用

李明樹
丁治明
武延軍
芮建武
淮曉永

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

14.程序語言設(shè)計與編譯技術(shù)，軟件測試方法和工具

趙 琛
薛云志
劉 劍

15.系統(tǒng)安全、可信計算與數(shù)字取證

賀也平
王永吉
丁麗萍
陸 迤

16.文本信息處理與信息檢索

吳 健
孫 樂
李文波
韓先培
馬龍龍

學(xué)科
專業(yè)

預(yù)計招
生人數(shù)

互聯(lián)
網(wǎng)軟
件技
術(shù)實
驗室

17.軟件知識工程

王 青
張 文
鐘 浩

 

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

軟件工程技術(shù)研究開發(fā)中心

18.網(wǎng)絡(luò)分布計算理論與技術(shù)

黃 濤
魏 峻
鐘 華
金蓓弘
張文博
吳國全
王 偉
嚴(yán) 俊
葉春揚

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

計算機應(yīng)用技術(shù)（081203）

計算
機科
學(xué)國
家重
點實
驗室

01.計算機圖形學(xué)

吳恩華
王文成
陳彥云
劉學(xué)慧

30

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

02.信息可視化、可視分析

時 磊

可信計算與信息保障實驗室

03.可信計算與信息保障

馮登國
吳文玲
張振峰
蘇璞睿
連一峰
張 陽
張 敏
陳 華
張立武
張 斌

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

人機
交互
技術(shù)
與智
能信息處理實驗室

04.人機交互，實時智能

王宏安
田　豐
王丹力
張鳳軍
滕東興
馬翠霞
陳　輝
鄧小明
喬　穎
王永炎

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

綜合信息系統(tǒng)技術(shù)國家級重點實驗室

05.信息處理與集成

胡曉惠
鄭昌文
王 浩
吳鳳鴿
徐帆江
趙軍鎖
呂 品
竇竹梅

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

06.網(wǎng)絡(luò)技術(shù)及應(yīng)用

劉立祥
馬恒太
鄧　勇

學(xué)科
專業(yè)

預(yù)計招
生人數(shù)

計算
機科
學(xué)國
家重
點實
驗室

01.程序分析與軟件測試

張 健
張震宇

13

101.思想政治理論
201.英語一
301.數(shù)學(xué)一
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

互聯(lián)
網(wǎng)軟
件技
術(shù)實
驗室

02.軟件過程方法與技術(shù)

李明樹
王 青
李 娟
楊秋松
楊 達(dá)
肖俊超

軟件工程技術(shù)研究開發(fā)中心

03.分布式軟件理論與技術(shù)

黃 濤
鐘 華
魏 峻
金蓓弘
葉 丹
徐 罡
許舒人
喬曉強

學(xué)科
專業(yè)

預(yù)計招
生人數(shù)

計算機技術(shù)（085211）

計算機科學(xué)國家重點實驗室

01.軟件設(shè)計、驗證及測試的方法與技術(shù)

李廣元
呂 毅
吳 鵬
吳志林
張震宇
楊紹發(fā)

9

 

02.虛擬現(xiàn)實與可視化技術(shù)

王文成
劉學(xué)慧
時 磊

 

可信計算與信息保障實驗室

03.可信計算與信息保障

蘇璞睿
連一峰
張 陽
張 敏
陳 華
張立武

 

并行軟件與計算科學(xué)實驗室

04.并行軟件設(shè)計與實現(xiàn)

楊 超
王 婷

 

學(xué)科
專業(yè)

預(yù)計招
生人數(shù)

計算機技術(shù)（085211）

人機
交互
技術(shù)
與智
能信息處理實驗室

05.交互式系統(tǒng)設(shè)計與開發(fā)

王宏安
田 豐
王丹力

 

101.思想政治理論
204.英語二
302.數(shù)學(xué)二
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

綜合信息系統(tǒng)技術(shù)國家級重點實驗室

06.信息與數(shù)字工程

張金芳
彭啟民

軟件工程 (085212)

互聯(lián)
網(wǎng)軟
件技
術(shù)實
驗室

01.軟件過程技術(shù)及應(yīng)用

肖俊超

4

101.思想政治理論
204.英語二
302.數(shù)學(xué)二
408.計算機學(xué)科專業(yè)基礎(chǔ)綜合

軟件工程技術(shù)研究開發(fā)中心

02.分布式軟件系統(tǒng)工程

*左 春
范國闖
張 波
許舒人

03.中間件技術(shù)與系統(tǒng)

備注

1、所列計劃為預(yù)計招生人數(shù)，實際招生計劃以國家下達(dá)的為準(zhǔn)；
2、標(biāo)有*號的導(dǎo)師為軟件所兼職導(dǎo)師；
3、招生計劃的70%左右用于接收推薦免試生；
4、10月25日左右將在軟件所網(wǎng)頁上的招生目錄中標(biāo)注各部門接受推免生情況；
5、計算機軟件與理論專業(yè)可以從推免生中接收直接攻讀博士學(xué)位研究生（即直博生）。