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

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

計(jì)算機(jī)軟件與理論（081202）

　　計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室

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

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

36

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

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

張立軍

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

張 昱

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

柳欣欣

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

李勇堅(jiān)

06.軟件設(shè)計(jì)、分析與驗(yàn)證

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

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

沈一棟

08.自動(dòng)推理與約束求解

張 健

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

詹乃軍

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

李昂生

并行軟件與計(jì)算科學(xué)實(shí)驗(yàn)室

11.并行算法與并行軟件

李玉成
龍國(guó)平
馬菲菲
張常有

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

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

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

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

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

李明樹(shù)
丁治明
武延軍
芮建武
淮曉永

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

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

趙 琛
薛云志
劉 劍

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

賀也平
王永吉
丁麗萍
陸 迤

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

吳 健
孫 樂(lè)
李文波
韓先培
馬龍龍

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

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

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

17.軟件知識(shí)工程

王 青
張 文
鐘 浩

 

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

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

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

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

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

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

計(jì)算
機(jī)科
學(xué)國(guó)
家重
點(diǎn)實(shí)
驗(yàn)室

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

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

30

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

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

時(shí) 磊

可信計(jì)算與信息保障實(shí)驗(yàn)室

03.可信計(jì)算與信息保障

馮登國(guó)
吳文玲
張振峰
蘇璞睿
連一峰
張 陽(yáng)
張 敏
陳 華
張立武
張 斌

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

人機(jī)
交互
技術(shù)
與智
能信息處理實(shí)驗(yàn)室

04.人機(jī)交互，實(shí)時(shí)智能

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

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

綜合信息系統(tǒng)技術(shù)國(guó)家級(jí)重點(diǎn)實(shí)驗(yàn)室

05.信息處理與集成

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

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

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

劉立祥
馬恒太
鄧　勇

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

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

計(jì)算
機(jī)科
學(xué)國(guó)
家重
點(diǎn)實(shí)
驗(yàn)室

01.程序分析與軟件測(cè)試

張 健
張震宇

13

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

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

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

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

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

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

黃 濤
鐘 華
魏 峻
金蓓弘
葉 丹
徐 罡
許舒人
喬曉強(qiáng)

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

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

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

計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室

01.軟件設(shè)計(jì)、驗(yàn)證及測(cè)試的方法與技術(shù)

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

9

 

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

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

 

可信計(jì)算與信息保障實(shí)驗(yàn)室

03.可信計(jì)算與信息保障

蘇璞睿
連一峰
張 陽(yáng)
張 敏
陳 華
張立武

 

并行軟件與計(jì)算科學(xué)實(shí)驗(yàn)室

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

楊 超
王 婷

 

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

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

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

人機(jī)
交互
技術(shù)
與智
能信息處理實(shí)驗(yàn)室

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

王宏安
田 豐
王丹力

 

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

綜合信息系統(tǒng)技術(shù)國(guó)家級(jí)重點(diǎn)實(shí)驗(yàn)室

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

張金芳
彭啟民

軟件工程 (085212)

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

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

肖俊超

4

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

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

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

*左 春
范國(guó)闖
張 波
許舒人

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

備注

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