School of Computer Science and Statistics
Publicly funded research and innovation (R&I) projects and international standards development are two forms of collaborative technical activities that aim to provide benefits to markets and society, and yet coordination between them is often poor. Such coordination is complicated as both R&I projects and standards development projects both operate over fixed lifecycles, such that for … Read more
The EU AI Act calls for risk assessment to be conducted for AI systems in specific high risk applications and separately for systemic risks introduced by general-purpose AI (GPAI) systems (i.e. systems corresponding to the largest language models and their use as generative foundation models). The AI Act does not however provide guidance on how … Read more
AI Researchers are increasingly called upon to anticipate and mitigate the harms arising from future use of their research, e.g. when publishing papers to major conferences [1][2][3] and journals or seeking funding from bodies like the EU [4]. The earlier the stage the AI research they work upon, the more challenging it is to imagine … Read more
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