［中科院软件研究所］2006年硕士生招生专业目录
单位代码：80150
单位地址：北京市海淀区中关村南四街4号
邮政编码：100080
学科专业
部门
研究方向代码及名称
指导教师
招生
人数
考试科目代码/名称
计算机软件与理论（081202）
计算
机科
学国
家重
点实
验室
01.模型检测与测试
林惠民院士
13
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
02.自动推理与程序分析
张健研究员
03.数据挖掘，形式化方法
沈一栋
研究员
04.形式化方法
柳欣欣
研究员
张文辉
研究员
05.程序设计基础
蒋颖研究员
06.软件设计方法和形式规约
陈海明
研究员
07.实时系统的理论与工具
李广元副研
08.Perti网模型检测算法研究
焦莉副研
09.计算模型
李昂生
研究员
并行
软件
中心
10.并行计算与软件
李玉成
研究员
张云泉副研
曹建文副研
5
中文
信息
中心
11.中文信息处理
吴健副研
孙乐副研
6
12.系统软件与安全
石文昌
研究员
基础软件中心
13.基础软件安全技术
贺也平
研究员
7
14.可信计算与基础软件
赵琛
研究员
丁治明
研究员
淮晓永副研
梁洪亮副研
互联
网软
件技
术实
验室
15.智能软件工程
李明树
研究员
王青
研究员
赵琛
研究员
周津慧副研
李怀璋副研
淮晓永副研
12
16.实时系统/智能软件工程
王永吉
研究员
软件
工程
技术
研究
开发
中心
17.网络分布计算和软件工程
黄涛研究员
钟华研究员
金蓓弘副研
魏峻副研
叶丹副研
7
学科专业
部门
研究方向代码及名称
指导教师
招生
人数
考试科目代码/名称
801202
软件
工程
技术
研究
开发
中心
17.网络分布计算和软件工程
许舒人副研
张波副研
4
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
金蓓弘副研
*左春
研究员
1
钟华研究员
*成理宙
高工
1
计算机应用技术（081203）
**
01.计算机图形学
吴恩华
研究员
刘学慧副研
5
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
多媒
体通
信中
心
02.网络通信和多媒体技术
方贵明
研究员
刘琼研究员
孙利民副研
石志强高工
4
03.嵌入式操作系统
刘琼研究员
*王新社
研究员
1
人机
交互
实验
室
04.人机交互技术、软件工程
戴国忠
研究员
王宏安
研究员
王丹力副研
金宏高工
王晖副研
张凤军副研
8
05.软件工程和信息化工程
王宏安
研究员
*秦晓
研究员
*孙静
研究员
4
通用
软件
联合
实验
室
06.并行化数字化
佘春东副研
10
07.综合信息系统控制与集成
李磊研究员
刘立祥副研
郑昌文副研
王宇心高工
张金芳副研
信 息 安 全
（081220）
信息
安全
国家
重点
实验
室
01.网络与系统安全
冯登国
研究员
7
101.政治理论
201.英语
301.数学（一）
469.计算机软件基础
475.信息安全基础
（469和475任选一门）
02.密码学安全协议
林东岱
研究员
武传坤
研究员
吴文玲
研究员
张振峰副研
基础数学（070101）
公共实验室
01.计算理论及其应用
李昂生
研究员
1
101.政治理论
201.英语
321.数学分析
476.概率统计
479.线性代数与近世代数
（476和479任选一门）
注：1、 标有*号的导师为兼职导师 2、**---计算机科学国家重点实验室 3、软件所网址：http://www.ios.ac.cn
4、2005年及2004年软件所复试基本分数线为350/50/50/90/90； 5、E-mail 地址：caili@admin.iscas.ac.cn。
