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

專業(yè)目錄來源：中國考研網 2016-09-07　相關院校：中科院軟件研究所

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

單位代碼：14431 院系所代碼：150 單位地址：北京市中關村南四街4號郵政編碼：100190

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

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