Coalgebraic Model Checking
We aim to develop new foundations for model checking, using the mathematical theory of coalgebras.
User annoyance aware interactive AI
We investigate how an autonomous agent (e.g., a robot) needs to interact with their non-technical human trainers to for new instructions/training without annoying them much.
Effects of indoor air quality on human performance
This project involves in-situ monitoring of indoor conditions, EEG studies into the effect of carbon dioxide concentration on drowsiness and the development of situated displays for indoor air quality.
Robotics and Autonomous Systems
An increasing reliance on robotic systems, and a growing trend toward the development of distributed automation technologies, has resulted in a demand for autonomous robot swarms.
Secure machine learning
We aim to investigate the maximal damage an attacker can do against different machine learning models and propose new methods to mitigate these threats.
Secure smart ubiquitous systems
we aim to combine machine learning with game theory to tackle malicious and adversarial behaviour against smart ubiquitous systems such as IoT, smart cities, and smart homes.
Effects of indoor air quality on human performance
Effects of indoor air quality on human performance