This project explores how specialised programming frameworks called Guardrails, developed specifically for constraining large language models (LLMs), can prevent them from generating harmful, biased, or off-topic content. The goal of the project is to build simple examples using three leading guardrail frameworks implemented in Python: Guardrails AI, NeMo Guardrails from NVIDIA, and Llama Guard from … full description “A Comparative Analysis of Guardrail Frameworks for Large Language Models (available)”
Category: Uncategorized
Algorithmic Game Theory and Computational Social Choice (completed)
This project will be co-supervised with Eduard Eiben. We will study a topic arising from Algorithmic Game Theory and/or Computational Social Choice. The specific topic/area will be defined during an inital meeting with Eduard and myself. Some examples of such topics are (this list is by no means exhaustive):– Computation of Nash Equilibria;– Fair Division … full description “Algorithmic Game Theory and Computational Social Choice (completed)”
Corporate Transparency – Enabling Consumers Track and Vet their Data Usage (available)
Project Description Data, primarily related to consumers is a crucial part of the modern tech-companies like Google, Facebook, Instagram, and non-tech-companies (superstores, insurance companies, etc.) alike have now started to rely heavily on consumer data for various commercial activities. Although the General Data Protection Regulation (GDPR) enhances the rights of the consumers from a technical … full description “Corporate Transparency – Enabling Consumers Track and Vet their Data Usage (available)”
COVID-19 – Mobile phone based passport applications (available)
Project Description We have all been affected by COVID19. Amongst the main driving forces for reopening international borders and enabling traveling is the existence of COVID19 immunity passports. However, there are serious considerations around the overall trust, security, privacy but also ethical dimensions of such proposals. This project aims to take into account the views … full description “COVID-19 – Mobile phone based passport applications (available)”
Embeded programming for INTI (available)
We are building a low-power transputer (parallel computer with microcontrollers) to study neuromorphic computing and run inference in low power devices (low power as in low computing power and low energy consumption). It is named the Incipient Neuromorphic Transputer Initiatiave in honour of Inti the Inca sun god. And because it is an incipient effort … full description “Embeded programming for INTI (available)”
Exploring Partitioning for Conformal Binning Strategies (available)
Conformal Binning is a technique, inspired to traditional Conformal Prediction, and very recently proposed in the literature (https://arxiv.org/html/2503.03841v1) which involves partitioning the data into bins based on certain characteristics, such as the range of predicted values or difficulty estimates. Separate prediction intervals are then constructed for each bin, tailored to the specific distribution of data … full description “Exploring Partitioning for Conformal Binning Strategies (available)”
Increasing the Efficiency of Low-land Natural Disaster Search and Rescue through ‘Supervised Hybrid Animal-UAV Interactions’ (completed)
Search and Rescue (SAR) is a time-critical event: after a finite period of time the chances of recovering individuals who have become lost, or trapped in the wake of a disaster, trend towards zero. As a result, management of search and rescue resources is paramount. Travel time, planning and executing search grids, are pivotal tasks … full description “Increasing the Efficiency of Low-land Natural Disaster Search and Rescue through ‘Supervised Hybrid Animal-UAV Interactions’ (completed)”
Intelligent Forensics for Trusted Execution Environments in RISC-V Architectures (available)
Project Description: Trusted Execution Environments (TEEs) offer a promising approach to securing computation on embedded systems, but digital forensics capabilities within these environments remain underexplored. This project investigates how Machine Learning (ML) and Artificial Intelligence (AI) techniques can be integrated into a lightweight digital forensics framework tailored for TEEs, with a focus on RISC-V-based systems … full description “Intelligent Forensics for Trusted Execution Environments in RISC-V Architectures (available)”
Linux Kernel Driver Development in Rust (available)
Rust is a new programming language for performance-critical systems software, e.g. operating system kernels, hypervisors, databases, and web servers [1][2]. As with other systems programming languages (e.g. C/C++), Rust provides low-level control over hardware resources (e.g. memory layout and allocation). In contrast to C/C++, Rust’s strict compiler checks help prevent common programming errors, reducing the … full description “Linux Kernel Driver Development in Rust (available)”
Software framework implementation for air quality monitoring system (available)
The project requires the installation and use of commercially developed Python based software packages on a Raspberry Pi 3 board which access commercial sensors to measure air quality. The software has calibration, data acquisition and data storage functions. The hardware platform is based around 4 air contaminants Alphasense sensors mounted on an Alphasense AFE (analogue … full description “Software framework implementation for air quality monitoring system (available)”
Speak to Pay – Voice and Chip Payment Framework (available)
Project Description Payment architectures are in constant evolution, from Chip&Pin to contactless to facial-recognition based transactions. Also, with the advent of smart assistants like Siri, Amazon Alexa, and Google Assistant takes a cue from their respective users through voice commands. This project will explore the potential of using voice recognition/control as an authorisation of an … full description “Speak to Pay – Voice and Chip Payment Framework (available)”
Visualising global accessibility of open data resources via traceroute (available)
Research depends on data that is openly available. Recently, it has become clear that access to repositories that store these data sets is variable across the country that accesses the data. This can be due to poor connectivity for Lower income countries to countries that are actively blocked from accessing specific sites. A set of … full description “Visualising global accessibility of open data resources via traceroute (available)”