帝國理工學院 計算機（安全與可靠性）理學碩士

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）