学科、专业名称(代码)研究方向 | 预计招生 | 考试科目 | 备注 |
081200 计算机科学与技术 | 5 |
|
|
01 (全日制)计算机图形学与虚拟现实 |
| ①101思想政治理论②201英语(一)③301数学(一)④408计算机学科专业基础 |
|
02 (全日制)算法与计算复杂性 |
| 同上 |
|
03 (全日制)软件分析与验证 |
| 同上 |
|
04 (全日制)约束求解与组合优化 |
| 同上 |
|
05 (全日制)软件设计与分析方法、新型计算模型与应用 |
| 同上 |
|
06 (全日制)量子软件理论 |
| 同上 |
|
07 (全日制)嵌入式系统的形式建模与验证 |
| 同上 |
|
08 (全日制)混成系统及AI系统的形式化验证 |
| 同上 |
|
09 (全日制)并行计算与并行软件 |
| 同上 |
|
10 (全日制)自然语言理解 |
| 同上 |
|
11 (全日制)软硬件深度融合 |
| 同上 |
|
12 (全日制)人机交互、实时智能 |
| 同上 |
|
13 (全日制)网络分布计算理论与技术 |
| 同上 |
|
14 (全日制)智能信息处理 |
| 同上 |
|
15 (全日制)网络技术及应用 |
| 同上 |
|
16 (全日制)大数据与人工智能 |
| 同上 |
|
083500 软件工程 | 8 |
|
|
01 (全日制)嵌入式/分布式系统分析、设计与优化 |
| ①101思想政治理论②201英语(一)③301数学(一)④408计算机学科专业基础 |
|
02 (全日制)程序分析与测试、软件安全 |
| 同上 |
|
03 (全日制)软件测试、自动推理 |
| 同上 |
|
04 (全日制)软件安全 |
| 同上 |
|
05 (全日制)高性能计算 |
| 同上 |
|
06 (全日制)用户界面技术 |
| 同上 |
|
07 (全日制)智能软件工程 |
| 同上 |
|
08 (全日制)智能需求工程 |
| 同上 |
|
09 (全日制)分布式软件理论与技术 |
| 同上 |
|
10 (全日制)大数据与智能信息处理 |
| 同上 |
|
11 (全日制)智能化软件开发方法与质量保证 |
| 同上 |
|
12 (全日制)智能基础理论与系统 |
| 同上 |
|
13 (全日制)操作系统 |
| 同上 |
|
14 (全日制)智能软件安全 |
| 同上 |
|
083900 网络空间安全 | 3 |
|
|
01 (全日制)密码学与安全协议 |
| ①101思想政治理论②201英语(一)③301数学(一)④408计算机学科专业基础 |
|
02 (全日制)网络与系统安全 |
| 同上 |
|
085400 电子信息 | 20 |
|
|
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 (全日制)不确定性推理与建模、鲁棒的机器学习方法 |
| 同上 | 代杭高院招生方向 |