中科院軟件研究所

2025/2026考研輔導(dǎo)網(wǎng)課

中國(guó)考研網(wǎng) 考研網(wǎng) » 院校信息 » 中科院軟件研究所 » 專業(yè)目錄

2017年中科院軟件研究所碩士研究生招生專業(yè)目錄

分類：專業(yè)目錄來源：中國(guó)考研網(wǎng) 2016-09-07　相關(guān)院校：中科院軟件研究所

2025考研數(shù)學(xué)全程班早鳥3班

26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」

中科院軟件研究所2025考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

中國(guó)科學(xué)院軟件研究所2017年碩士招生專業(yè)目錄

單位代碼：14431 院系所代碼：150 單位地址：北京市中關(guān)村南四街4號(hào) 郵政編碼：100190

聯(lián)系部門：研究生部電話：010-62561196 聯(lián)系人：李老師郵件地址：caili@iscas.ac.cn

學(xué)科專業(yè)	部門	研究方向代碼及名稱	指導(dǎo)教師	預(yù)計(jì)招生人數(shù)	考試科目代碼及名稱
計(jì)算機(jī)軟件與理論(081202)	計(jì)算機(jī)科學(xué)國(guó)家重點(diǎn)實(shí)驗(yàn)室	01.結(jié)構(gòu)信息論與網(wǎng)絡(luò)空間計(jì)算理論	李昂生	7	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
		02.數(shù)據(jù)挖掘與人工智能	沈一棟
		03.并發(fā)系統(tǒng)分析與驗(yàn)證	張文輝李廣元吳鵬
		04.軟件設(shè)計(jì)與分析方法，新型計(jì)算模型與應(yīng)用	陳海明
		05.程序驗(yàn)證	詹乃軍
		06.概率模型驗(yàn)證與分析	張立軍
		07.軟件的形式化分析與驗(yàn)證	吳志林
		08.算法設(shè)計(jì)分析與復(fù)雜性	夏盟佶蔡少偉
	并行軟件與計(jì)算科學(xué)實(shí)驗(yàn)室	09.并行軟件	李玉成	3	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
		10.并行算法與并行軟件	楊超劉芳芳
		11.數(shù)據(jù)挖掘和機(jī)器學(xué)習(xí)	馬文靜
	基礎(chǔ)軟件國(guó)家工程研究中心	12.新型操作系統(tǒng)及系統(tǒng)安全	李明樹賀也平武延軍馬恒太	13	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
		13.軟硬件深度融合	楊秋松翟健陶秋銘
		14.海云計(jì)算模型	王永吉李文波
		15.軟件知識(shí)工程	趙琛王青孫樂韓先培
	軟件工程技術(shù)研究開發(fā)中心	16.網(wǎng)絡(luò)分布計(jì)算理論與技術(shù)	黃濤金蓓弘王偉劉杰	4	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
學(xué)科專業(yè)	部門	研究方向代碼及名稱	指導(dǎo)教師	預(yù)計(jì)招生人數(shù)	考試科目代碼及名稱
計(jì)算機(jī)應(yīng)用技術(shù) (081203)	計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室	01.計(jì)算機(jī)圖形學(xué)與虛擬現(xiàn)實(shí)	王文成	3	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
	計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室	02.可視分析與數(shù)據(jù)挖掘	時(shí) 磊	3
	人機(jī) 交互技術(shù) 與智能信息處理實(shí)驗(yàn)室	03.人機(jī)交互，實(shí)時(shí)智能	王宏安田　豐馬翠霞喬　穎	8
	天基綜合信息系統(tǒng) 重點(diǎn) 實(shí)驗(yàn) 室	04.智能信息處理	胡曉惠鄭昌文 *徐帆江呂品王浩吳鳳鴿高楊	9
	天基綜合信息系統(tǒng) 重點(diǎn) 實(shí)驗(yàn) 室	05.網(wǎng)絡(luò)技術(shù)及應(yīng)用	劉立祥	9
軟件工程 (0835)	計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室	01.程序分析與軟件測(cè)試	張健	3	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
	計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室	02.并發(fā)程序分析	蔡彥	3
	天基綜合	03.復(fù)雜系統(tǒng)軟件	胡曉惠鄭昌文	2
	可信計(jì)算實(shí)驗(yàn)室	04.軟件安全	蘇璞睿張穎君	1
	并行軟件實(shí)驗(yàn)室	05.數(shù)據(jù)挖掘和大數(shù)據(jù)	陳峰	1
	基礎(chǔ)軟件國(guó)家工程研究中心	06.軟件與系統(tǒng)工程	李明樹于佳耕	8
		07.軟件開發(fā)與保障技術(shù)	王青王永吉
		08.程序設(shè)計(jì)語言與編譯技術(shù)	趙琛
		09.軟件系統(tǒng)漏洞挖掘與安全評(píng)估技術(shù)	賀也平吳敬征
		10.文本信息處理與信息檢索	吳健馬龍龍
	人機(jī)交互實(shí)驗(yàn)室	11.用戶界面技術(shù)	王宏安王丹力張鳳軍	2
學(xué)科專業(yè)	部門	研究方向代碼及名稱	指導(dǎo)教師	預(yù)計(jì)招生人數(shù)	考試科目代碼及名稱
軟件工程 (0835)	軟件工程技術(shù)研究開發(fā)中心	12.分布式軟件理論與技術(shù)	黃濤鐘華魏峻葉丹張文博吳國(guó)全嚴(yán) 俊陳偉	9	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
網(wǎng)絡(luò)空間安全（0839）	可信計(jì)算與信息保障實(shí)驗(yàn)室	01. 密碼學(xué)與安全協(xié)議	張振峰吳文玲徐靜張斌張立廷	5	101.思想政治理論 201.英語一 301.數(shù)學(xué)一 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
網(wǎng)絡(luò)空間安全（0839）	可信計(jì)算與信息保障實(shí)驗(yàn)室	02. 網(wǎng)絡(luò)與系統(tǒng)安全	*馮登國(guó) 蘇璞睿連一峰張立武張陽張敏陳華	5
計(jì)算機(jī)技術(shù) (085211)	計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室	01.圖像分析與可視化技術(shù)	王文成	2	101.思想政治理論 204.英語二 302.數(shù)學(xué)二 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
		02.軟件設(shè)計(jì)、驗(yàn)證及測(cè)試的方法與技術(shù)	張健
		03.軟件設(shè)計(jì)與分析方法	陳海明
	可信計(jì)算實(shí)驗(yàn)室	04.可信計(jì)算與信息保障	秦宇應(yīng)凌云程亮范麗敏張蕾	2
	基礎(chǔ)軟件中心	05.文本信息處理與信息檢索	劉匯丹	1
	人機(jī)交互實(shí)驗(yàn)室	06.交互式系統(tǒng)設(shè)計(jì)與開發(fā)	陳輝鄧小明	2
	天基綜合	07.信息與數(shù)字工程	呂品劉立祥	2
軟件工程(085212)	基礎(chǔ)軟件中心	01.基礎(chǔ)軟件與應(yīng)用	袁峰芮建武	1	101.思想政治理論 204.英語二 302.數(shù)學(xué)二 863.計(jì)算機(jī)學(xué)科綜合（專業(yè)）
軟件工程(085212)	軟件工程中心	02.分布式軟件系統(tǒng)工程	鐘華 *左春許舒人徐罡	3
備注	1. 表中所列計(jì)劃為預(yù)計(jì)招生人數(shù)，具體招生計(jì)劃以最終國(guó)家下達(dá)的為準(zhǔn)； 2. 標(biāo)有*號(hào)的導(dǎo)師為軟件所兼職導(dǎo)師，部分部門名稱為簡(jiǎn)稱； 3. 全所預(yù)計(jì)招生計(jì)劃的大約70%用于接收推薦免試生。