Accelerated Natural Language Processing Advanced Database Systems Advanced Robotics Algorithmic Game Theory and Applications Bioinformatics 1 Blockchains and Distributed Ledgers Case Studies in Design Informatics 1 Compiling Techniques Computational Neuroscience Computer Architecture and Design Computer Communications and Networks Computer Graphics: Geometry and Simulation Computing in the Classroom Data-driven Business and Behaviour Analytics Discrete Mathematics and Probability Doing Research in Natural Language Processing Elements of Programming Languages Entrepreneurship and Innovation Project Extreme Computing Formal Verification Foundations of Natural Language Processing Human-Computer Interaction Informatics 1 - Introduction to Computation Informatics 1 - Object Oriented Programming Informatics 2 - Foundations of Data Science Informatics 2 - Introduction to Algorithms and Data Structures Informatics 2 - Software Engineering and Professional Practice Informatics 2D - Reasoning and Agents Informatics Project Proposal Informatics Research Review Introduction to Mobile Robotics Introduction to Quantum Computing Introduction to Quantum Programming and Semantics Introductory Applied Machine Learning Introductory Applied Machine Learning (Semester 2) Knowledge Graphs Machine Learning Machine Learning Theory Methods for Causal Inference Modelling Concurrent Systems Modelling of Systems for Sustainability MSc Dissertation (Informatics) Natural Language Understanding, Generation, and Machine Translation Parallel Programming Languages and Systems Principles and Design of IoT Systems Probabilistic Modelling and Reasoning Professional Issues Quantum Cyber Security Randomized Algorithms Reinforcement Learning Secure Programming Security Engineering Software Design and Modelling Software Testing Standards Compliant Software Development System Design Project Text Technologies for Data Science Usable Security and Privacy