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

中国科学院软件研究所2012年硕士招生专业目录 招生单位代码：80001 院系所代码：150 单位地址：北京市中关村南四街4号 邮编：100190 电话：010 传真：010 联系人：李老师 邮件地址：caili@iscas.ac.cn 学科 专业 部门 研究方向代码及名称 指导教师 预计招 生人数（推免生数） 考试科目代码及名称 计算机软件与理论（081202） 计算机科学国家重点实验室 01. 网络与并发实时系统的设计与分析 林惠民 院 士 张文辉 研究员 焦 莉 研究员 李广元 副 研 李勇坚 副 研 吕 毅 副 研 吴 鹏 副 研 10（4） 101.政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 02. 程序分析与软件测试 张 健 研究员 03.数据挖掘及语义Web 沈一栋 研究员 04. 软件设计方法和形式规约 陈海明 研究员 05. 程序理论与验证技术 蒋 颖 研究员 詹乃军 研究员 张 昱 副 研 06.面向网络的计算理论及应用 李昂生 研究员 并行软件与计算科学实验室 07.并行算法与并行软件 李玉成 研究员 张云泉 研究员 姚继锋 高 工 4（3） 08.数值并行计算 曹建文 研究员 李会元 研究员 杨 超 副 研 基础软件 国家工程研究中心 9.可信计算与基础软件 李明树 研究员 贺也平 研究员 赵 琛 研究员 王永吉 研究员 丁治明 研究员 丁丽萍 研究员 郭 亮 高 工 陆 迤 副 研 芮建武 高 工 武延军 副 研 刘 剑 副 研 淮晓永 高 工 10（9） 10.中文信息处理与信息检索 吴 健 研究员 孙 乐 研究员 李文波 高 工 互联 网软 件技 术实 验室 11.软件过程方法与技术 李明树 研究员 王 青 研究员 王永吉 研究员 赵 琛 研究员 杨 叶 副 研 肖俊超 副 研 杨秋松 副 研 袁 峰 副 研 李 娟 副 研 10（9） 计算机软件与理论（081202） 软件工程技术研究开发中心 12.网络分布计算与软件工程 黄 涛 研究员 钟 华 研究员 魏 峻 研究员 金蓓弘 研究员 左 春 研究员 叶 丹 副 研 许舒人 副 研 张 波 副 研 范国闯 高 工 叶春扬 副 研 徐 罡 副 研 张文博 副 研 严 俊 副 研 13（8） 101.政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 计算机应用技术（081203） 计算 机科 学国 家重 点实 验室 01.计算机图形学 王文成 研究员 陈彦云 研究员 刘学慧 副 研 3（2） 101.政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 人机 交互 技术 与智 能信息处理实验室 02.人机交互技术，软件工程 王宏安 研究员 田 丰 研究员 滕东兴 副 研 王丹力 副 研 张凤军 副 研 乔 颖 副 研 王永炎 副 研 马翠霞 副 研 陈 辉 副 研 10（8） 03. 软件工程及应用 *韩永生 研究员 *孙 静 高 工 综合信息系统技术国家级重点实验室 04.信息处理与集成 胡晓惠 研究员 郑昌文 研究员 彭启民 副 研 张金芳 副 研 赵军锁 高 工 16（10） 05.网络技术及应用 邓　勇 高　工 刘立祥 副　研 郑　刚 高　工 马恒太 副　研 ★信息安全（081220） 信息安全国家重点实验室 01.网络与系统安全 冯登国 研究员 孙利民 研究员 苏璞睿 副 研 赵险峰 副 研 连一峰 副 研 皇甫伟 副 研 朱红松 副 研 周永彬 副 研 陈 华 副 研 徐 震 副 研 张 阳 高 工 张 敏 高 工 张立武 高 工 陈 驰 高 工 14（10） 101.政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 02.密码学与安全协议 林东岱 研究员 武传坤 研究员 吴文玲 研究员 王明生 研究员 薛 锐 研