Software Engineering (MEng)

This module builds on the Part 1 Software Modelling and Design Course by looking at structured requirements engineering in more detail, by addressing scaling of formal modelling with Event-B through refinement and also looking at verification techniques f...

The networking aspect of this module will expose students to the principles of layered communication protocols, the architecture of the Internet, and the principles of how the components of the TCP/IP layered model are designed and operate. The distribute...

This module aims to give a broad introduction to the rapidly-developing field of artificial intelligence, and to cover the mathematical techniques used by this module and by other artificial intelligence modules in the computer science programme

This module aims to introduce students to recursion and to the principles of recursive, applicative and functional programming. In it, they will use various functional abstractions to control the complexity of programming, and will use abstraction mechani...

The aim of this module is to introduce students to the fundamental concepts underlying all programming languages, to introduce a broad range of programming language styles and features, and to provide the theoretical foundation that they will need in orde...

This module aims to give students experience of working in a team, and of the problems of communication and scale in software engineering. It will consolidate and integrate the techniques and concepts introduced in earlier courses (principally COMP1216 So...

This module aims to provide a broad and stimulating introduction to the theory of computing

This module will provide students with an introduction to management and law – knowledge and skills which can be applied to the operations of an engineering-based organisation. The learning outcomes address: managerial decisions, commercial aspects of eng...

This module covers the development of modern computer architectures for servers, workstations, hand-held devices, signal processing and embedded systems from the introduction of the four-stage RISC pipeline to the present day.

This module is designed to be a follow-up module to the computer Science or ITO second year introductory networking module. The wireless networking part reviews wireless technologies and their application in areas such as IoT and sensor networks. The mod...

This module builds on the first year Data Management module to give students a deeper and broader view of the issues involved in database management systems, some of the most complex software in common use.

During the first two years of the degree students gain experience in a variety of 'traditional' programming languages in procedural, functional and object-oriented flavours. This module addresses the design and use of scripting languages for a contemporar...

Modern biology poses many challenging problems for the computer scientists. Rapid growth in instrumentation, and our ability to archive and distribute vast amounts of data, has significantly changed the way we attempt to understand cellular function, and ...

The challenge of computer vision is to develop a computer based system with the capabilities of the human eye-brain system. It is therefore primarily concerned with the problem of capturing and making sense of digital images. The field draws heavily on ma...

Machine Learning is about extracting useful information from large and complex datasets. The subject is a rich mixture of concepts from function analysis, statistical modelling and computational techniques. The module will cover the fundamental principles...

Games design and development is an increasingly important and sophisticated topic, that draws together many of the core aspects of Computer Science and Software Engineering. This course introduces students to the fundamentals of game design, gives them pr...

Machine Learning is about extracting useful information from large and complex datasets. The module will cover the practical basis of how learning algorithms are can be applied. You will gain hands-on experience in laboratory-bases sessions. Exclusions...

This module gives students an introduction to natural language processing (NLP) algorithms and an understanding of how to implement NLP applications.

The module introduces the operational research approach for modelling and solving engineering and management problems.

The module provides an introduction to the theory and practice of optimization techniques. It covers linear programming as well as nonlinear programming. This module is suitable to those who want to apply computational optimization methods to their proble...

The course requires to understand C code, assembly language, x86 architectures and memory allocation (a refresher will be provided).

This module will teach the principles of security in web and cloud based systems and how these principles apply in a range of different applications.

This module provides an introduction to intensive group project work in collaboration with an industrial or academic customer. Students work in groups of at least four people on a project typically based on an idea from an industrial partner, or from an a...

- To introduce key concepts in pattern recognition and machine learning; including specific algorithms for classification, regression, clustering and probabilistic modeling. - To give a broad view of the general issues arising in the application of algor...

This module covers concepts in programming languages that go beyond those typically seen or are new to mainstream languages. The goal is to encourage students to look beyond traditional programming practice by introducing new tools and techniques inspired...

This module: - Introduces the students to the key issues of interaction of multiple self-interested parties (a.k.a. agents) and gives a broad survey of topics at the interface of theoretical computer science and game theory dealing with such interactions...

This module aims to train students in both the principles and the practice of software verification. A range of verification approaches, including both testing and formal verification, will be covered. The use of logic as a specification language for prog...

This module lies at the intersection of robotics and biology. Through the abstraction of design principles from biological systems, it is possible to develop a range of core competences, including mechatronic systems, sensor and actuator technologies. By ...

Biometrics is about how we can recognise people automatically, by personal characteristic. We all have fingerprints and faces - and they are unique. We have to sense the information, process it and then deliver an assessment of the identity associated wit...

Financial markets form the source of a vast number of challenging computational problems. These are not only intellectually challenging from the point of view of computational modelling, but the financial sector is also an employer of a significant fracti...

This module covers the mathematics, techniques, and applications of modern cryptography. We will look at the history of code making and code breaking, and draw lessons for the future from the mistakes and successes of the past. We will also give a gentle ...

The challenge of data mining is to transform raw data into useful information and actionable knowledge. Data mining is the computational process of discovering patterns in data sets involving methods at the intersection of artificial intelligence, machine...

Welcome to the Data Visualisation module! In this course, you would learn about the terminology, concepts and techniques behind visualising data, and will get to use a range of tools to get experience of creating visual representations of data. You will g...

Deep learning has revolutionised numerous fields in recent years. We've witnessed improvements in everything from computer vision through speech analysis to natural language processing as a result of the advent of massively parallel compute coupled with l...

Deep learning and differentiable programming has revolutionised numerous fields in recent years. We've witnessed improvements in everything from computer vision through speech analysis to natural language processing as a result of the advent of cheap GPGP...

We will study the tools and techniques used in digital forensics and its relevance to incident responses and criminal investigations. This will include: Network Traffic, Disk and Memory Forensics, Hardware Architectures, Forensics frameworks, Attributions...

Evolution by natural selection has created amazingly complex and sophisticated solutions to some very difficult problems - how exactly does it achieve this, and how can we harness this capability for engineering artificial systems and computational proble...

This module is useful to introduce: - Image processing and its relation to signal processing. - Image transformations for filtering, coding and etc. - Histogram processing algorithms to enhance image qualities and visibility. - Theories analysing and ...

The Individual Research Project is a 7.5 ECTS credit masters level module undertaken by independent study that allows students to demonstrate mastery of an advanced aspect of their discipline, including critical evaluation of current research and research...

This module gives a broad introduction to the new and rapidly expanding field of agent-based computing. It introduces the key concepts and models of the field, dealing both with the individual agents and with their interactions. Particular emphasis is pla...

The last decade and a half have seen the Web move away from a purely document-centric information system to one in which hypertext techniques are applied to the sort of data found in databases; the term “Semantic Web” is used to refer to this Web of linke...

Open data, pitched as the raw material of the new industrial revolution, holds great promise, but how do you exploit this new resource? This course is specifically designed to give students a greater understanding on how to innovate with open data. This ...

Simulation modelling plays an increasingly significant role across modern science and engineering, with the development of computational models becoming established practice in industry, consulting, and policy formulation. Computer scientists are often em...

The second generation of web sites that came along in the mid 2000's included many of the social media sites that are now household names (YouTube, Flickr, Wikipedia, Facebook, Blogger, Twitter, etc.) These sites (known at the time as Web 2.0) focused on ...

This module prepares students to develop an understanding of the critical issues and application of software project management. It introduces the students to the tools, techniques and body of knowledge involved in each stage of the project management lif...

This module focuses on both theoretical and practical perspectives in the security of software and software systems, by exploring software analysis and reverse engineering. 
The aims of the module at a high level are to: 
- Explore common threats to ...

This course is intended to give students an outline of how wireless communication and computer networks work "above the physical layer". This includes the interoperability of wireless networks such as WiMax/GPRS and WiFi to provide WiFi on trains etc. How...