2014年中國科學院軟件研究所考研招生專業目錄
工學碩士
|
|||||
學科
專業 |
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數 |
考試科目代碼及名稱
|
計算機軟件與理論(081202)
|
計算機科學國家重點實驗室 |
01.網絡與并發實時系統的設計與分析
|
林惠民
焦 莉 李廣元 呂 毅 吳 鵬 |
36
|
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
02.概率并發系統的建模與檢驗
|
張立軍
|
||||
03.多核并發系統的設計與驗證
|
張 昱
|
||||
04.并發理論和形式化方法
|
柳欣欣
|
||||
05.硬件系統的形式化驗證
|
李勇堅
|
||||
06.軟件設計、分析與驗證
|
陳海明
楊紹發 吳志林 |
||||
07.數據挖掘與語義web
|
沈一棟
|
||||
08.自動推理與約束求解
|
張 健
|
||||
09.信息物理融合系統CPS
|
詹乃軍
|
||||
10.網絡算法及其應用
|
李昂生
|
||||
并行軟件與計算科學實驗室
|
11.并行算法與并行軟件
|
李玉成
龍國平 馬菲菲 張常有 |
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
||
12.數值并行計算
|
曹建文
李會元 徐 進 |
||||
基礎
軟件 國家 工程 研究 中心 |
13.高安全等級操作系統、數據庫與知識庫系統、云計算、基礎軟件與應用
|
李明樹
丁治明 武延軍 芮建武 淮曉永 |
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
||
14.程序語言設計與編譯技術,軟件測試方法和工具
|
趙 琛
薛云志 劉 劍 |
||||
15.系統安全、可信計算與數字取證
|
賀也平
王永吉 丁麗萍 陸 迤 |
||||
16.文本信息處理與信息檢索
|
吳 健
孫 樂 李文波 韓先培 馬龍龍 |
學科
專業 |
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數 |
考試科目代碼及名稱
|
計算機軟件與理論(081202)
|
互聯
網軟 件技 術實 驗室 |
17.軟件知識工程
|
王 青
張 文 鐘 浩 |
|
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
軟件工程技術研究開發中心
|
18.網絡分布計算理論與技術
|
黃 濤
魏 峻 鐘 華 金蓓弘 張文博 吳國全 王 偉 嚴 俊 葉春揚 |
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
||
計算機應用技術(081203)
|
計算
機科 學國 家重 點實 驗室 |
01.計算機圖形學
|
吳恩華
王文成 陳彥云 劉學慧 |
30
|
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
02.信息可視化、可視分析
|
時 磊
|
||||
可信計算與信息保障實驗室
|
03.可信計算與信息保障
|
馮登國
吳文玲 張振峰 蘇璞睿 連一峰 張 陽 張 敏 陳 華 張立武 張 斌 |
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
||
人機
交互 技術 與智 能信息處理實驗室 |
04.人機交互,實時智能
|
王宏安
田 豐 王丹力 張鳳軍 滕東興 馬翠霞 陳 輝 鄧小明 喬 穎 王永炎 |
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
||
綜合信息系統技術國家級重點實驗室
|
05.信息處理與集成
|
胡曉惠
鄭昌文 王 浩 吳鳳鴿 徐帆江 趙軍鎖 呂 品 竇竹梅 |
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
||
06.網絡技術及應用
|
劉立祥
馬恒太 鄧 勇 |
學科
專業 |
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數 |
考試科目代碼及名稱
|
|||
軟件工程(0835)
|
計算
機科 學國 家重 點實 驗室 |
01.程序分析與軟件測試
|
張 健
張震宇 |
13
|
101.思想政治理論
201.英語一 301.數學一 408.計算機學科專業基礎綜合 |
|||
互聯
網軟 件技 術實 驗室 |
02.軟件過程方法與技術
|
李明樹
王 青 李 娟 楊秋松 楊 達 肖俊超 |
||||||
軟件工程技術研究開發中心
|
03.分布式軟件理論與技術
|
黃 濤
鐘 華 魏 峻 金蓓弘 葉 丹 徐 罡 許舒人 喬曉強 |
||||||
工程碩士
|
||||||||
學科
專業 |
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數 |
考試科目代碼及名稱
|
|||
計算機技術(085211)
|
計算機科學國家重點實驗室
|
01.軟件設計、驗證及測試的方法與技術
|
李廣元
呂 毅 吳 鵬 吳志林 張震宇 楊紹發 |
9
|
|
|||
02.虛擬現實與可視化技術
|
王文成
劉學慧 時 磊 |
|
||||||
可信計算與信息保障實驗室
|
03.可信計算與信息保障
|
蘇璞睿
連一峰 張 陽 張 敏 陳 華 張立武 |
|
|||||
并行軟件與計算科學實驗室
|
04.并行軟件設計與實現
|
楊 超
王 婷 |
|
學科
專業 |
部門
|
研究方向代碼及名稱
|
指導教師
|
預計招
生人數 |
考試科目代碼及名稱
|
計算機技術(085211)
|
人機
交互 技術 與智 能信息處理實驗室 |
05.交互式系統設計與開發
|
王宏安
田 豐 王丹力 |
|
101.思想政治理論
204.英語二 302.數學二 408.計算機學科專業基礎綜合 |
綜合信息系統技術國家級重點實驗室
|
06.信息與數字工程
|
張金芳
彭啟民 |
|||
軟件工程 (085212)
|
互聯
網軟 件技 術實 驗室 |
01.軟件過程技術及應用
|
肖俊超
|
4
|
101.思想政治理論
204.英語二 302.數學二 408.計算機學科專業基礎綜合 |
軟件工程技術研究開發中心
|
02.分布式軟件系統工程
|
*左 春
范國闖 張 波 許舒人 |
|||
03.中間件技術與系統
|
|||||
備注
|
1、所列計劃為預計招生人數,實際招生計劃以國家下達的為準;
2、標有*號的導師為軟件所兼職導師; 3、招生計劃的70%左右用于接收推薦免試生; 4、10月25日左右將在軟件所網頁上的招生目錄中標注各部門接受推免生情況; 5、計算機軟件與理論專業可以從推免生中接收直接攻讀博士學位研究生(即直博生)。 |
特別聲明:①凡本網注明稿件來源為"原創"的,轉載必須注明"稿件來源:育路網",違者將依法追究責任;
②部分稿件來源于網絡,如有侵權,請聯系我們溝通解決。
25人覺得有用