［中科院软件研究所］2005年硕士招生专业目录
学科专业
研究方向代码及名称
指导教师
招生人数
考试科目代码及名称
计
算
机
软
件
与
理
论
（081202）
01. 模型检测与测试
林惠民 院 士
14
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
02. 程序分析与测试
张 健 研究员
03. 数据挖掘，形式化方法
沈一栋 研究员
04. 有关不动点逻辑的判定问题
柳欣欣 研究员
05. 形式化方法
张文辉 研究员
06. 程序设计理论基础
蒋 颖 研究员
07. 软件设计方法和形式规约
陈海明 副 研
08. 实时系统的理论与工具
李广元 副 研
09. Petri网络理论与应用
焦 莉 副 研
10. 计算模型研究
李昂生 研究员
11. 中文信息处理,系统软件
孙玉芳 研究员
吴 健 副 研
孙 乐 副 研
石文昌 研究员
12
12. 嵌入式数据库系统的开发
*张 倪 研究员
13. 智能软件工程，实时系统
李明树 研究员
王永吉 研究员
王 青 研究员
周津慧 副 研
李怀璋 副 研
淮晓永 副 研
18
14. 软件测试方法和工具
赵 琛 研究员
15. 网络分布计算和软件工程
黄 涛 研究员
金蓓弘 副 研
钟 华 副 研
魏 峻 副 研
叶 丹 副 研
22
李 京 研究员
左 春 研究员
成理宙 高 工
许舒人 副 研
16. 并行计算与软件
李玉成 研究员
张云泉 副 研
曹建文 副 研
7
计
算
机
应
用
技
术
（081203）
01. 计算机图形学
吴恩华 研究员
王文成 研究员
刘学慧 副 研
7
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
02. 网络通信和多媒体技术
吴志美 研究员
方贵明 研究员
刘 琼 研究员
孙利民 副 研
石志强 高 工
11
03. 嵌入式系统
*高 悦 研究员
*王新社 研究员
04. 大型网络信息安全技术
贺也平 研究员
刘克龙 副 研
4
05. 人机交互技术，
软件工程
戴国忠 研究员
王宏安 研究员
王丹力 副 研
金 宏 副 研
张习文 副 研
张凤军 副 研
16
06.软件工程及应用
秦 晓 研究员
孙 静 高 工
刘瑞虹 高 工
07.数字化,并行化
佘春东 副 研
4
08.信息系统集成
李 磊 研究员
信
息
安
全
（081220）
01.网络与系统安全
冯登国 研究员
13
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
475.信息安全基础
（469/475二选一）
02.密码学与安全协议
林东岱 研究员
武传坤 研究员
王明生 研究员
薛 锐 副 研
吴文玲 研究员
张振峰 副 研
基
础
数
学
（070101）
01.计算理论及其应用
李昂生 研究员
2
101.政治理论
201.英语
321.数学分析
933.线性代数与近世代数
备注
软件所不办辅导班，也不提供往年专业试题； 标有*的导师为兼职导师；
2004年复试分数线为350分；2003年复试线为320（应届生）/315分（非应届生）。
