1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號
中科院軟件研究所2014年碩士研究生招生專業目錄
分類：專業目錄 來源：中國考研網 2013-09-11 相關院校：中科院軟件研究所
中科院軟件研究所2014年碩士研究生招生專業目錄
|
工學碩士
|
|||||
|
學科
專業
|
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數
（推免人數）
|
考試科目代碼及名稱
|
|
計算機軟件與理論（081202）
|
01.網絡與并發實時系統的設計與分析
|
林惠民
焦 莉
李廣元
呂 毅
吳 鵬
|
9(6)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
02.概率并發系統的建模與檢驗
|
張立軍
|
||||
|
03.多核并發系統的設計與驗證
|
張 昱
|
||||
|
04.并發理論和形式化方法
|
柳欣欣
|
||||
|
05.硬件系統的形式化驗證
|
李勇堅
|
||||
|
06.軟件設計、分析與驗證
|
陳海明
楊紹發
吳志林
|
||||
|
07.數據挖掘與語義web
|
沈一棟
|
||||
|
08.自動推理與約束求解
|
張 健
|
||||
|
09.信息物理融合系統CPS
|
詹乃軍
|
||||
|
10.網絡算法及其應用
|
李昂生
|
||||
|
并行軟件與計算科學實驗室
|
11.并行算法與并行軟件
|
李玉成
龍國平
馬菲菲
張常有
鄧 攀
馬文靜
|
4(2)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
12.數值并行計算
|
曹建文
李會元
徐 進
|
||||
|
基礎
軟件
國家
工程
研究
中心
|
13.高安全等級操作系統、數據庫與知識庫系統、云計算、基礎軟件與應用
|
李明樹
丁治明
武延軍
芮建武
淮曉永
|
11(8)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
14.程序語言設計與編譯技術，軟件測試方法和工具
|
趙 琛
薛云志
劉 劍
|
||||
|
15.系統安全、可信計算與數字取證
|
賀也平
王永吉
丁麗萍
陸 迤
|
||||
|
16.文本信息處理與信息檢索
|
吳 健
孫 樂
李文波
韓先培
馬龍龍
|
||||
|
學科
專業
|
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數
（推免人數）
|
考試科目代碼及名稱
|
|
計算機軟件與理論（081202）
|
互聯
網軟
件技
術實
驗室
|
17.軟件知識工程
|
王 青
張 文
鐘 浩
|
3(2)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
軟件工程技術研究開發中心
|
18.網絡分布計算理論與技術
|
黃 濤
魏 峻
鐘 華
金蓓弘
張文博
吳國全
王 偉
嚴 俊
葉春揚
|
8(6)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
計算機應用技術（081203）
|
計算
機科
學國
家重
點實
驗室
|
01.計算機圖形學
|
吳恩華
王文成
陳彥云
劉學慧
|
3(3)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
02.信息可視化、可視分析
|
時 磊
|
||||
|
可信計算與信息保障實驗室
|
03.可信計算與信息保障
|
馮登國
吳文玲
張振峰
蘇璞睿
連一峰
張 陽
張 敏
陳 華
張立武
張 斌
|
6(5)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
人機
交互
技術
與智
能信息處理實驗室
|
04.人機交互，實時智能
|
王宏安
田 豐
王丹力
張鳳軍
滕東興
馬翠霞
陳 輝
鄧小明
喬 穎
王永炎
|
10(2)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
綜合信息系統技術國家級重點實驗室
|
05.信息處理與集成
|
胡曉惠
鄭昌文
王 浩
吳鳳鴿
徐帆江
趙軍鎖
呂 品
竇竹梅
|
11(8)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|
|
06.網絡技術及應用
|
劉立祥
馬恒太
鄧 勇
|
|
學科
專業
|
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數
（推免人數）
|
考試科目代碼及名稱
|
|||
|
軟件工程（0835）
|
計算
機科
學國
家重
點實
驗室
|
01.程序分析與軟件測試
|
張 健
張震宇
|
1(0)
|
101.思想政治理論
201.英語一
301.數學一
408.計算機學科專業基礎
綜合
|
|||
|
互聯
網軟
件技
術實
驗室
|
02.軟件過程方法與技術
|
李明樹
王 青
李 娟
楊秋松
楊 達
肖俊超
|
7(5)
|
|||||
|
軟件工程技術研究開發中心
|
03.分布式軟件理論與技術
|
黃 濤
鐘 華
魏 峻
金蓓弘
葉 丹
徐 罡
許舒人
喬曉強
|
5(3)
|
|||||
|
工程碩士
|
||||||||
|
學科
專業
|
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數
（推免人數）
|
考試科目代碼及名稱
|
|||
|
計算機技術（085211）
|
計算機科學國家重點實驗室
|
01.軟件設計、驗證及測試的方法與技術
|
李廣元
呂 毅
吳 鵬
吳志林
張震宇
楊紹發
|
2(0)
|
101.思想政治理論
204.英語二
302.數學二
408.計算機學科專業基礎
綜合
|
|||
|
02.虛擬現實與可視化技術
|
王文成
劉學慧
時 磊
|
|||||||
|
可信計算與信息保障實驗室
|
03.可信計算與信息保障
|
蘇璞睿
連一峰
張 陽
張 敏
陳 華
張立武
|
2(0)
|
|||||
|
并行軟件與計算科學實驗室
|
04.并行軟件設計與實現
|
楊 超
王 婷
姚繼鋒
|
1(0)
|
|||||
|
學科
專業
|
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數
（推免人數）
|
考試科目代碼及名稱
|
|
計算機技術（085211）
|
人機
交互
技術
與智
能信息處理實驗室
|
05.交互式系統設計與開發
|
王宏安
田 豐
王丹力
孫 靜
韓永生
|
2(2)
|
101.思想政治理論
204.英語二
302.數學二
408.計算機學科專業基礎
綜合
|
|
綜合信息系統技術國家級重點實驗室
|
06.信息與數字工程
|
張金芳
彭啟民
|
2(0)
|
||
|
軟件工程 (085212)
|
互聯
網軟
件技
術實
驗室
|
01.軟件過程技術及應用
|
肖俊超
袁 峰
|
2(1)
|
101.思想政治理論
204.英語二
302.數學二
408.計算機學科專業基礎
綜合
|
|
軟件工程技術研究開發中心
|
02.分布式軟件系統工程
|
*左 春
范國闖
張 波
許舒人
|
2(0)
|
||
|
03.中間件技術與系統
|
|||||
|
備注
|
1、所列計劃為預計招生人數，實際招生計劃以國家下達的為準；
2、標有*號的導師為軟件所兼職導師。
|
||||
相關資訊
熱門網課
信息目錄
網絡課程
2025/2026考研全程班 最新網課
政治、英語、數學、專業課都可試聽
2025/2026考研公共課 免費領取
免費領課，全年享不停
- 2026考研英語全程班 早鳥2班
- 2026考研政治全程班 早鳥2班
- 2026考研數學全程班 早鳥2班
- 2026考研英語直通車 長線1期
- 2026考研政治直通車 長線1期
- 2026考研數學直通車 長線1期
- 2026考研英語全程班 寒假班
- 2026考研政治全程班 寒假班
考研資料
考研網課
省市考研網
×關閉
掃碼關注
考研信息一網打盡