Computing (Security and Reliability)

Computing is a creative and wide-ranging subject that focuses on using sound underlying principles and logical thinking to design and build systems that really work.

In this course, you will learn how modern computer and communications systems function, and how they can be used and adapted to build the next generation of reliable and secure computing applications.

You will acquire deep understanding of software security, reliability and privacy issues. You will also develop the skills required to apply state of the art techniques, including formal verification, AI and machine learning, to the design and implementation of secure and reliable systems at all levels.

You'll gain an understanding of the basic concepts and principles of computing, the ability to appreciate and adapt to changes in technology, as well as practical experience in applied computing.

A special emphasis of your studies will be on the fundamental principles underlying computing and on the engineering considerations involved in computing system design, implementation and usage. You will be introduced to computing architecture and hardware, and the software used to exploit them.

This course will also equip you with a strong background in discrete mathematics (logic, sets, relations and grammar), classical mathematics and statistics relevant to applications engineering and management.

Throughout the programme, you will attend laboratory and problem-solving classes, as well as completing project and design work. As the course progresses you will study advanced techniques and modules, many of which draw on current research taking place in the Department.

At the end of your third year, you will gain valuable skills and experience by completing an industrial placement. Your study reaches Master's level in the final year, with a wide choice of optional modules and a substantial individual project on a subject of your choice.