2019年中国科学院大学软件研究所专业招生简章
作者：科大科院考研网 发表时间：2018-10-30 来源：中科院招生办
中国科学院软件研究所（以下简称软件所）成立于1985年，是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心，集中了一批学术造诣深厚、享誉国内外的科学家，拥有一支高素质、高水平的青年科技人才队伍。研究所现有正式职工701人，其中中国科学院院士3名，第三世界科学院院士1名，研究员及正高级工程师72名，副研究员及高级工程师130名。国家杰出青年科学基金获得者5人，国家优秀青年基金获得者1人，中科院“****”入选者10人，“青年****”入选者1人。全所在职职工平均年龄36岁。 软件所现有计算机科学与技术、软件工程（0835）、网络空间安全三个一级学科硕士、博士研究生培养点和软件工程全日制专业学位硕士研究生培养点。现在学研究生492人，其中硕士生269人，博士生223人。 软件所具有良好的研究生培养条件。2019年预计招收硕士研究生95人，其中推荐免试研究生70人左右。最终招生人数以正式下达的招生计划文件为准，招收推免生人数以最后推免系统确认的录取人数为准。 软件所网址：http://www.iscas.ac.cn 电子邮箱：caili@iscas.ac.cn
| 单位代码 | 80150 | 单位地址 | 北京市中关村南四街4号 | 邮政编码 | 100190 |
| 联系部门 | 研究生部 | 联系电话 | 010-62561196 | 联系人 | 李彩丽 |
| 电子邮件 | caili@iscas.ac.cn | 目录类别 | 硕士 | ||
| 网址 | http://www.iscas.ac.cn | ||||
| 学科、专业名称（代码）研究方向 | 指导教师 | 预计招生 | 考试科目 | 备注 |
| 081202 计算机软件与理论 | 21 | |||
| 01 (全日制)软件设计与分析方法、新型计算模型与应用 | 陈海明 | ①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业） | ||
| 02 (全日制)并发理论与应用、并发系统分析与验证 | 焦莉 | 同上 | ||
| 张文辉 | 同上 | |||
| 03 (全日制)程序分析与验证 | 李勇坚 | 同上 | ||
| 詹乃军 | 同上 | |||
| 吴志林 | 同上 | |||
| 04 (全日制)数据挖掘与人工智能 | 沈一栋 | 同上 | ||
| 05 (全日制)算法设计分析与复杂性 | 夏盟佶 | 同上 | ||
| Georgios Barmpalias | 同上 | |||
| 06 (全日制)概率模型验证与分析 | 张立军 | 同上 | ||
| 07 (全日制)混成系统安全性验证 | 薛白 | 同上 | ||
| 08 (全日制)组合优化与算法工程 | 蔡少伟 | 同上 | ||
| 09 (全日制)并行算法与并行软件 | 曹建文 | 同上 | ||
| 李玉成 | 同上 | |||
| 刘芳芳 | 同上 | |||
| 10 (全日制)网络检索与数据挖掘 | 牛树梓 | 同上 | ||
| 11 (全日制)中文信息处理与检索 | 孙乐 | 同上 | ||
| 马龙龙 | 同上 | |||
| 韩先培 | 同上 | |||
| 12 (全日制)新型操作系统及系统安全 | 李明树 | 同上 | ||
| 贺也平 | 同上 | |||
| 翟健 | 同上 | |||
| 13 (全日制)软硬件深度融合 | 马恒太 | 同上 | ||
| 杨秋松 | 同上 | |||
| 李文波 | 同上 | |||
| 陶秋铭 | 同上 | |||
| 马越 | 同上 | |||
| 14 (全日制)网络分布计算理论与技术 | 金蓓弘 | 同上 | ||
| 黄涛 | 同上 | |||
| 王伟 | 同上 | |||
| 刘杰 | 同上 | |||
| 081203 计算机应用技术 | 16 | |||
| 01 (全日制)计算机图形学与虚拟现实 | 王文成 | ①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业） | ||
| 侯飞 | 同上 | |||
| 02 (全日制)可视分析与数据挖掘 | 时磊 | 同上 | ||
| 03 (全日制)人机交互，实时智能 | 王宏安 | 同上 | ||
| 田丰 | 同上 | |||
| 乔颖 | 同上 | |||
| 陈辉 | 同上 | |||
| 范向民 | 同上 | |||
| 04 (全日制)智能信息处理 | 郑昌文 | 同上 | ||
| 胡晓惠 | 同上 | |||
| 赵军锁 | 同上 | |||
| 吴凤鸽 | 同上 | |||
| 许克峰 | 同上 | |||
| 廖名学 | 同上 | |||
| 05 (全日制)网络技术及应用 | 刘立祥 | 同上 | ||
| 083500 软件工程 | 36 | |||
| 01 (全日制)程序分析与软件测试 | 张健 | ①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业） | ||
| 蔡彦 | 同上 | |||
| 02 (全日制)嵌入式/分布式系统分析与优化 | 朱雪阳 | 同上 | ||
| 03 (全日制)实时并发系统的分析与验证 | 李广元 | 同上 | ||
| 04 (全日制)多核并发程序分析、验证与测试 | 吴鹏 | 同上 | ||
| 05 (全日制)软件安全 | 苏璞睿 | 同上 | ||
| 06 (全日制)数据挖掘与大数据 | 陈峰 | 同上 | ||
| 07 (全日制)软件分析与系统安全 | 李明树 | 同上 | ||
| 贺也平 | 同上 | |||
| 08 (全日制)用户界面技术 | 王宏安 | 同上 | ||
| 马翠霞 | 同上 | |||
| 何小伟 | 同上 | |||
| 09 (全日制)软件开发与保障技术 | 王青 | 同上 | ||
| 10 (全日制)分布式软件理论与技术 | 钟华 | 同上 | ||
| 魏峻 | 同上 | |||
| 叶丹 | 同上 | |||
| 黄涛 | 同上 | |||
| 严俊 | 同上 | |||
| 张文博 | 同上 | |||
| 陈伟 | 同上 | |||
| 吴国全 | 同上 | |||
| 高楚舒 | 同上 | |||
| 窦文生 | 同上 | |||
| 王焘 | 同上 | |||
| 吴恒 | 同上 | |||
| 11 (全日制)复杂系统软件 | 郑昌文 | 同上 | ||
| 胡晓惠 | 同上 | |||
| 吕品 | 同上 | |||
| 12 (全日制)时空大数据及智能分析 | 张凤军 | 同上 | ||
| 丁治明 | 同上 | |||
| 13 (全日制)大数据与人工智能 | 王永吉 | 同上 | ||
| 杨立 | 同上 | |||
| 14 (全日制)智能基础理论与系统 | 赵琛 | 同上 | ||
| 武延军 | 同上 | |||
| 15 (全日制)智能系统软件 | 武延军 | 同上 | ||
| 083900 网络空间安全 | 6 | |||
| 01 (全日制)密码学与安全协议 | 吴文玲 | ①101思想政治理论②201英语一③301数学一④863计算机学科综合（专业） | ||
| 徐静 | 同上 | |||
| 张振峰 | 同上 | |||
| 张斌 | 同上 | |||
| 02 (全日制)网络与系统安全 | 苏璞睿 | 同上 | ||
| 连一峰 | 同上 | |||
| 张敏 | 同上 | |||
| 陈华 | 同上 | |||
| 张立武 | 同上 | |||
| 张阳 | 同上 | |||
| 杨轶 | 同上 | |||
| 085212 软件工程 | 16 | |||
| 01 (全日制)软件设计与分析方法 | 陈海明 | ①101思想政治理论②204英语二③302数学二④863计算机学科综合（专业） | ||
| 02 (全日制)程序分析与软件测试 | 张健 | 同上 | ||
| 张震宇 | 同上 | |||
| 03 (全日制)图像分析与可视化 | 王文成 | 同上 | ||
| 04 (全日制)软件安全与信息保障 | 秦宇 | 同上 | ||
| 程亮 | 同上 | |||
| 和亮 | 同上 | |||
| 刘玉岭 | 同上 | |||
| 05 (全日制)中文信息处理与检索 | 吴健 | 同上 | ||
| 06 (全日制)基础软件与应用 | 芮建武 | 同上 | ||
| 07 (全日制)交互式系统设计与开发 | 邓小明 | 同上 | ||
| 朱嘉奇 | 同上 | |||
| 08 (全日制)软件开发与保障技术 | 王俊杰 | 同上 | ||
| 09 (全日制)分布式软件系统工程 | 钟华 | 同上 | ||
| 许舒人 | 同上 | |||
| 左春 | 同上 | |||
| 10 (全日制)复杂系统软件 | 吕品 | 同上 | ||
| 周鑫 | 同上 | |||
| 11 (全日制)软件与智能系统安全性 | 薛云志 | 同上 | ||
| 吴敬征 | 同上 | |||
| 12 (全日制)智能计算编译工具链 | 李玲 | 同上 |
