2022年中国科学院软件研究所硕士研究生招生目录
作者:科大科院考研网 发表时间:2021-09-17 来源:研招办
中国科学院软件研究所(以下简称软件所)成立于1985年,是一所致力于计算机科学理论和软件高新技术研究与发展的综合性基地型研究所。 软件所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等四个研究部、总体部以及协同创新中心,集中了一批学术造诣深厚、享誉国内外的科学家,拥有一支高素质、高水平的青年科技人才队伍。研究所现有正式职工813人,其中中国科学院院士3名,第三世界科学院院士1名,研究员及正高级工程师82名,副研究员及高级工程师148名。国家杰出青年科学基金获得者4人,国家优秀青年基金获得者3人,全所在职职工平均年龄36岁。 软件所现有计算机科学与技术、软件工程、网络空间安全三个一级学科硕士、博士研究生培养点和电子信息全日制专业学位硕士研究生培养点。现在学研究生565人,其中硕士生320人,博士生245人,另有留学生4人。 软件所具有良好的研究生培养条件。2022年预计招收硕士研究生120人(含代杭高院招收专业硕士20人),其中推荐免试研究生占70%左右。最终招生人数以正式下达的招生计划文件为准,招收推免生人数以最后推免系统确认的录取人数为准。 软件所网址:http://www.iscas.ac.cn 电子邮箱:zhanghuan@iscas.ac.cn
单位代码 | 80150 | 单位地址 | 北京市中关村南四街4号 | 邮政编码 | 100190 |
联系部门 | 研究生部 | 联系电话 | 010-62661031 | 联系人 | 张欢 |
电子邮件 | zhanghuan@iscas.ac.cn | 目录类别 | 硕士 | ||
网址 | http://www.iscas.ac.cn |
学科、专业名称(代码)研究方向 | 预计招生 | 考试科目 | 备注 |
081200 计算机科学与技术 | 31 | ||
01 (全日制)计算机图形学与虚拟现实 | ①101思想政治理论②201英语(一)③301数学(一)④408计算机学科专业基础 | ||
02 (全日制)算法与计算复杂性 | 同上 | ||
03 (全日制)软件分析与验证 | 同上 | ||
04 (全日制)约束求解与组合优化 | 同上 | ||
05 (全日制)软件设计与分析方法、新型计算模型与应用 | 同上 | ||
06 (全日制)量子软件理论 | 同上 | ||
07 (全日制)嵌入式系统的形式建模与验证 | 同上 | ||
08 (全日制)混成系统及AI系统的形式化验证 | 同上 | ||
09 (全日制)并行计算与并行软件 | 同上 | ||
10 (全日制)自然语言理解 | 同上 | ||
11 (全日制)软硬件深度融合 | 同上 | ||
12 (全日制)人机交互、实时智能 | 同上 | ||
13 (全日制)网络分布计算理论与技术 | 同上 | ||
14 (全日制)智能信息处理 | 同上 | ||
15 (全日制)网络技术及应用 | 同上 | ||
16 (全日制)大数据与人工智能 | 同上 | ||
083500 软件工程 | 39 | ||
01 (全日制)嵌入式/分布式系统分析、设计与优化 | ①101思想政治理论②201英语(一)③301数学(一)④408计算机学科专业基础 | ||
02 (全日制)程序分析与测试、软件安全 | 同上 | ||
03 (全日制)软件测试、自动推理 | 同上 | ||
04 (全日制)软件安全 | 同上 | ||
05 (全日制)高性能计算 | 同上 | ||
06 (全日制)用户界面技术 | 同上 | ||
07 (全日制)智能软件工程 | 同上 | ||
08 (全日制)智能需求工程 | 同上 | ||
09 (全日制)分布式软件理论与技术 | 同上 | ||
10 (全日制)大数据与智能信息处理 | 同上 | ||
11 (全日制)智能化软件开发方法与质量保证 | 同上 | ||
12 (全日制)智能基础理论与系统 | 同上 | ||
13 (全日制)操作系统 | 同上 | ||
14 (全日制)智能软件安全 | 同上 | ||
083900 网络空间安全 | 8 | ||
01 (全日制)密码学与安全协议 | ①101思想政治理论②201英语(一)③301数学(一)④408计算机学科专业基础 | ||
02 (全日制)网络与系统安全 | 同上 | ||
085400 电子信息 | 42 | ||
01 (全日制)图像分析与可视化 | ①101思想政治理论②204英语(二)③302数学(二)④408计算机学科专业基础 | ||
02 (全日制)软件设计与分析方法 | 同上 | ||
03 (全日制)软件测试、自动推理 | 同上 | ||
04 (全日制)系统软件验证、智能软件分析与测试 | 同上 | ||
05 (全日制)硬件形式化验证 | 同上 | ||
06 (全日制)软件安全与信息保障 | 同上 | ||
07 (全日制)并行计算 | 同上 | ||
08 (全日制)自然语言处理 | 同上 | ||
09 (全日制)基础软件与应用 | 同上 | ||
10 (全日制)软件分析与系统安全 | 同上 | ||
11 (全日制)新型操作系统及系统安全 | 同上 | ||
12 (全日制)交互式系统设计与开发 | 同上 | ||
13 (全日制)知识图谱与云计算 | 同上 | ||
14 (全日制)分布式软件系统工程 | 同上 | ||
15 (全日制)复杂系统软件 | 同上 | ||
16 (全日制)智能化软件系统工程 | 同上 | ||
17 (全日制)编程语言与编译工具链 | 同上 | ||
18 (全日制)智能系统安全 | 同上 | ||
19 (全日制)智能基础理论、编程语言与编译器 | 同上 | 代杭高院招生方向 | |
20 (全日制)操作系统 | 同上 | 代杭高院招生方向 | |
21 (全日制)智能计算软件 | 同上 | 代杭高院招生方向 | |
22 (全日制)操作系统、系统安全 | 同上 | 代杭高院招生方向 | |
23 (全日制)智能基础理论与算法 | 同上 | 代杭高院招生方向 | |
24 (全日制)智能系统测试 | 同上 | 代杭高院招生方向 | |
25 (全日制)自动推理与约束求解、程序分析与软件测试 | 同上 | 代杭高院招生方向 | |
26 (全日制)嵌入式系统、程序验证、形式化方法 | 同上 | 代杭高院招生方向 | |
27 (全日制)计算机图形学与可视计算 | 同上 | 代杭高院招生方向 | |
28 (全日制)程序验证、形式语言与自动机理论 | 同上 | 代杭高院招生方向 | |
29 (全日制)模型检测、形式化方法 | 同上 | 代杭高院招生方向 | |
30 (全日制)混成系统形式验证、AI形式验证 | 同上 | 代杭高院招生方向 | |
31 (全日制)并发实时软件设计与分析方法 | 同上 | 代杭高院招生方向 | |
32 (全日制)并发软件验证与测试、形式化方法 | 同上 | 代杭高院招生方向 | |
33 (全日制)计算机图形学与虚拟现实 | 同上 | 代杭高院招生方向 | |
34 (全日制)软件分析与验证 | 同上 | 代杭高院招生方向 | |
35 (全日制)系统建模、分析与测试 | 同上 | 代杭高院招生方向 | |
36 (全日制)计算机图形学、虚拟现实、计算机视觉 | 同上 | 代杭高院招生方向 | |
37 (全日制)智能软件定义无线网络、群体智能 | 同上 | 代杭高院招生方向 | |
38 (全日制)信息安全与区块链 | 同上 | 代杭高院招生方向 | |
39 (全日制)数据与智能、城市智能计算、边缘智能与分布式学习 | 同上 | 代杭高院招生方向 | |
40 (全日制)多模态情感识别、机器学习 | 同上 | 代杭高院招生方向 | |
41 (全日制)存算一体、高性能存储、大数据与计算智能 | 同上 | 代杭高院招生方向 | |
42 (全日制)基于智能计算技术的金融数据治理、分析与挖掘方法及应用 | 同上 | 代杭高院招生方向 | |
43 (全日制)不确定性推理与建模、鲁棒的机器学习方法 | 同上 | 代杭高院招生方向 |