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

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