中國(guó)科學(xué)院軟件研究所2021年碩士招生專業(yè)目錄
? 2022考研備考大禮包— 點(diǎn)擊領(lǐng)取
單位代碼:14431 院系所代碼:150 單位地址:北京市中關(guān)村南四街4號(hào) 郵政編碼:100190
學(xué)科 專業(yè) |
研究方向代碼及名稱 | 指導(dǎo)教師 |
招生計(jì)劃(推免人數(shù)) |
考試科目代碼及名稱 |
軟件工程(0835) | 01. 嵌入式/分布式系統(tǒng)分析、設(shè)計(jì)與優(yōu)化 | 朱雪陽(yáng) | 3(1) |
101.思想政治理論 201.英語(yǔ)一 301.數(shù)學(xué)一 408.計(jì)算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合 |
02. 程序分析與測(cè)試、軟件安全 | 蔡 彥 | |||
03. 軟件測(cè)試,自動(dòng)推理 | 張 健 | |||
04. 系統(tǒng)軟件驗(yàn)證,智能軟件分析與測(cè)試 | 吳 鵬 | |||
05. 軟件安全 |
閆 佳 蘇璞睿 范麗敏 |
3(1) | ||
06. 高性能計(jì)算 |
吳長(zhǎng)茂 張常有 陳 峰 劉芳芳 |
1(1) | ||
07. 自然語(yǔ)言處理 |
馬龍龍 韓先培 |
1(1) | ||
08. 軟件分析與系統(tǒng)安全 |
李明樹 賀也平 馬恒太 陶秋銘 |
3(1) | ||
09. 用戶界面技術(shù) |
王宏安 朱嘉奇 馬翠霞 何小偉 |
4(3) | ||
10. 智能軟件工程1 | 王俊杰 | 3(3) | ||
11. 智能需求工程 | 石 琳 | |||
12. 分布式軟件理論與技術(shù) |
吳國(guó)全 鐘 華 黃 濤 魏 峻 許利杰 葉 丹 嚴(yán) 俊 張文博 竇文生 王 燾 陳 偉 |
6(5) | ||
13. 大數(shù)據(jù)與智能信息處理 |
鄭昌文 趙軍鎖 胡曉惠 |
4(3) | ||
14. 數(shù)據(jù)可視化與智能用戶界面 | 張鳳軍 | 5(4) | ||
15. 智能軟件工程2 | 楊 立 | |||
16. 大數(shù)據(jù)與人工智能 | 王永吉 | |||
17. 智能基礎(chǔ)理論與系統(tǒng) |
趙 琛 張立波 |
6(4) | ||
18. 操作系統(tǒng) |
李 玲 武延軍 |
|||
19. 智能軟件安全 |
薛云志 吳敬征 |
|||
20. 時(shí)空數(shù)據(jù)管理與數(shù)據(jù)科學(xué) | 丁治明 | |||
學(xué)科 專業(yè) |
研究方向代碼及名稱 | 指導(dǎo)教師 |
招生計(jì)劃 (推免人數(shù)) |
考試科目代碼及名稱 |
網(wǎng)絡(luò)空間安全(0839) | 01. 密碼學(xué)與安全協(xié)議 |
吳文玲 張振峰 張 斌 徐 靜 張 蕾 |
7(4) |
101.思想政治理論 201.英語(yǔ)一 301.數(shù)學(xué)一 408.計(jì)算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合 |
02. 網(wǎng)絡(luò)與系統(tǒng)安全 |
陳 華 蘇璞睿 連一峰 張 敏 張 陽(yáng) |
|||
學(xué)科 專業(yè) |
研究方向代碼及名稱 | 指導(dǎo)教師 |
招生計(jì)劃 (推免人數(shù)) |
考試科目代碼及名稱 |
電子信息(0854)(專碩) | 01. 軟件分析與驗(yàn)證 | 張立軍 |
22(9) |
101.思想政治理論 204.英語(yǔ)二 302.數(shù)學(xué)二 408.計(jì)算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合 |
02. 圖像分析與可視化 | 王文成 | |||
03. 軟件設(shè)計(jì)與分析方法 | 陳海明 | |||
04. 軟件測(cè)試,自動(dòng)推理 | 張 健 | |||
05. 軟件安全與信息保障 |
張立武 秦 宇 程 亮 和 亮 |
|||
06. 并行計(jì)算 | 李會(huì)元 | |||
07. 基礎(chǔ)軟件與應(yīng)用 |
芮建武 李文波 |
|||
08. 交互式系統(tǒng)設(shè)計(jì)與開發(fā) |
劉 杰 鄧小明 |
|||
09. 知識(shí)圖譜與云計(jì)算 | 王 青 | |||
10. 分布式軟件系統(tǒng)工程1 |
鐘 華 吳 恒 |
|||
11 .復(fù)雜系統(tǒng)軟件 |
周 鑫 趙軍鎖 |
|||
12. 時(shí)空數(shù)據(jù)管理與數(shù)據(jù)科學(xué) | 丁治明 | |||
13.分布式軟件系統(tǒng)工程2 | 左 春 | |||
14. 編程語(yǔ)言與編譯工具鏈 |
趙 琛 武延軍 |
|||
15. 智能系統(tǒng)安全 |
薛云志 吳敬征 |
|||
學(xué)科 專業(yè) |
研究方向代碼及名稱 | 指導(dǎo)教師 |
招生計(jì)劃 (推免人數(shù)) |
考試科目代碼及名稱 |
計(jì)算機(jī)科學(xué)與技術(shù)(0812) | 01. 計(jì)算機(jī)圖形學(xué)與虛擬現(xiàn)實(shí) |
王文成 侯飛 |
29 (28) |
101.思想政治理論 201.英語(yǔ)一 301.數(shù)學(xué)一 408.計(jì)算機(jī)學(xué)科專業(yè)基礎(chǔ)綜合 |
02. 軟件分析與驗(yàn)證 |
詹博華 張立軍 李勇堅(jiān) 吳志林 |
|||
03. 約束求解與組合優(yōu)化 | 蔡少偉 | |||
04. 軟件設(shè)計(jì)與分析方法,新型計(jì)算模型與應(yīng)用 | 陳海明 | |||
05. 量子軟件理論 | 應(yīng)圣鋼 | |||
06.信息論,邏輯學(xué)與復(fù)雜性 |
Georgios Barmpalias |
|||
07. 混成系統(tǒng)及AI系統(tǒng)的形式化驗(yàn)證 |
詹乃軍 薛白 王淑靈 |
|||
08. 數(shù)據(jù)挖掘與人工智能 | 沈一棟 | |||
09. 并行計(jì)算與并行軟件 |
李玉成 馬文靜 |
|||
10. 自然語(yǔ)言理解 | 孫 樂 | |||
11. 新型操作系統(tǒng)及系統(tǒng)安全 |
李明樹 賀也平 翟 健 |
|||
12. 軟硬件深度融合 |
楊秋松 馬 越 |
|||
13. 人機(jī)交互,實(shí)時(shí)智能 |
韓 騰 王宏安 田 豐 喬 穎 范向民 陳 輝 |
|||
14. 網(wǎng)絡(luò)分布計(jì)算理論與技術(shù) |
黃 濤 金蓓弘 王 偉 劉 杰 張扶桑 |
|||
15. 智能信息處理 |
徐帆江 吳鳳鴿 |
|||
16. 網(wǎng)絡(luò)技術(shù)及應(yīng)用 | 劉立祥 | |||
備注 |
1. 表中所列為預(yù)計(jì)招生計(jì)劃,實(shí)際招生計(jì)劃將以國(guó)家下達(dá)的招生計(jì)劃為準(zhǔn); |