1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號
中科院軟件研究所2014年碩士研究生招生專業目錄
中科院軟件研究所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、標有*號的導師為軟件所兼職導師。
|
||||
來源未注明“中國考研網\考研信息網”的資訊、文章等均為轉載，本網站轉載出于傳遞更多信息之目的，并不意味著贊同其觀點或證實其內容的真實性，如涉及版權問題，請聯系本站管理員予以更改或刪除。如其他媒體、網站或個人從本網站下載使用，必須保留本網站注明的"稿件來源"，并自負版權等法律責任。
來源注明“中國考研網”的文章，若需轉載請聯系管理員獲得相應許可。
聯系方式：[email protected]
- 2026考研英語全程班 6班
- 權威高配師資親授技巧，教研千錘百煉科學提分。直錄播課相結合精講互動二合一，專業團隊精細化作文批改。講練結合，隨學隨練穩步提升。支持試聽~
- 主講團隊：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人
中科院軟件研究所考研
熱門課程
考研網課
考研資料
最新資訊
×關閉
掃碼關注
了解考研最新消息