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