中国科学院软件研究所（以下简称软件所）成立于1985年，是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心，集中了一批学术造诣深厚、享誉国内外的科学家，拥有一支高素质、高水平的青年科技人才队伍。软件所现有在职职工841人，其中科技人员746人、管理支撑人员79人，包括中国科学院院士4人、第三世界科学院院士1名，正高级专业技术人员83人、副高级专业技术人员163人。国家杰出青年科学基金获得者5人，国家优秀青年科学基金获得者3人。 软件所现有计算机科学与技术、软件工程、网络空间安全三个一级学科硕士、博士研究生培养点和电子信息全日制专业学位硕士研究生培养点。现在学研究生589人，其中硕士生333人，博士生256人，在站博士后36人。 软件所具有良好的研究生培养条件。2023年预计招收硕士研究生109人，其中推荐免试研究生占75%左右。最终招生人数以正式下达的招生计划文件为准，招收推免生人数以最后推免系统确认的录取人数为准。
| 单位代码 | 80150 | 单位地址 | 北京市中关村南四街4号 | 邮政编码 | 100190 |
| 联系部门 | 研究生部 | 联系电话 | 010-62661032 | 联系人 | 李锎 |
| 电子邮件 | likai21@iscas.ac.cn | 目录类别 | 硕士 |
| 学科、专业名称（代码）研究方向 | 指导教师 | 预计招生 | 考试科目 | 备注 |
| 081200 计算机科学与技术 |
| 7 |
|
|
| 01 (全日制)计算机图形学与虚拟现实 | 王文成 |
| ①101思想政治理论②201英语（一）③301数学（一）④408计算机学科专业基础 |
|
| 侯飞 | 同上 |
|
| 02 (全日制)算法与计算复杂性 | 夏盟佶 |
| 同上 |
|
| 03 (全日制)混成系统及AI系统的形式化验证 | 詹乃军 |
| 同上 |
|
| 薛白 | 同上 |
|
| 詹博华 | 同上 |
|
| 04 (全日制)量子软件理论 | 应明生 |
| 同上 |
|
| 应圣钢 | 同上 |
|
| 05 (全日制)可信智能系统 | 吴志林 |
| 同上 |
|
| 张立军 | 同上 |
|
| 06 (全日制)软件设计与分析方法，新型计算模型与应用 | 陈海明 |
| 同上 |
|
| 07 (全日制)学习理论，社会网络 | Georgios Barmpalias |
| 同上 |
|
| 08 (全日制)约束求解与组合优化 | 蔡少伟 |
| 同上 |
|
| 09 (全日制)软硬件深度融合 | 杨秋松 |
| 同上 |
|
| 10 (全日制)新型操作系统和系统安全 | 陶秋铭 |
| 同上 |
|
| 11 (全日制)人机交互，实时智能 | 王宏安 |
| 同上 |
|
| 田丰 | 同上 |
|
| 乔颖 | 同上 |
|
| 12 (全日制)网络分布计算理论与技术 | 金蓓弘 |
| 同上 |
|
| 黄涛 | 同上 |
|
| 王伟 | 同上 |
|
| 刘杰 | 同上 |
|
| 吴恒 | 同上 |
|
| 13 (全日制)智能信息处理 | 徐帆江 |
| 同上 |
|
| 吴凤鸽 | 同上 |
|
| 郑权 | 同上 |
|
| 14 (全日制)网络技术及应用 | 刘立祥 |
| 同上 |
|
| 15 (全日制)智能感知与类脑多模态信息处理 | 刘杰 |
| 同上 |
|
| 083500 软件工程 |
| 10 |
|
|
| 01 (全日制)软件安全，程序分析与测试 | 蔡彦 |
| ①101思想政治理论②201英语（一）③301数学（一）④408计算机学科专业基础 |
|
| 02 (全日制)约束求解与组合优化 | 蔡少伟 |
| 同上 |
|
| 03 (全日制)软件设计与分析方法，新型计算模型与应用 | 陈海明 |
| 同上 |
|
| 04 (全日制)软件测试，自动推理 | 张健 |
| 同上 |
|
| 05 (全日制)系统软件验证，智能软件分析与测试 | 吴鹏 |
| 同上 |
|
| 晏荣杰 | 同上 |
|
| 06 (全日制)软件安全 | 苏璞睿 |
| 同上 |
|
| 闫佳 | 同上 |
|
| 和亮 | 同上 |
|
| 07 (全日制)自然语言处理 | 孙乐 |
| 同上 |
|
| 韩先培 | 同上 |
|
| 08 (全日制)新型操作系统和系统安全 | 马恒太 |
| 同上 |
|
| 芮建武 | 同上 |
|
| 李文波 | 同上 |
|
| 翟健 | 同上 |
|
| 09 (全日制)用户界面技术 | 王宏安 |
| 同上 |
|
| 马翠霞 | 同上 |
|
| 陈辉 | 同上 |
|
| 邓小明 | 同上 |
|
| 朱嘉奇 | 同上 |
|
| 何小伟 | 同上 |
|
| 10 (全日制)分布式软件理论与技术 | 钟华 |
| 同上 |
|
| 魏峻 | 同上 |
|
| 黄涛 | 同上 |
|
| 严俊 | 同上 |
|
| 张文博 | 同上 |
|
| 吴国全 | 同上 |
|
| 许利杰 | 同上 |
|
| 窦文生 | 同上 |
|
| 张扶桑 | 同上 |
|
| 朱家鑫 | 同上 |
|
| 王焘 | 同上 |
|
| 11 (全日制)大数据与智能信息处理 | 郑昌文 |
| 同上 |
|
| 赵军锁 | 同上 |
|
| 唐熊忻 | 同上 |
|
| 吴玉泉 | 同上 |
|
| 12 (全日制)并行软件与数值优化算法 | 吴长茂 |
| 同上 |
|
| 13 (全日制)数据可视化与智能用户界面 | 张凤军 |
| 同上 |
|
| 14 (全日制)智能化软件开发方法及质量保障 | 杨立 |
| 同上 |
|
| 15 (全日制)智能系统与基础软件 | 关贝 |
| 同上 |
|
| 16 (全日制)智能基础理论与系统 | 赵琛 |
| 同上 |
|
| 张立波 | 同上 |
|
| 17 (全日制)操作系统 | 武延军 |
| 同上 |
|
| 李玲 | 同上 |
|
| 18 (全日制)智能软件安全 | 薛云志 |
| 同上 |
|
| 吴敬征 | 同上 |
|
| 083900 网络空间安全 |
| 2 |
|
|
| 01 (全日制)密码学与安全协议 | 吴文玲 |
| ①101思想政治理论②201英语（一）③301数学（一）④408计算机学科专业基础 |
|
| 徐静 | 同上 |
|
| 张振峰 | 同上 |
|
| 张斌 | 同上 |
|
| 张蕾 | 同上 |
|
| 02 (全日制)网络与系统安全 | 冯登国 |
| 同上 |
|
| 连一峰 | 同上 |
|
| 陈华 | 同上 |
|
| 张立武 | 同上 |
|
| 秦宇 | 同上 |
|
| 程亮 | 同上 |
|
| 李昊 | 同上 |
|
| 085400 电子信息 |
| 8 |
|
|
| 01 (全日制)图像分析与可视化 | 王文成 |
| ①101思想政治理论②204英语（二）③302数学（二）④408计算机学科专业基础 |
|
| 02 (全日制)软件设计与分析方法 | 陈海明 |
| 同上 |
|
| 03 (全日制)软件测试，自动推理 | 张健 |
| 同上 |
|
| 04 (全日制)硬件形式化验证 | 李勇坚 |
| 同上 |
|
| 吴志林 | 同上 |
|
| 05 (全日制)嵌入式系统的形式建模与验证 | 王淑灵 |
| 同上 |
|
| 06 (全日制)软件安全与信息保障 | 张敏 |
| 同上 |
|
| 张颖君 | 同上 |
|
| 杨轶 | 同上 |
|
| 白琨鹏 | 同上 |
|
| 杨晨 | 同上 |
|
| 陈隆 | 同上 |
|
| 07 (全日制)并行计算 | 李会元 |
| 同上 |
|
| 曹建文 | 同上 |
|
| 张常有 | 同上 |
|
| 陈峰 | 同上 |
|
| 刘芳芳 | 同上 |
|
| 牛树梓 | 同上 |
|
| 08 (全日制)软硬件深度融合 | 马越 |
| 同上 |
|
| 慈轶为 | 同上 |
|
| 09 (全日制)交互式系统设计与开发 | 韩腾 |
| 同上 |
|
| 冷昶 | 同上 |
|
| 10 (全日制)知识图谱与云计算 | 王青 |
| 同上 |
|
| 胡军 | 同上 |
|
| 11 (全日制)分布式软件系统工程 | 钟华 |
| 同上 |
|
| 叶丹 | 同上 |
|
| 陈伟 | 同上 |
|
| 12 (全日制)复杂系统软件 | 赵军锁 |
| 同上 |
|
| 周鑫 | 同上 |
|
| 13 (全日制)智能化软件系统工程 | 左春 |
| 同上 |
|
| 14 (全日制)编程语言与编译工具链 | 赵琛 |
| 同上 |
|
| 武延军 | 同上 |
|
| 15 (全日制)智能系统安全 | 薛云志 |
| 同上 |
|
| 吴敬征 | 同上 |
|
| 孟令中 | 同上 |
|
| 董乾 | 同上 |
|
