中国科学院软件研究所2007年硕士研究生招生专业目录

资料发布小组

学科专业 部门 研究方向代码及名称 指导教师 招生
人数 考试科目代码及名称
计算机软件与理论（ 081202 ） 计算机科学国家重点实验室 01. 并发实时软件设计与分析方法 林惠民 院士
张文辉 研究员
李广元 副研
焦  莉 研究员8 101. 政治理论
201. 英语
301. 数学（一）
463. 计算机软件基础
02. 自动推理与程序分析

张  健 研究员
03. 数据挖掘，形式化方法

沈一栋 研究员
04. 软件设计方法和形式规约

陈海明 研究员
05. 计算理论，计算模型

李昂生 研究员
并行软件中心 06. 并行算法与软件 李玉成 研究员
张云泉 副研
曹建文 副研 5
中文信息中心 07. 中文信息系统 吴 健 副研
孙 乐 副研
石文昌 研究员 6
基础软件中心 08. 可信计算与基础软件 贺也平 研究员
赵  琛 研究员
王永吉 研究员
丁治明 研究员
淮晓永 副研
梁洪亮 副研
郭 亮 高工 11
互联
网软
件技
术实
验室 09. 智能软件工程 李明树 研究员
王  青 研究员
赵 琛 研究员
周津慧 副研
李怀璋 副研
淮晓永 副研
王永吉 研究员 16
软件工程技术研究开发中心 10. 网络分布计算和软件工程 黄 涛 研究员
金蓓弘 副研
钟  华 研究员
魏  峻  副研
叶  丹 副研
许舒人 副研
张  波 副研
范国闯 高工 13
金蓓弘 副研
* 左 春 研究员
       计算机应用技术（ 081203 ） 计算机
科学国
家重点
实验室 01. 计算机图形学 吴恩华 研究员
王文成 研究员
刘学慧 副研 6 101. 政治理论
201. 英语
301. 数学（一）
463 . 计算机软件基础
人机
交互
实验
室 02. 人机交互技术、软件工程 戴国忠 研究员
王宏安 研究员
王丹力 副研
张习文 副研
滕东兴 副研
张凤军 副研 10
03. 软件工程及应用 王宏安 研究员
* 秦 晓 研究员
* 孙 静 高工 4
综合信息系统控制与集成国家重点实验室 04. 综合信息系统控制与集成 李  磊 研究员
胡晓慧 研究员
刘立祥 副研
郑昌文 副研
王宇心 高工
张金芳 副研
彭启民 副研 13
★ 信 息 安 全
（ 081220 ） 信息安全国家重点实验室 01. 网络与系统安全 冯登国 研究员
周永彬 副研
赵险峰 副研 5 101. 政治理论
201. 英语
301. 数学（一）
463. 计算机软件基础
957. 信息安全基础
（ 463 和 957 可任 选一门）
02. 密码学安全协议 林东岱 研究员
武传坤 研究员
吴文玲 研究员
张振峰 副研
王明生 研究员 5
基础数学（ 070101 ） 公共实验室 01. 计算理论及其应用 李昂生 研究员 1 101. 政治理论
201. 英语
603. 数学分析
958. 线 性代数与近世代数
注：
1 、标有 * 号的导师为兼职导师；         2 、软件所网址： http://www.iscas.ac.cn ；   
3 、 e-mail 地址： yjs(at)iscas.ac.cn ；          4 、传真号： 010 － 62652420
5 、 2006 年软件所复试线为 357/50/50/90/90 ， 2005 年及 2004 年复试基本分数线为 350/50/50/90/90 ；
6 、招生计划数中约一半用来接收推荐免试生。