學科
專業(yè)

預計招
生人數(shù)

計算機軟件與理論（081202）

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

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

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

36

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

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

張立軍

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

張 昱

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

柳欣欣

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

李勇堅

06.軟件設計、分析與驗證

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

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

沈一棟

08.自動推理與約束求解

張 健

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

詹乃軍

10.網(wǎng)絡算法及其應用

李昂生

并行軟件與計算科學實驗室

11.并行算法與并行軟件

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

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

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

曹建文
李會元
徐 進

基礎
軟件
國家
工程
研究
中心

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

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

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

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

趙 琛
薛云志
劉 劍

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

賀也平
王永吉
丁麗萍
陸 迤

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

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

學科
專業(yè)

預計招
生人數(shù)

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

17.軟件知識工程

王 青
張 文
鐘 浩

 

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

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

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

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

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

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

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

01.計算機圖形學

吳恩華
王文成
陳彥云
劉學慧

30

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

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

時 磊

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

03.可信計算與信息保障

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

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

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

04.人機交互，實時智能

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

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

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

05.信息處理與集成

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

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

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

劉立祥
馬恒太
鄧　勇

學科
專業(yè)

預計招
生人數(shù)

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

01.程序分析與軟件測試

張 健
張震宇

13

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

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

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

李明樹
王 青
李 娟
楊秋松
楊 達
肖俊超

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

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

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

學科
專業(yè)

預計招
生人數(shù)

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

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

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

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

9

 

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

王文成
劉學慧
時 磊

 

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

03.可信計算與信息保障

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

 

并行軟件與計算科學實驗室

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

楊 超
王 婷

 

學科
專業(yè)

預計招
生人數(shù)

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

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

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

王宏安
田 豐
王丹力

 

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

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

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

張金芳
彭啟民

軟件工程 (085212)

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

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

肖俊超

4

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

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

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

*左 春
范國闖
張 波
許舒人

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

備注

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