Masters Project
Automated Reasoning and Verification
Modelling Data on the Web
Principles of Digital Biology
Introduction to Health Informatics
Parallel Programs and their Performance	
Designing for Parallelism and Future Multi-core Computing
Data Engineering
Systems Governance
Introduction to Health Informatics
Foundations of Machine Learning
Modelling and Visualisation of High-Dimensional Data
Mobile and Energy Efficient Systems
Efficient Computing at the IoT-Edge
Text Mining
Computer Vision
Cryptography
Cyber Security
Software Engineering Concepts in Practice
Ontology Engineering for the Semantic Web	
Querying Data on the Web
Agile and Test-Driven Development
Component-based Software Development
Pattern-Based Software Development