Algorithms and Data Analysis The research scope of the Algorithms and Data Analysis (ADA) group ranges from theoretical…
Cybersecurity The Cybersecurity (CYS) group studies design, modelling, analysis, verification and testing of…
Distributed Artificial Intelligence The Distributed Artificial Intelligence group explores the use of AI in social and economic contexts…
Human Centred Computing Research The Human Centred Computing (HCC) group is concerned with the design, development and evaluation of…
Reasoning and Planning The Reasoning and Planning (RAP) group focusses on the fundamental Artificial Intelligence challenge…
Software Systems The Software Systems (SSY) group studies design, modelling and engineering of software systems,…
Arts & Creativity (Informatics) A hub of researchers applying Informatics research to creative domains such as art, music, games,…
Finance (Informatics) Financial markets are increasingly being underpinned by information technology to the extent that…
Health (Informatics) The Health Hub centres on computational characterisation of medically relevant study cases and…
Security (Informatics) The Security Hub consolidates the research conducted in Informatics related to security, covering…
Sustainability (Informatics) The Sustainability Hub consolidates the research related to sustainability
Trusted Autonomous Systems (Informatics) Initiated in our strategic plan for REF 2014, the Trusted Autonomous Systems Hub pulls researchers…