School of Computer Science and Statistics
This project focuses on the rich field of algorithmic fairness where the goal is to ensure that predictions are not biased against subgroups of the population whilst maximising predictive performance. One challenge is when we focus on multiple protected attributes.
Overview When people perform everyday actions, their eyes and attention don’t wander randomly; they shift in predictable ways depending on what the person is doing and where objects are in the environment. Understanding this link between actions, gaze, and 3D context is helpful for applications like VR/AR training, assistive systems, and human-robot collaboration. This project … Read more
Many knowledge graphs are not constructed from scratch, but rather are based on the ongoing uplift of data from existing data sources hosted in a variety of diverse data representations (relational data, JSON, CSV, XML etc.). The community has developed specifications that allow engineers who construct and maintain knowledge graphs to flexibly specify what data … Read more
**This project is for students in the Statistics & Data Science programme (M.Sc) or MSc in Statistics and Sustainability ** “Reproducibility, closely related to replicability and repeatability, is a major principle underpinning the scientific method. For the findings of a study to be reproducible means that results obtained by an experiment or an observational study … Read more
Haskell (haskell.org) is good for developing Domain Specific Languages (DSLs). A classic example of this are financial combinators – the linked paper led to a financial services spinout (lexifi.com) that is still going strong. There is an interesting overview of using Haskell to design DSLs. I am always willing to supervise projects in this space. … Read more
A theorem prover “reasonEq” , written in Haskell, is currently under development. It is intended to support reasoning about the meaning and correctness of programs. It supports an easy to use proof style for predicate calculus known as “equational reasoning” – very similar to the kind of algebraic reasoning used in most mathematics found in … Read more
Currently, academics receive PDF copies of dissertations and assess these dissertations by reading them, grading various rubrics in evaluation forms, commenting on their views, and consulting with a 2nd examiner about an agreed mark. This project will investigate the development of a system that analyses submitted PDF copies with the help of Artificial Intelligence eg. … Read more
Kubernetes provides an orchestration and runtime system for micro-services based on containers. The implementation of this virtualised infrastructure is based largely on communication using TCP and HTTP. In contrast, current web browsers and web servers are using QUIC, HTTP/3 and WebTransport to communicate as well. This project will investigate the use of QUIC, HTTP3 and … Read more
Launched in June 2025, the Knowledge Graph of Irish History (kg.virtualtreasury.ie) uses W3C based knowledge graph technologies to represent places and selected Irish people across history and links them to historical records contained in the Virtual Record Treasury of Ireland (virtualtreasury.ie). In the next phase the knowledge graph is being expanded to other entities (such … Read more
** This project is only available for students in the MSc in Statistics & Sustainability programme ** The Behavioural Economics Unit of the Sustainable Energy Authority of Ireland (SEAI) commissioned the national survey entitled Behavioural Energy and Travel Tracker (BETT). According to the website (https://www.seai.ie/data-and-insights/behavioural-insights/publications/bett-dataset), “The tracker uses a behavioural science technique known as the … Read more