帝国理工学院计算机(安全软件系统)理学硕士项目使学生专门研究计算机设备、信息和服务用来避免意外或未授权访问的流程和机制。
该研究生项目适用于可能学习过但未深入学习过计算机专业知识的学生。
如果你想成为计算机行业特定领域的专家,帝国理工学院计算机(安全软件系统)理学博士项目将助你踏出达成该目标的重要第一步。
序号 | 课程介绍 | Curriculum |
1 | Prolog语言概论 | Short Introduction to Prolog |
2 | 个人项目 | MSc Computing Science (Specialist) Individual Project |
3 | Prolog语言和Matlab应用概论 | Short Introduction to Prolog and Matlab |
4 | 模态逻辑 | Modal Logic |
5 | 信息和编码 | Information and Codes |
6 | 分离逻辑:程序局部推理 | Separation Logic: Local Reasoning about Programs |
7 | 隐私增强技术 | Privacy Enhancing Techniques |
8 | 软件可靠性 | Software Reliability |
9 | 网络和网络安全 | Network and Web Security |
10 | 密码工程 | Cryptography Engineering |
11 | 编程语言类型系统 | Type Systems for Programming Languages |
12 | 机器学习 | Machine Learning |
13 | 并发进程 | Concurrent Processes |
14 | 复杂性 | Complexity |