Category: 2025

2025 Exhibits

Sokoban Procedural Instance Generation

Procedural content generation is an alternative approach to games level development that replaces intricate design choices of a human level-creation with those of automated and informed brute-force techniques. We…

Digraphs for GAP and VIP

“Digraphs” is a package for the computational algebra system GAP that has been in development and use here in St Andrews since 2014. It provides usable tools and algorithms for directed graphs, a concept that arises in…

Making our digital devices trustworthy and efficient

Our modern life depends on digital devices, from mobile phones to digital banking to weather forecasting. These devices rely on a technology known as multi-core to make them run in a way that is both efficient and low…

Idris: Programming as a Conversation

Idris is a programming language which encourages “type-driven development”. We believe that to enable the highest levels of productivity, programming should be a conversation between the programmer and the machine. A…

Colorectal Cancer Biomarker Prediction with AI

In the realm of healthcare, Artificial Intelligence (AI) is becoming a pivotal force in revolutionising patient care, particularly through advancements in computational pathology. Harnessing the power of AI…

Climate Action Large Language Model

CaLLM is a chatbot that has been given specialist information about the impact of climate change and the Berwickshire Marine Reserve to harness both the natural language processing power of large language models (like…

Students’ Perspectives on Learning Analytics

Collecting students’ perspectives on learning analytics to inform guidelines and create mock-up designs for the university to implement. Q: What are learning analytics? A: Data on the learner that is analysed and…