Computer Science BSc (Hons)

The module provides an introduction to procedural programming using current language platforms. The module incorporates program design, problem solving, the importance of maintainable, robust software and testing as well as introducing procedural language main programming constructs. Students gain practical experience with program design, programming and testing during weekly laboratory sessions.

This module is for students that already have some programming skills. Students will learn about the two main programming paradigms: imperative programming and functional programming. Since most introductory programming courses teach imperative programming, this module will focus on the functional paradigm. Students will learn how to program in Haskell, a popular functional programming language. They will learn how to formulate programs in a functional way, and the common techniques and idioms that are used to solve problems in functional programming.

This module looks at the ways in which the C programming language can be extended to incorporate object oriented principles, by looking at C++. The module also examines the ways in which object orientation offers a natural means of developing graphical, event-driven applications within a powerful IDE.

This module will provide students with an introduction to the machine learning. It will contain traditional machine learning algorithms, deep learning algorithms, and probabilistic graphical models. Both theoretical knowledge and practical skills will be offered.

This module covers the theory and practice of the application of tools to the software development lifecyle

The last few decades has seen a huge transformation in finance, where
human traders have been increasingly replaced by algorithms. The aims of COMP226 are to:

– Provide an understanding of financial markets at the level of individual trades;
– Provide an overview of computer-based trading applications;
– Introduce key issues with the use of market data;
– Develop a practical understanding of the development of algorithmic trading strategies.

This module provides an introduction to current computer networks and communications technologies. We will use the architecture and protocols of the Internet as a primary vehicle for studying fundamental computer networking concepts. This will include an in-depth study of the key protocols that enable communications accross the Internet. You will become familiar with the various network devices and network addressing schemes. We will identify critical network security issues and study approaches towards addressing these issues.

This module aims to introduce formal concepts of automata, grammars and languages; to introduce ideas of computability and decidability, and to illustrate the importance of automata, formal language theory and general models of computation in Computer Science and Artificial Intelligence.

This module covers the concepts of distributed systems and the underlying principles of distributed computing and discusses the issues and various solutions proposed in the distributed computing community. Specifically, communication and broadcast, election algorithms, synchronization and concurrency, fault-tolerance and security related issues will be discussed in the lectures. Where applicable practical implementations of the concepts will be introduced.

​This module aims to provide a more in depth experience of crucial employability skills needed to secure either a placement or a graduate job.

When dealing with computationally intensive tasks, such as in scientific computing, it is important to make the most out of the available computational resources. In order to accomplish this, one can use low-level programming languages, such as assembly, but the downside is that these are difficult to write, port and maintain. Alternatively, one can pick a high-level language with a small computational overhead. This module will teach how to program in one such a language: the C programming language.

This module introduces topics commonly present in the modern computer games from software architecture principles to advanced artificial intelligence techniques to the creation of 3D content. As part of the continuous assessment, students create a simple 3D video game using an existing game engine and an AI control procedure for a multiuser framework.

COMP284 `Scripting Languages’ is one of several technical skills/employability skills modules offered in the second semester of the second year of study. It addresses both the demand by employers and the desire of students that students should encounter a range of programming languages during their studies and should be able to use these programming languages productively. Scripting languages have gained enormously in their popularity with the expansion and development of the world wide wide and world wide web technologies as they are now the predominant languages used in the development of web applications. The module will cover two scripting languages, namely, JavaScript and PHP. At the end of the module students should be able to develop applications, both web-based and computer-based, in them.

This module covers the skills and knowledge required for the effective use of tools in the software development lifecycle.

The module provides a thorough introduction to the area of Cyber Security, including cryptographic algorithms and protocols, systems vulnerabilities and attacks, computer networks and web security.  The main basic concepts and theoretical foundations are presented in the lectures, while extensive practical sessions support the development of skills in practical cybersecurity.

This module provides a thorough introduction to the new subject of Data Science starting from the fundamental mathematical methods and developing real-life applications in several areas including Pattern Recognition, Materials Science, Computer Vision, Climate Analysis. The basic concepts from Linear Algebra and Metric Geometry will be gradually introduced without assuming any prior knowledge. The methods and algorithms from Graph Theory and Computational Geometry will be illustrated by worked examples and short programs/scripts.

​App Development is an exploration of the design and programming of application programs on mobile devices. It covers topics such as how to design for small displays and non-traditional input devices; what the expectations of mobile users are; how to use publicallly accessible data sources to develop innovative solutions.

This module is for students that already have some programming skills. Students will learn about the two main programming paradigms: imperative programming and functional programming. Since most introductory programming courses teach imperative programming, this module will focus on the functional paradigm. Students will learn how to program in Haskell, a popular functional programming language. They will learn how to formulate programs in a functional way, and the common techniques and idioms that are used to solve problems in functional programming.

Biology inspired adaptive algorithms such as Artificial Neural Networks (ANNs) and Genetic Algorithms (GAs) play an important role in modern computing, information processing, and machine learning. The latest increase in computer power ensured broad use of the algorithms to solve problems in science and engineering previously considered impossible to tackle. ANNs are now broadly used in pattern recognition, including speech recognition and classification problems, statistics, functional analysis, modelling financial series with considerable stochasticity, etc. GAs are search procedures based on the mechanics of natural selection and natural genetics. They provide effective solutions to a variety of optimisation problems in economics, linguistics, engineering, and computer science. Both ANNs and GAs can exploit massively parallel architectures to speed up problem solving and provide further understanding of intelligence and adaptation.The main goals of the module are to introduce students to some of the established work in the field of Artificial Neural Networks and Genetic Algorithms and their applications, particularly in relation to multidisciplinary research. To equip students with a broad overview of the field, placing it in a historical and scientific context. The module provides students with the knowledge and skills necessary to keep up-to-date in actively developing areas of science and technology and be able to make reasoned decisions.

This module spans both semesters in the final year, with a small number of teacher training lectures in the first semester, followed by delivery of a lesson in the second semester as part of the department’s outreach activities. Students will consider the issues associated with teaching STEM subjects in schools, and learn how to create a lesson plan that delivers a computer science topic within the context of the National Curriculum in Computing. They will then deliver this lesson several times in a real classroom setting, and reflect on its effectiveness in a written report. There is a significant amount of private study, with the majority of the time spent in the first semester, so students must manage their time effectively.

​Complex network structures are ubiquitous: the world-wide web, the internet, mobile phone networks, social communities, network structures in
biology are just a few popular examples. The module shows how simple combinatorial and algorithmic techniques can be exploited to obtain useful information
about these (often) massive structures. The content is delivered through a mixture of lectures on core topics and more informal presentations on
various application areas. A series of interactive tutorials and on-line tools in VITAL complete the support offered by this module.

In this module we introduce and study games that have some underlying network structure or that appear in auctions. A focus will be on scheduling and routing, as well as on the computational aspects in the design of mechanisms and auctions.

​This module aims to teach students some advanced topics in the design and analysis of efficient sequential algorithms, and a few key results related to the study of their complexity.

As more complex computational systems are used within critical applications, it is becoming essential that these systems are formally specified. Such specifications are used to give a precise and unambiguous description of the required system. In addition, as computational systems become more complex in general, formal specification can allow us to define the key characteristics of systems in a clear way and so help the development process. Formal specifications provide the basis for verification of properties of systems. While there are a number of ways in which this can be achieved, the model-checking approach is a practical and popular way to verify the temporal properties of finite-state systems. Indeed, such temporal verification is widely used within the design of critical parts of integrated circuits, has recently been used to verify parts of the control mechanism for one of NASA’s space probes, and is now beginning to be used to verify general Java programs.

This module will introduce: the principles of standard formal methods, such as Z; the basic notions of temporal logic and its use in relation to reactive systems; the use of model checking techniques in the verification of reactive systems.

This module covers the fundamentals of how images are generated, represented, compressed and processed to extract features of interest.

This module is an introduction to the area of algorithmic game theory, which is a novel area in the intersection of economics and computer science. It provides tools for dealing with and analysing problems related to applications motivated by the Internet. Examples involve various Internet auctions and e-commerce systems, like, Google’s sponsored search, Ebay auctions, recommendation systems, etc.

This module presents formal ways to reason about knowledge and uncertain or partial information.

Multi-agent systems have emerged as one of the most important areas of research and development in information technology in the 1990s. A multi-agent system is one composed of multiple interacting software components known as agents, which are typically capable of co-operating to solve problems that are beyond the abilities of any individual member. Multi-agent systems are important primarily because they have been found to have very wide applicability, in areas as diverse as industrial process control and electronic commerce. This module will begin by introducing the student to the notion of an agent, and will lead them to an understanding of what an agent is, how they can be constructed, and how agents can be made to co-operate effectively with one another to solve problems.

Introduction to neural network theory, applications and artificial intelligence.

This modules provides a basic introduction to the main principles behind representing and retrieving knowledge effectively on the Web. The module covers the evolution from the standard Web to the Semantic Web, and gives student the opportunity to gain an awareness of the main methods and techniques, including practical awareness, of the main issues arising in annotating web pages with semantic information, in interlinking pages with similar semantic content and in effectively querying these pages.

This module is an indepth tour over optimisation methods applied for various optimisation models. These methods are extensively used in both academic and industrial practices.​

The aims of this module are to develop an understanding of the principals of Robotics and Autonomous Systems, as well as the pragmatic skills of developing such systems on top of a Robotics Platform.

The overall aim of this module is to introduce students to a range of advanced, near-research level topics in contemporary software engineering. The actual choice of topics will depend upon the interests of the lecturer and the topics current in the software engineering research literature at that time. The course will introduce issues from a problem (user-driven) perspective and a technology-driven perspective where users have new categories of software problems that they need to be solved, and where technology producers create technologies that present new opportunities for software products. It will be expected that students will read articles in the software engineering research literature, and will discuss these articles in a seminar-style forum.

Forensic Computing involves the examining and analysing of data retrieved from various computer storage mediums, to be used as evidence in a court of law. Students will develop the skills and knowledge to undertake a forensic computing investigation in a systematic manner utilising existing methods, tools and techniques.

This module provides an initial overview of key algorithms and algorithmic approaches and corresponding software environments used when developing solutions to Big Data problems and explains how to use these to analyse data.  A significant portion of statistics, some advanced AI approaches as well as key deterministic and hybrid algorithms are included to support the development of future data analytics and to understand how to develop stochastic, machine learning and hybrid algorithms that can exploit Big Data and can be applied to solve real life problems.

This module provides an introduction to the topic of Computer Vision and helps students develop the practical skills necessary to build computer vision applications. It presents fundamental problems in both 2D and 3D vision with a variety of classical and emerging approaches to overcome them.

​To provide an in-depth, systematic and critical understanding of some of the current research issues at the forefront of the academic research domain of data mining.   Google search framework and IBM Watson QA system and various other industrial level data mining applications are discussed.

In this module, we study the use of High-Performance Computing systems, from accessing them to programming for them. We study some theory including Computer Architecture at the hardware level to some fundamentals of parallelism. We then go into practical parallelism using C on multicore systems using OpenMP and multiprocessor/distributed systems using MPI. We will also briefly study GPU programming using CUDA, as well as some emerging hardware architectures.

In this module, we focus on how robots perceive the world and accomplish manipulation tasks, which is widely used in many applications such as warehouse robots and assistive robots in a domestic environment. We will study how sensory data, e.g., visual images and tactile data, is transformed into representations like features of object shapes, poses and textures. Such representations facilitate the grasping and manipulation of objects.

This modules aims to cover advanced concepts underpinning computer games development; including game AI, content generation, graphics, physics and sound. As part of the continuous assessment, students apply those concepts to computer games development.

This module will provide an introduction to cloud computing. It will cover physical cloud infrastructure (data-centres, networks and servers), and the software stacks that run on it (containers, micro-services, orchestration and web frameworks).
During the course, students will assemble their own cloud-based application, which will be a webpage with a scalable micro-service-based backend.