Trusted AI for Safe Stop and Search

The main objective of this project is to develop AI techniques to analyse the behaviour recorded in the past Stop and Search (S&S) operations. The AI system will be used to inform future operations, avoid unnecessary escalations that jeopardise the safety of the...

Detecting fake news

The rise of fake news and misinformation is a threat to our societies. Even though we are not always able to quantify the effect of misinformation, it is clear that it is polarising the society and often leads to violence and promotes racism.[1] Much of the fake news...

Composable Neural Networks

Deep learning has shown huge potential in terms of delivering AI with real-world impact. Most current projects are built in either PyTorch, Tensorflow, or similar platforms. These tend to be written in languages where the correct description of neural networks relies...

Co-Evolution of Symbolic AI with Data and Specification

Trusted autonomous systems (TAS) rely on AI components that perform critical tasks for stakeholders that have to rely on the services provided by the system, e.g., self-driving cars or intelligent robotic systems. Two techniques that help the designers automatically...

Causal Decentralised Finance

The goal of this project is to develop a causality-based framework for the analysis of decentralised finance (DeFi), based on the principled approach of actual causality [1] and responsibility [2], the latter pioneered by Dr Chockler. The framework will assist in...

Explainable Reinforcement Learning with Causality

Reinforcement Learning (RL) is a technique widely used to allow agents to learn behaviours based on a reward/punishment mechanism [1]. In combination with methods from deep learning, RL is currently applied in a number of different scenarios that have a significant...

Verified Multi-Agent Programming with Actor Models

Today, most computer applications are developed as ensembles of concurrent multi-agents (or components), that communicate via message passing across some network. Modern programming languages and toolkits provide developer-friendly concurrency abstractions for...

Creating and evolving knowledge graphs at scale for explainable AI

Knowledge graphs and knowledge bases are forms of symbolic knowledge representations used across AI applications. Both refer to a set of technologies that organise data for easier access, capture information about people, places, events, and other entities of...

Run-time Verification for Safe and Verifiable AI

The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including negative side effects, reward hacking,...

Reward Synthesis from Logical Specifications

The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including negative side effects, reward hacking,...