中国科学院软件研究所2015年硕士招生专业目录
| 学术型学位硕士 | |||||
| 学科专业 | 部门 | 研究方向代码及名称（按各组报的招生目录汇总） | 指导教师 | 预计招生人数 | 考试科目代码及名称 |
| 计算机软件与理论（081202） | 计算机科学国家重点实验室 | 01.并发系统分析与验证 | 林惠民 张文辉 李广元 吕毅 吴鹏 | 9 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
| 02.概率并发系统的建模与检验 | 张立军 | ||||
| 03.硬件系统的形式化验证 | 李勇坚 | ||||
| 04.软件设计与分析方法，新型计算模型与应用 | 陈海明 | ||||
| 05.软件的形式化分析与验证 | 吴志林 | ||||
| 06.分布式算法 | 杨绍发 | ||||
| 07.数据挖掘与语义web | 沈一栋 | ||||
| 08.信息物理融合系统CPS | 詹乃军 | ||||
| 09.网络算法及其应用 | 李昂生 | ||||
| 并行软件与计算科学实验室 | 10.并行算法与并行软件 | 李玉成 杨超 龙国平 邓攀 陈峰 马菲菲 马文静 | 4 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
| 11.数值并行计算 | 曹建文 李会元 徐进 王婷 | ||||
| 基础 软件 国家 工程 研究 中心 | 12.高安全等级操作系统、数据库与知识库系统、云计算、基础软件与应用 | 李明树 丁治明 武延军 杨秋松 芮建武 淮晓永 刘奎恩 吴敬征 于佳耕 | 11 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
| 13.程序语言设计与编译技术，软件测试方法和工具 | 赵琛 薛云志 刘剑 陶秋铭 | ||||
| 14.系统安全、可信计算与数字取证 | 贺也平 王永吉 丁丽萍 | ||||
| 15.文本信息处理与信息检索 | 吴健 孙乐 李文波 韩先培 马龙龙 | ||||
| 学科专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 |
| 计算机软件与理论（081202） | 互联 网软 件技 术实 验室 | 16.软件知识工程 | 王青 钟浩 | 3 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
| 软件工程技术研究开发中心 | 17.网络分布计算理论与技术 | 黄涛 魏峻 钟华 金蓓弘 叶丹 张文博 吴国全 王伟 严俊 | 8 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
| 计算机应用技术（081203） | 计算 机科 学国 家重 点实 验室 | 01.计算机图形学 | 王文成 | 3 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
| 02.信息可视化、可视分析 | 时磊 | ||||
| 可信计算与信息保障实验室 | 03.可信计算与信息保障 | *冯登国 吴文玲 张振峰 苏璞睿 徐静 张斌 张阳 张敏 陈华 张立武 张立廷 | 6 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
| 人机 交互 技术 与智 能信息处理实验室 | 04.人机交互，实时智能 | 王宏安 田 丰 王丹力 滕东兴 马翠霞 张凤军 陈 辉 邓小明 乔 颖 王永炎 | 10 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
| 天基综合信息系统重点实验室 | 05.信息处理与集成 | 胡晓惠 郑昌文 王浩 吴凤鸽 徐帆江 吕品 窦竹梅 | 11 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 | |
| 06.网络技术及应用 | 刘立祥 马恒太 邓 勇 | ||||
| 学科专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 |
| 软件工程（0835，学术学位） | 计算 机科 学国 家重 点实 验室 | 01.程序分析与软件测试 | 张健 张震宇 | 1 | 101.思想政治理论 201.英语一 301.数学一 408.计算机学科专业基础综合 |
| 互联 网软 件技 术实 验室 | 02.软件过程方法与技术 | 李明树 王青 杨秋松 杨达 肖俊超 | 7 | ||
| 软件工程技术研究开发中心 | 03.分布式软件理论与技术 | 黄涛 钟华 魏峻 金蓓弘 叶丹 许舒人 乔晓强 | 5 | ||
| 专业学位硕士 | |||||
| 计算机技术（085211） | 计算机科学国家重点实验室 | 01.软件设计、验证及测试的方法与技术 | 张健 陈海明 | 2 | 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综合 |
| 02.虚拟现实与可视化技术 | 王文成 | ||||
| 可信计算与信息保障实验室 | 03.可信计算与信息保障 | 苏璞睿 连一峰 秦宇 范丽敏 程亮 应凌云 | 2 | 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综合 | |
| 并行软件与计算科学实验室 | 04.并行软件设计与实现 | 张常有 | 1 | ||
| 人机 交互 技术 与智 能信息处理实验室 | 05.交互式系统设计与开发 | 王宏安 田丰 王丹力 | 2 | 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综合 | |
| 天基综合信息系统重点实验室 | 06.信息与数字工程 | 张金芳 彭启民 | 2 | ||
| 学科专业 | 部门 | 研究方向代码及名称 | 指导教师 | 预计招 生人数 | 考试科目代码及名称 |
| 软件工程（085212，专业学位） | 互联 网软 件技 术实 验室 | 01.软件过程技术及应用 | 翟健 | 2 | 101.思想政治理论 204.英语二 302.数学二 408.计算机学科专业基础综合 |
| 软件工程技术研究开发中心 | 02.分布式软件系统工程 | *左春 范国闯 徐罡 | 2 | ||
| 03.中间件技术与系统 | |||||
| 备注 | 1、所列计划为预计招生人数，招生计划最终以国家下达的为准； 2、招生计划的70%左右用于接收推荐免试生； 3、标有*号的导师为我所兼职导师； 4、计算机软件与理论等学术型的招生专业，可从推免生中接收少量直博生； 5、2014年10月20日左右，将更新我所网页上的硕士招生目录，标注各部门拟录推免人数。 | ||||
