［中科院軟件研究所］2005年碩士招生專業(yè)目錄_跨考網(wǎng)

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

學(xué)科專業(yè)

研究方向代碼及名稱

指導(dǎo)教師

招生人數(shù)

考試科目代碼及名稱

計(jì)

算

機(jī)

軟

件

與

理

論

（081202）

01. 模型檢測與測試

林惠民 院　士

14

101.政治理論

201.英語

301.數(shù)學(xué)（一）

469.計(jì)算機(jī)軟件基礎(chǔ)

02. 程序分析與測試

張　健 研究員

03. 數(shù)據(jù)挖掘，形式化方法

沈一棟 研究員

04. 有關(guān)不動點(diǎn)邏輯的判定問題

柳欣欣 研究員

05. 形式化方法

張文輝 研究員

06. 程序設(shè)計(jì)理論基礎(chǔ)

蔣　穎 研究員

07. 軟件設(shè)計(jì)方法和形式規(guī)約

陳海明 副　研

08. 實(shí)時(shí)系統(tǒng)的理論與工具

李廣元 副　研

09. Petri網(wǎng)絡(luò)理論與應(yīng)用

焦　莉 副　研

10. 計(jì)算模型研究

李昂生 研究員

11. 中文信息處理,系統(tǒng)軟件

孫玉芳 研究員

吳　健 副　研

孫　樂 副　研

石文昌 研究員

12

12. 嵌入式數(shù)據(jù)庫系統(tǒng)的開發(fā)

*張　倪 研究員

13. 智能軟件工程，實(shí)時(shí)系統(tǒng)

李明樹 研究員

王永吉 研究員

王　青 研究員

周津慧 副　研

李懷璋 副　研

淮曉永 副　研

18

14. 軟件測試方法和工具

趙　琛 研究員

15. 網(wǎng)絡(luò)分布計(jì)算和軟件工程

黃　濤 研究員

金蓓弘 副　研

鐘　華 副　研

魏　峻 副　研

葉　丹 副　研

22

李　京 研究員

左　春 研究員

成理宙 高　工

許舒人 副　研

16. 并行計(jì)算與軟件

李玉成 研究員

張?jiān)迫?副　研

曹建文 副　研

7

計(jì)

算

機(jī)

應(yīng)

用

技

術(shù)

（081203）

01. 計(jì)算機(jī)圖形學(xué)

吳恩華 研究員

王文成 研究員

劉學(xué)慧 副　研

7

101.政治理論

201.英語

301.數(shù)學(xué)（一）

469.計(jì)算機(jī)軟件基礎(chǔ)

02. 網(wǎng)絡(luò)通信和多媒體技術(shù)

吳志美 研究員

方貴明 研究員

劉　瓊 研究員

孫利民 副　研

石志強(qiáng) 高　工

11

03. 嵌入式系統(tǒng)

*高　悅 研究員

*王新社 研究員

04. 大型網(wǎng)絡(luò)信息安全技術(shù)

賀也平 研究員

劉克龍 副　研

4

05. 人機(jī)交互技術(shù)，

　　軟件工程

戴國忠 研究員

王宏安 研究員

王丹力 副　研

金　宏 副　研

張習(xí)文 副　研

張鳳軍 副　研

16

06.軟件工程及應(yīng)用

秦　曉 研究員

孫　靜 高　工

劉瑞虹 高　工

07.數(shù)字化,并行化

佘春東 副　研

4

08.信息系統(tǒng)集成

李　磊 研究員

信

息

安

全

（081220）

01.網(wǎng)絡(luò)與系統(tǒng)安全

馮登國 研究員

13

101.政治理論

201.英語

301.數(shù)學(xué)（一）

469.計(jì)算機(jī)軟件基礎(chǔ)

475.信息安全基礎(chǔ)

（469/475二選一）

02.密碼學(xué)與安全協(xié)議

林東岱 研究員

武傳坤 研究員

王明生 研究員

薛　銳 副　研

吳文玲 研究員

張振峰 副　研

基

礎(chǔ)

數(shù)

學(xué)

（070101）

01.計(jì)算理論及其應(yīng)用

李昂生 研究員

2

101.政治理論

201.英語

321.數(shù)學(xué)分析

933.線性代數(shù)與近世代數(shù)

備注

軟件所不辦輔導(dǎo)班，也不提供往年專業(yè)試題；　標(biāo)有*的導(dǎo)師為兼職導(dǎo)師；

2004年復(fù)試分?jǐn)?shù)線為350分；2003年復(fù)試線為320（應(yīng)屆生）/315分（非應(yīng)屆生）。