Imperial College London

MSc in Computing (Security and Reliability)

计算机理学（安全与可靠性）硕士项目是计算机理学（具体研究方向）硕士项目之四，全日制学制一年。

This course specialises in the processes and mechanisms by which computer-based equipment, information and services are protected from unintended or unauthorised access.

本课程专门研究使得基于计算机的设备，信息和服务免受意外或未授权访问的过程和机制。

课程结构

Compulsory 必修课

SUMMER 夏季

• 542 MSc Computing Science (Specialist) Individual Project
• 计算机科学（安全与可靠性）个人项目

Selective: Choose the equivalent of between six and nine full courses from the list below. Courses whose number ends in H are half courses.

限选课：从下面选择6到9门课程，注意以H结尾的课程是半学年课程

AUTUMN 秋季

• 349 Information and Coding Theory
• 信息论和编码理论
• 382 Type Systems for Programming Languages
• 程序设计语言的类型系统
• 404H Separation Logic: Local Reasoning about Programs (Half Course)
• 分离逻辑：关于程序的局部推理（H）
• 406H Concurrent Processes (Half Course)
• 并发进程（H）
• 408 Privacy Engineering 隐私工程
• 410 Scalable Systems for the Cloud 云的可扩展系统
• 438 Complexity 复杂性
• 445H Advanced Security (Half Course) 高级安全（H）
• 471 Advanced Issues in Object Oriented Programming
• 面对对象编程高级议题
• 484 Quantum Computing 量子计算
• 496 Mathematics for Machine Learning
• 面向计算机学习的数学
• 499H Modal Logic (Half Course) 模态逻辑（H）

SPRING 春季

• 331 Network and Web Security 网络和网站安全
• 332 Advanced Computer Architecture
• 高级计算机架构
• 409 Cryptography Engineering 加密工程
• 412H Large Scale Data Management (Half Course)
• 大规模数据管理（H）
• 440H Software Reliability (Half Course)
• 软件可靠性 （H）
• 446H Applied Network Security (Half Course)
• 应用网络安全（H）
• 447H Advanced Security in Smartphone and IoT Systems (Half Course)
• 智能手机和IoT系统高级安全（H）
• 467 Principles of Distributed Ledgers
• 分布式账本原则
• 468H Probabilistic Programming (Half Course)
• 概率推理 (H)
• 469 Probabilistic Model Checking and Analysis
• 概率模型检测与分析
• 475 Software Engineering for Industry
• 工业软件工程
• 493 Probabilistic Inference 概率推理
• 498H Logics for Strategic Reasoning in AI (Half Course)
• 人工智能战略推理逻辑（H）

Optional: Choose the equivalent of between zero and three full courses from the list below. Courses whose number ends in H are half courses.

选修课：从下面选择零到三门课程，注意以H结尾的课程是半学年课程

AUTUMN 秋季

• 316 Computer Vision 计算机视觉
• 333 Robotics 机器人学
• 337 Simulation and Modelling 仿真与建模
• 343 Operations Research 运筹学
• 474 Machine Arguing 机器辩论
• 477 Computational Optimisation 计算最优化
• 572 Advanced Databases 高级数据库

AUTUMN AND SPRING 秋季和春季

• 531 Prolog

SPRING 春季

• 304 Logic-Based Learning 基于逻辑的学习
• 317 Graphics 制图学
• 318 Custom Computing 自定义计算
• 338 Pervasive Computing 普适计算
• 339 Performance Engineering 性能工程
• 347 Distributed Algorithms 分布式算法
• 395 Introduction to Machine Learning
• 机器学习导论
• 416 Machine Learning for Imaging
• 用于成像的机器学习
• 417 Advanced Computer Graphics
• 高级计算机制图学
• 422 Computational Finance 计算金融
• 433 Advanced Robotics 高级机器人学
• 460 Deep Learning 深度学习
• 512 Independent Study Option 自主学习

Extracurricular 课外

AUTUMN 秋季

• 534 Short Introduction to Prolog
• Prolog 概论

项目申请要求

Minimum academic requirement 最低学术要求

Our minimum requirement is at least a 2.1 UK Honour's degree in science, engineering or computing.

最低要求是理学、工学或计算机二等甲级学位

While there is no minimum requirement for GRE scores, a strong application would include scores higher than 159 for Quantitative Reasoning and higher than 145 for Verbal Reasoning.

GRE：数学>159；语文>145

English language requirement 英语要求

standard College requirement：6.5 overall (minimum 6.0 in all elements)

雅思成绩：6.5（单科至少6.0）

查看原文 >>