中国科学院软件研究所2013年硕士招生专业目录
招生单位代码：80001 院系所代码：150 单位地址：北京市中关村南四街4号 邮编：100190
电话：010-62561196 传真：010-62562533 联系人：李老师 邮件地址：caili@iscas.ac.cn
| 工学硕士 | ||||||||
| 学科专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 | |||
| 计算机科学与技术（0812） | 计算机科学国家重点实验室 | 01.网络与并发实时系统的设计与分析 | 林惠民 张文辉 柳欣欣 焦莉 李广元 李勇坚 吕毅 吴鹏 | 12 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |||
| 02.数据挖掘与语义web | 沈一栋 | |||||||
| 03.自动推理 | 张健 | |||||||
| 04.程序设计理论与网络建模 | 蒋颖 | |||||||
| 05.信息物理融合系统CPS | 詹乃军 | |||||||
| 06.程序理论与验证技术 | 张昱 | |||||||
| 07.软件设计与分析方法 | 陈海明 | |||||||
| 08.网络算法及其应用 | 李昂生 | |||||||
| 09.计算机图形学 | 王文成 陈彦云 刘学慧 时磊 | |||||||
| 并行软件与计算科学实验室 | 10.并行算法与并行软件 | 李玉成 张云泉 | 4 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||||
| 11.数值并行计算 | 曹建文 李会元 | |||||||
| 基础 软件 国家 工程 研究 中心 | 12.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用 | 李明树 丁治明 武延军 芮建武 淮晓永 | 10 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||||
| 13.程序语言设计与编译技术，软件测试方法和工具 | 赵琛 薛云志 刘剑 郭亮 | |||||||
| 14.系统安全、可信计算与数字取证 | 贺也平 王永吉 丁丽萍 陆迤 | |||||||
| 15.文本信息处理与信息检索 | 吴健 孙乐 李文波 | |||||||
| 互联 网软 件技 术实 验室 | 16.软件知识工程 | 王青 张文 钟浩 | 3 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||||
| 软件工程技术研究开发中心 | 17.网络分布计算理论与技术 | 黄涛 钟华 魏峻 金蓓弘 叶丹 张文博 叶春扬 吴国全 严俊 | 8 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||||
| 计算机科学与技术（0812） | 人机 交互 技术 与智 能信息处理实验室 | 18.人机交互，实时智能 | 王宏安 田 丰 王丹力 张凤军 滕东兴 马翠霞 陈 晖 邓小明 乔 颖 王永炎 | １０ | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |||
| 综合信息系统技术国家级重点实验室 | 19.信息处理与集成 | 胡晓惠 郑昌文 窦竹梅 彭启民 张金芳 | 16 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | ||||
| 20.网络技术及应用 | 邓 勇 刘立祥 郑 刚 马恒太 | |||||||
| 21.可信计算与信息保障 | 苏璞睿 张阳 连一峰 | |||||||
| 软件工程（0835） | 计算 机科 学国 家重 点实 验室 | 01.程序分析与软件测试 | 张健 张震宇 | 1 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |||
| 02.程序语言与程序分析 | 陈海明 | |||||||
| 互联 网软 件技 术实 验室 | 03.软件过程方法与技术 | 李明树 王青 李娟 杨叶 杨秋松 杨达 肖俊超 | 7 | |||||
| 软件工程技术研究开发中心 | 04.分布式软件工程 | 黄涛 钟华 魏峻 金蓓弘 许舒人 徐罡 | 5 | |||||
| 工程硕士 | ||||||||
| 学科 专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 | |||
| 计算机技术（085211） | 计算机科学国家重点实验室 | 01.软件设计、验证及测试的方法与技术 | 李广元 吕毅 吴鹏 张震宇 | 8 | 101.思想政治理 204.英语二 302.数学二 408.计算机学科专业基础综合 | |||
| 02.虚拟现实与可视化技术 | 王文成 陈彦云 时磊 刘学慧 | |||||||
| 并行软件与计算科学实验室 | 03.并行软件设计与实现 | 杨超 王婷 姚继锋 | ||||||
| 人机 交互 技术 与智 能信息处理实验室 | 04.交互式系统设计与开发 | *韩永生 *孙 静 | ||||||
| 综合信息系统技术国家级重点实验室 | 05.信息与数字工程 | 吕品 赵军锁 | ||||||
| 06.可信计算与信息保障 | 连一峰 | |||||||
| 软件工程(085212) | 互联 网软 件技 术实 验室 | 01.软件过程技术及应用 | 肖俊超 袁峰 | 5 | 101.思想政治理 204.英语二 302.数学二 408.计算机学科业基础综合 | |||
| 软件工程技术研究开发中心 | 02.分布式软件系统工程 | *左春 范国闯 张波 | ||||||
| 03.中间件技术与系统 | ||||||||
| 备注 | 1．所列计划为预计招生人数，其中70%左右用于接收推荐免试生； 2．标有*号的导师为软件研究所兼职导师； 3．2012年10月中下旬，将公布各部门拟录取的推荐免试生人数，供考生报名参考； 4．招生计划最终以国家下达的为准。 | |||||||
中科院软件研究所2013年硕士生招生简章