Computer Science

The curriculum covers topics in algorithms and data structures, such as hashing and graph algorithms. It addresses how to program such algorithms, as well as how to test them, reason about their correctness and analyse their efficiency. It includes a mathematical treatment of big-O notation.

This module covers the basic principles of machine learning and the kinds of problems that can be solved by such techniques. You learn about the philosophy of AI, how knowledge is represented and algorithms to search state spaces. The module also provides an introduction to both machine learning and biologically inspired computation.

This module provides an introduction to the theory and practice of database systems. It extends the study of information systems in Stage 1 by focusing on the design, implementation and use of database systems. Topics include database management systems architecture, data modelling and database design, query languages, recent developments and future prospects.

This module introduces students to the functional programming paradigm, using at least one modern functional programming language to put the core concepts into practice. The module will develop both the foundation and theory of this paradigm, as well as the practice and application of the paradigm to solve problems and build systems. The module will core topics, including:

• Functions as first-class language constructs and as a central organising principle;

• Higher-order functions and compositional programming;

• Basic semantics of functional languages;

• The role of types in programming;

• Algebraic data types and pattern matching;

• Recursion and recursive data types;

• Differences with imperative and object-oriented programming paradigms;

• Properties of programs, (e.g., purity, side-effect freedom, totality, and partiality).

• The lambda-calculus as a programming model and foundation.

• BNF grammars for representing context-free syntax, and its relation to ADTs and language manipulation.

• Testing and issues of building correct software.

The module will develop practical skills in programming and problem solving using functional programming. There will also be a chance to apply functional programming to help understand better concepts in logic and mathematics.

Later parts of the module will then consider concurrent programming in the context of functional programming, including concurrent programming models and primitives (e.g., message-passing concurrency), parallelism, synchronisation and communication, and properties of deadlock, communication-safety, and starvation.

This module aims to provide students with an understanding of the fundamental components (hardware and software) of a typical computer system, and how they collaborate to execute software programs. The module provides a compressive overview from the lowest level of abstractions in hardware to the highest level of abstractions of modern programming languages. For example, they will see logic circuits, machine language, programming language implementations, high-level languages, and applications. This material provides a general understanding of computers, and it will also prepare students to develop software considering the system perspective, e.g. cost of abstraction and performance implications.

Cyber security has always been an important aspect of computing systems but its importance has increased greatly in recent years. The curriculum covers areas where cyber security is of major importance, but have different security requirements and may be exposed to different threats and attacks. It also covers techniques and mechanisms used to secure computer systems and data to meet those requirements and protect them. The areas looked at include computer operating systems (and increasingly, distributed operating systems), distributed applications (such as electronic commerce over the Internet), embedded systems (ranging from smart cards to large industrial plant and telecommunications systems), and users. The techniques and mechanisms looked at include cryptography, authentication & authorisation, and access control. Furthermore, the curriculum integrates the legal, ethical, and professional perspectives, for instance, to address concerns about data security, privacy, and societal impact of computing systems.

The module studies team-based Agile software development in detail and places it in a wider software development context.

Topics covered include

• Concepts, principles, practice and philosophy of an Agile approach to software development, contrasting with more structured approaches.

• Collaboration: programmer collaboration, team values, customer involvement, project management, standards and reporting.

• Planning: release and sprint planning, risk assessment, user stories and resource estimating

• Development practices: incremental requirements, test-driven development, refactoring, scrum, code review, quality assurance, continuous integration.

• Tools: IDEs, version control, automated code quality evaluation, issue tracking.

• Ethics, Intellectual property, codes of conduct and professional responsibility.

Propositional & Predicate Logic, including proofs. Formal languages: finite automata, regular expressions, CFGs. Turing machines, decidability.

Building scaleable web sites using client-side and and server-side frameworks (e.g. JQuery, CodeIgniter). Data transfer technologies, e.g. XML and JSON. Building highly interactive web sites using e.g. AJAX. Web services. Deploying applications and services to the web: servers, infrastructure services, and traffic and performance analysis. Web and application development for mobile devices.

This module is designed to provide students across the university with access to knowledge, skill development and training in the field of entrepreneurship with a special emphasis on developing a business plan in order to exploit identified opportunities. Hence, the module will be of value for students who aspire to establishing their own business and/or introducing innovation through new product, service, process, project or business development in an established organisation. The module complements students' final year projects in Computing, Law, Biosciences, Electronics, Multimedia, and Drama etc.

The module starts with a comprehensive and detailed study of current computer networks and communications technologies. It includes: a review of network techniques, switching and multiple access; high speed local area networks; network protocols, including data link, network, transport and application layers. A selection of key topics are looked at in greater depth to reveal the state-of-the-art and issues (problems) that remain to be solved.

In this module you learn what is meant by neural networks and how to explain the mathematical equations that underlie them. You also build neural networks using state of the art simulation technology and apply these networks to the solution of problems. In addition, the module discusses examples of computation applied to neurobiology and cognitive psychology.

There is an increasing use of nature-inspired computational techniques in computer science. These include the use of biology as a source of inspiration for solving computational problems, such as developments in evolutionary algorithms and swarm intelligence. It is therefore proposed to allow students the opportunity to become exposed to these types of methods for use in their late careers.

 "Indicative topics include:

• Resource Description Framework (RDF) & RDF Schema:

• Information representation and knowledge exchange on the web

o Applications of RDF

• RDF Query and Inference Languages (e.g. SPARQL etc.)

• Web Ontology Language (OWL):

o Publishing and sharing of ontologies

• Knowledge management

Students will spend one half-day per week for ten weeks in a school with a nominated teacher. They will observe sessions taught by their designated teacher and possibly other teachers. Later they will act somewhat in the role of a teaching assistant, by helping individual pupils who are having difficulties or by working with small groups. They may take 'hotspots': brief sessions with the whole class where they explain a technical topic or talk about aspects of university life. They must keep a weekly log of their activities. Each student must also devise a special project in consultation with the teacher and with the module convener. They must then implement and evaluate the project.

The following is indicative of topics/themes this module will include:

• An overview of basic concepts related to Computational Intelligence (CI) techniques, such as heuristic search and optimisation

• Presentation of different CI algorithms, such as hill climbing, simulated annealing, genetic algorithms and genetic programming

• An overview of basic concepts related to real-world problems related to business, economics and finance, such as financial forecasting, automated bargaining, portfolio

optimisation, and timetabling

• The use of Computational Intelligence techniques to solve real-world problems

• Computational Intelligence decision support systems and software wind tunnels for testing new markets and strategies.

The module will cover a mixture of theoretical and practical topics in the area of the Internet of Things (IoT), that is, the use of Internet technologies to access and interact with objects in the physical world. This will include coverage of the range of sensor and actuator devices available, ways in which they communicate and compute, methods for getting information to and from IoT-enabled devices, and ways of visualising and processing data gained from the IoT. A practical component will consist of building the hardware and software for a sensor network and a system to collect, process and visualise data from that network.

A study of techniques for interpreting and compiling programming languages, implementing them in a typed functional programming language (e.g., OCaml, Haskell). The module will outline a whole compiler from source to machine code, but will focus in depth on key algorithms and techniques. Possible in-depth topics include:

• writing interpreters,

• Hindley-Milner type inference,

• register allocation,

• garbage collection,

• abstract interpretation,

• static single assignment form.

The implemented language will be based on a simple imperative (e.g., Pascal-like) language with some extensions to address advanced topics in data layout (e.g., closures, objects, pattern matching). The course will be organized around a simple, but complete, example compiler that the student will have to understand and modify.

The module aim is to give students an overview and understanding of key theoretical, practical and philosophical research and issues around computational creativity, and to give them practical experience in writing and evaluating creative software.

The following is an indicative list of topics that may be covered:

• Introduction to computational creativity

• Examples of computational creativity software e.g. musical systems, artistic systems, linguistic systems, proof generator systems, systems for 2D and 3D design.

• Evaluation of computational creativity systems (both of the quality and the creativity of systems)

• Philosophical issues concerning creativity in computers

• Comparison of computer creativity to human creativity

• Collaborative creativity between humans and computers

• Overview of recent research directions/results in computational creativity

• Practical experience in writing creative software.

This module is aimed at introducing the principles of concurrency theory (1, 2, 3) and demonstrating how these can be applied to design and implement distributed applications (4). Advanced concepts of Web services will be studied and placed in the perspective of these principles (5, 6).

The following is an indicative list of topics:

• Message passing primitives for concurrency: synchronous versus asynchronous message passing, the actor model.

• Reasoning on processes: temporal logic, safety and liveness properties, bisimulation.

• Channel passing and mobility.

• Design and implementation of application–level protocols.

• Web services: from stateless services to distributed business processes (also known as service orchestrations).

• Transaction protocols on the Web: two-phase commit, long running transactions.

This module will provide the student with an understanding of basic principles of signals; introduce digitisation methods such as sampling, quantisation and coding; describe and apply signal analysis techniques, such as segmentation, noise reduction, filtering, spectral analysis, feature extraction and classification (including recognition and decision making) to solve practical signal analysis problems using Matlab.

An overview of basic concepts related to eHealth and a perspective on current HIT (Health Information Technology) and innovation. Review of current healthcare related IT systems. The use of information technology for handling clinical data, health systems. Data representation and knowledge management. Security and privacy. Ethics and legal requirements of eHealth systems. Clinical decision support systems. TeleHealth tools for remote diagnosis, monitoring, and disease management. Delivery and monitoring platforms for both hospitals and home environment. Innovation in eHealth systems leading to start-up companies.

This module will give students an overarching introduction to quantum information processing (QIP). At the end of the course the students will have a basic understanding of quantum computation, quantum communication, and quantum cryptography; as well as the implications to other fields such as computation, physics, and cybersecurity.

We will take a multi-disciplinary approach that will encourage and require students to engage in topics outside of their core discipline. The module will cover the most essential mathematical background required to understand QIP. This includes: linear algebra, basic elements of quantum theory (quantum states, evolution of closed quantum systems, Born's rule), and basic theory of computing. The module will introduce students to the following theoretical topics: quantum algorithms, quantum cryptography, quantum communication & information. The module will also address experimental quantum computation & cryptography.

This module explores a range of different data mining and knowledge discovery techniques and algorithms. You learn about the strengths and weaknesses of different techniques and how to choose the most appropriate for any particular task. You use a data mining tool, and learn to evaluate the quality of discovered knowledge.

This module is concerned with a range of topics in video game design and development, including game physics, AI, level design, player behaviour, game rules and mechanics, as well as user interfaces. This module introduces students to game development using industry-standard software tools.

The module introduces fundamental techniques employed in image processing and pattern recognition providing an understanding of how practical pattern recognition systems may be developed able to address the inherent difficulties present in real world situations. The material is augmented with a study of biometric and security applications looking at the specific techniques employed to recognise biometric samples.

This module introduces the theory and practice of employing computers as the control and organisational centre of an electronic or mechanical system, and examines issues related to time critical systems. It also provides exposure to practical embedded systems design through practical work, with one assignment exploring the ideas of real-time operating systems introduced in the lectures and a second using a microcomputer programmed in 'C' to control the ignition timing of a simulated petrol engine.

The module will study some of the major works in the history of modern philosophy of cognitive science and artificial intelligence. An indicative list of topics is: The Turing test; the Chinese Room argument; the frame problem; connectionism; extended and embodied cognition; artificial consciousness. The approach will be philosophical and critical, and will involve the close reading of texts. Students will be expected to engage critically with the works being studied and to formulate and argue for their own views on the issues covered.