Category: JH BMA elective year 4

CSU44053 – Computer Vision

(Semester 1, 5 ECTS) The aim of this module is to give students a firm understanding of the theory
underlying the processing and interpretation of visual information and the ability to
apply that understanding to ubiquitous computing and entertainment related
problems.

CSU44051 – Human Factors

(Semester 1, 5 ECTS) The module provides an introduction to the field of Human-Computer Interaction, focused both on understanding human interactions with technology and on the design of useful and usable interactive systems.

CSU44004 – Formal Verification

(Semester 1, 5 ECTS) Specification languages and logics; axiomatic program semantics. Formal proof
systems to verify software and system properties such as propositional, predicate
and Hoare logic.

CSU44062 – 4CSLL5 Advanced Computational Linguistics

(Semester 1, 5 ECTS) Understand in general what a probabilistic model is, the distinction between so-called visible and hidden variables, and the distinctive nature of models where each datum is a sequence of varying length, rather then a fixed-size set of features

CSU44098 – Group Design Project

(Semester 2, 10 ECTS) Instruction will be provided in Agile development methodologies and facilities will be provided in order to promote close collaboration between team members.

CSU44061 – Machine Learning

(Semester 1, 5 ECTS) An introduction to machine learning using techniques including linear regression, logistic regression and neural networks in real-world scenarios.