Computing

Computing with a focus on security and reliability is a degree that addresses some of the most critical challenges in modern technology: how to build software systems that not only do what they are supposed to do, but do so reliably under all conditions and resist attack, misuse, and failure. Computing is a creative and wide-ranging discipline that uses sound underlying principles and logical thinking to design and build systems that really work. Security addresses the threats that arise when systems are connected, shared, and used in adversarial environments.

Reliability and verification examine how we can have justified confidence that complex systems will behave correctly.

At Imperial College London, this four-year programme is delivered by one of the world's leading institutions in computing and engineering. You will develop a thorough grounding in the core principles of computer science, including algorithms, data structures, programming languages, and software engineering, while also specialising in the security and reliability dimensions of the discipline. You will study cryptography, formal verification, system security, network protocols, and the mathematical and logical tools used to reason about the correctness and security of complex systems.

Imperial's research environment, its connections to industry, and its location in London give the degree exceptional access to the frontier of both academic computing research and the technology sector.

Graduates from this programme are in exceptional demand across many sectors. Common career destinations include software engineering, security engineering, systems verification, cryptography research, financial technology, defence and intelligence, and research in industry or academia. The combination of rigorous computing foundations and specialist security and reliability expertise is particularly valuable in sectors where the consequences of system failure or breach are severe.

Many graduates pursue postgraduate study or doctoral research in computing, security, or formal methods.