MEng Computing

Year 1

Compulsory

• Hardware
• Architecture
• Programming I
• Programming II
• Programming III
• Databases I
• Logic
• Reasoning about Programs
• Discrete Mathematics
• Mathematical Methods
• Laboratory 1
• Computing Topics
• Ethics in Computing 1
• Presentation Skills

Extracurricular

• Advanced Programming
• Tools for Program Reasoning
• Programming Competition Training

Year 2

Compulsory

• Software Engineering - Algorithms
• Human-Centred Design
• Computer Architecture
• Operating Systems
• Networks and Communications
• Software Engineering Design
• Compilers
• Concurrency
• Introduction to Artificial Intelligence
• Models of Computation
• Statistics
• Laboratory 2
• 2nd Year Group Projects
• Team Skills Development
• C++ Introduction
• Introduction to Prolog

Extracurricular

• Programming Competition Training

Year 3

Compulsory

• Software Engineering Practice
• Graphics
• Management and Business for Computing Engineers
• Technical Presentations Skills
• 3rd Year Group Projects

Selective - three or four from this list

• Software Engineering - Systems Verification
• Advanced Databases
• Custom Computing
• Complex Systems
• Network Security
• Advanced Computer Architecture
• Robotics
• Distributed Systems
• Simulation and Modelling
• Pervasive Computing
• Introduction to Bioinformatics
• Operations Research
• Type Systems for Programming Languages
• Machine Learning

Optional

• External Course

Extracurricular

• Programming Competition Training

Year 4

Compulsory

• Individual Project MEng
• Advanced Computer Graphics
• Computer Vision
• Distributed Algorithms
• Industrial Placement - Presentation and Report

Selective - three to five from this list

• Computational Neurodynamics
• Computational Finance
• Machine Learning and Neural Computation
• Parallel Algorithms
• Performance Analysis
• Complexity
• Software Reliability
• Program Analysis
• Advanced Issues in Object Oriented Programming
• Multi-agent Systems
• Software Engineering for Industry
• Computing for Optimal Decisions
• Automated Reasoning
• Models of Concurrent Computation
• Quantum Computing
• Knowledge Representation
• Intelligent Data and Probabilistic Inference
• Modal and Temporal Logic

Optional - at most two from this list

• External Course 4I
• External Course 4II

Extracurricular

• Programming Competition Training