2023年软件所硕士招生目录.docx

中国科学院软件研究所 2022 年硕士招生专业目录 学科 专业 计 算 机 科 学 与 技 术 （ 0812 ） 研究方向代码及名称 01. 计算机图形学与虚拟现实 王文成 侯 飞 02. 算法与计算复杂性 夏盟佶 03. 软件分析与验证 张立军 吴志林 04. 约束求解与组合优化 蔡少伟 05. 软件设计与分析方法、新型计算模型与 应用 陈海明 06. 量子软件理论 应明生 李杨佳 应圣钢 07. 嵌入式系统的形式建模与验证 王淑灵 08. 混成系统及 AI 系统的形式化验证 09. 并行计算与并行软件 10. 自然语言理解 11. 软硬件深度融合 12. 人机交互、实时智能 13. 网络分布计算理论与技术 14. 智能信息处理 学科 专业 指导教师 詹博华 詹乃军 薛白 李会元 曹建文 马菲菲 马文静 孙乐 陈波 韩先培 杨秋松 慈轶为 王宏安 韩腾 田丰 陈辉 黄涛 金蓓弘 王伟 张扶桑 徐帆江 吴凤鸽 部门 并行软件与计算 科学实验室 人机交互技术与 智能信息处理实 验室 软件工程技术研 究开发中心 天基综合信息系 统重点实验室 王永吉 协同创新中心 研究方向代码及名称 指导教师 部门 01. 嵌入式/分布式系统分析、设计与优化 朱雪阳 02. 程序分析与测试、软件安全 蔡彦 0835 05. 高性能计算 ①101 思想政治理 论 ②201 英语（一） ③301 数学（一） ④408 计算机学科 专业基础 总体部暨基础软 件国家工程中心 16. 大数据与人工智能 ） 31 中文信息处理实 验室 刘立祥 考试科目代码及名 称 计划 计算机国家重点 实验室 张健 苏璞睿 范丽敏 闫佳 牛树梓 黎雷生 张常有 陈峰 考试科目代码及名 称 计算机科学国家 重点实验室 15. 网络技术及应用 软 件 03. 软件测试、自动推理 工 程 （ 04. 软件安全 招生人数 可信计算与信息 保障实验室 并行软件与计算 科学实验室 38 ①101 思想政治理 论 ②201 英语（一） ③301 数学（一） ④408 计算机学科 专业基础 06. 用户界面技术 07. 智能软件工程 08. 智能需求工程 09. 分布式软件理论与技术 10. 大数据与智能信息处理 黄涛 钟华 魏峻 叶丹 吴国全 许利杰 张文博 窦文生 朱家鑫 郑昌文 吴玉泉 唐熊忻 李海昌 赵军锁 杨立 12. 智能基础理论与系统 赵琛 张立波 14. 智能软件安全 研究方向代码及名称 网 络 空 间 安 全 （ 01. 密码学与安全协议 0839 02. 网络与系统安全 ） 电 子 01. 图像分析与可视化 信 息 （ 02. 软件设计与分析方法 专 硕 03. 软件测试、自动推理 ） 人机交互技术与 智能信息处理实 验室 互联网软件技术 实验室 石琳 11. 智能化软件开发方法与质量保证 13. 操作系统 学科 专业 王宏安 朱嘉奇 马翠霞 王青 王俊杰 王丹丹 李玲 武延军 薛云志 吴敬征 软件工程技术研 究开发中心 天基综合信息系 统重点实验室 协同创新中心 智能软件研究中 心 考试科目代码及名 称 指导教师 张振峰 吴文玲 徐 静 张 蕾 苏璞睿 陈华 张海霞 张立武 可信计算与信息 保障实验室 8 ①101 思想政治理 论 ②201 英语（一） ③301 数学（一） ④408 计算机学科 专业基础 24 ①101 思想政治理 论 ②204 英语（二） ③302 数学（二） ④408 计算机学科 专业基础） 王文成 陈海明 张健 计算机国家重点 实验室 04. 系统软件验证、智能软件分析与测试 晏荣杰 吴鹏 05. 硬件形式化验证 李勇坚 11. 新型操作系统及系统安全 白琨鹏 张敏 张颖君 李会元 曹建文 张常有 陈峰 马龙龙 韩先培 芮建武 李文波 马恒太 陶秋铭 马越 翟健 12. 交互式系统设计与开发 马翠霞 陈辉 13. 知识图谱与云计算 王青 06. 软件安全与信息保障 07. 并行计算 08. 自然语言处理 09. 基础软件与应用 10. 软件分析与系统安全 可信计算与信息 保障实验室 并行软件与计算 科学实验室 中文信息处理实 验室 总体部暨基础软 件国家工程中心 15. 复杂系统软件 钟华 王焘 周鑫 赵军锁 人机交互技术与 智能信息处理实 验室 互联网软件技术 实验室 软件工程技术研 究开发中心 天基综合信息系 统重点实验室 16. 智能化软件系统工程 左春 协同创新中心 赵琛 武延军 孟令中 薛云志 吴敬征 智能软件研究中 心 14. 分布式软件系统工程 17. 编程语言与编译工具链 18. 智能系统安全 19. 智能基础理论、编程语言与编译器 20. 操作系统 21. 智能计算软件 22. 操作系统、系统安全 23. 智能基础理论与算法 代杭高院招生方向 24. 智能系统测试 25. 自动推理与约束求解、程序分析与软件 测试 26. 嵌入式系统、程序验证、形式化方法 27. 计算机图形学与可视计算 28. 程序验证、形式语言与自动机理论 20 29. 模型检测、形式化方法 30. 混成系统形式验证、AI 形式验证 31. 并发实时软件设计与分析方法 32. 并发软件验证与测试、形式化方法 33. 计算机图形学与虚拟现实 34. 软件分析与验证 35. 系统建模、分析与测试 36. 计算机图形学、虚拟现实、计算机视觉 37. 智能软件定义无线网络、群体智能 38. 信息安全与区块链 39. 数据与智能、城市智能计算、边缘智能 与分布式学习 40. 多模态情感识别、机器学习 41. 存算一体、高性能存储、大数据与计算 智能 42. 基于智能计算技术的金融数据治理、分 析与挖掘方法及应用 43. 不确定性推理与建模、鲁棒的机器学习 方法 1. 表中所列为预计招生计划，实际招生计划将以国家下达的招生计划为准； 备 注 2. 计划的 75%左右用于接收推荐免试生，实际推免生人数以教育部推免服务系统确认的为准； 3. 10 月 12 日左右，将更新软件所网页上的硕士招生目录，标出各专业实际接收推免生人数。