PGR Seminar: Ben Claydon and Joseph Loughney

You are warmly invited to the next PGR Seminar.

Tear off calendar Monday 17/11/2025

Timer clock 14:00-15:00

Pin JC 1.33A

  1. Speaker: Ben Claydon

Title: Improvements to Space Partitioning Trees for Similarity Search

Abstract: Searching large, unstructured collections of data for objects deemed of relevance to a user-provided query is an increasingly important task. For example, when a user inputs a query into a search engine, they expect a list of high-quality results to be returned nearly immediately. However, if the search engine had to rank each of the approximately 1 billion websites on the internet in order of relevance to your query, and each of these judgements took 1 microsecond, each web search would take nearly half an hour! To overcome this, data structures are created which enables searching only a small subset of the dataset, where this subset is likely to contain the most relevant items. This greatly increases the rate at which queries can be served, at the cost of some loss of accuracy. In this talk, I will present improvements made to one such data structure called random projection forests. I present a method which increases the accuracy of this algorithm without an associated increase in either preprocessing time or the time required to serve a query.

Bio: Ben is a 3rd year PhD student whose research focusses on algorithms which facilitate scalable similarity search.

  1. Speaker: Joseph Loughney

Title: Breaking Multiple Symmetries at Once, and Retrieving ‘Actual’ Solution Counts in Graph Search Problems

Abstract: The Subgraph Isomorphism Problem is a graph search problem which is computationally challenging to solve in large cases. We have seen significant improvements in performance as a result of symmetry breaking (avoiding searching for multiple solutions that are isomorphic to each other) either before or during search, and on either the pattern graph, the target graph, or both. Can we use any of these techniques in combination with each other? What about when counting solutions? How can we return the ‘actual’ number of solutions from the number of equivalence classes? This talk will aim to approach some answers to these questions.

We hope you can join us!

PGR Seminar: Charis Hanna and Maria Andrei

You are warmly invited to the next PGR Seminar.

Date & Time: Monday 10/11/2025 14:00-15:00

Location: JC 1.33A

  1. Speaker: Charis Hanna

Title: Self-Supervised Learning for Efficient Ecological Monitoring

Abstract: Cliff-nesting birds serve as valuable indicators of marine ecosystem health, yet dense populations and remote habitats present significant challenges for automated monitoring. With current state-of-the-art object detectors often failing under the conditions of extreme crowding and occlusion, this project aims to develop and refine deep learning techniques that enable the fine-grained, automated analysis of seabird colonies. Current work explores self-supervised learning strategies that leverage domain-shifted knowledge to reduce the need for exhaustive annotation across complex image datasets. These methods not only reduce the laborious process of manual annotation but also demonstrate promising improvements in performance across the long-tailed species distribution. While ongoing efforts are directed at further optimising these models, future work will leverage additional spatial information with the aim of supporting richer insights into behavioural dynamics within these populations.

Bio: Charis is a 3rd-year PhD student developing novel deep learning approaches for the automated monitoring of dense cliff-nesting bird colonies. Her research focuses on advancing computer vision methods for detection, classification, and behavioural analysis in challenging habitats.

  1. Speaker: Maria Andrei

Title: Bridging Psychological Distance from Climate Change through Experiential Learning within Heritage Organisations

Abstract: Climate change represents one of the most urgent challenges of our time, not only in its environmental impacts but also as a complex science communication problem. Despite broad scientific consensus on its causes and mitigation pathways, public understanding and engagement remain fragmented, limiting the collective action needed to address this crisis. My research investigates how immersive technologies, particularly virtual reality, can bridge the gap between scientific knowledge and public perception by transforming abstract climate data into tangible, emotionally resonant experiences. By connecting global and local climate futures through case studies such as Antarctica and Scotland, I examine how immersive simulations can reduce psychological distance from climate change. By evaluating audience responses across diverse contexts, from museums to polar expedition vessels, this research aims to assess how experiential storytelling can improve climate communication and motivate engagement with climate action.

Bio: Maria is a third-year PhD researcher working with the Schools of Computer Science, Biology, and Earth & Environmental Sciences. Her work focuses on immersive climate communication, using virtual reality to visualise climate impacts in regions such as Scotland and Antarctica. She collaborates with heritage organisations, science centres, and polar expedition companies to bring these experiences to communities across Scotland and beyond.

We hope you can join us!

Winter Graduation Reception

We invite our graduating students and their guests to join us for a celebration of their achievements. Please come along to a small reception with a glass of fizz and some Fisher & Donaldson cakes.

The event will take place on Tuesday 2nd December between 12.30pm and 2.30pm in the Jack Cole coffee area.

We look forward to celebrating this special occasion with you 🍾

School Seminar: Jon Rogers, “There’s plenty of room in our communities: Rethinking computational scale through open hardware”

You are warmly invited to the third School Seminar:

Speaker: Jon Rogers

Title: There’s plenty of room in our communities: Rethinking computational scale through open hardware

Abstract: The dominant business model of Big Tech is built on scale. Scale to outpace competitors, capture global markets, and consolidate control. Today, just a handful of companies mediate most online interactions, reaching billions of users across devices and platforms. This logic of exponential growth, rooted in Moore’s Law and reinforced by Thiel’s 10x principle, now drives a global race to develop increasingly powerful forms of artificial intelligence and the gigafactory-scale infrastructures needed to support them. Infrastructures that require resources that contradict plans for net zero.  Is this a trajectory that is either sustainable or desirable?  What might it mean to pursue scale in the opposite direction, towards smaller, more sustainable, and community-oriented forms of computation?  The coming of age of open hardware offers new possibilities for computing that comes from, is made by, and is stewarded by local communities. The challenge of reimagining computing at a community scale is not primarily technical, but one of design and our ability to be more creative with technology.  In doing so, we could be offering alternative digital futures that are supportive of the people and the places that we make computation for.

Bio: Jon Rogers is Professor of Creative Technology at Northumbria University , Newcastle. With a PhD in Neural Networks from Imperial College London (2001), he spent seventeen years at the University of Dundee developing research at the intersection of design and technology. His hands-on practice explores how making can reveal new stories about our relationships with emerging technologies. A former Mozilla Senior Fellow (2016–2019) in Berlin, he led the Horizon 2020 OpenDoTT doctoral programme on trust and the Internet of Things. His current research reimagines digital futures through open hardware to enable more open and self-determined technological practices within communities.

Date & Time: Tuesday 11/11/2025 10am-11am.

Location: JC 1.33A

Note: Jon has kindly agreed to stay until 2 p.m. If you’d like to talk to him, please come see him after the talk.

Please do come along and join us! 🙂

From Honours Project to Open-Source Application: Developing a Wireshark ILNP Dissector

Wireshark is one of the world’s most widely used network analysis tools, and it comes with great pride that recent graduate Shubh Sinhal’s CS4099 Project “Wireshark and ILNP” has been included within the tool’s official codebase.

Shubh developed a Wireshark ILNP dissector that could be used for the ease of study for researchers and students interested in investigating and testing Identifier Locator Network Protocol (ILNP). Commenting on his work, he stated that his goals were “to identify ILNP flows, validate checksums, and produce tables for tracking and analysing data.” In this way, Shubh’s project adds the ability for Wireshark to detect and analyse ILNP traffic in TCP and UDP segments, check data integrity, and provide new filters and tracking tools for flow analysis. He notes:

I wanted to work on a large, well-known code base to gain experience with complex software and understand how such projects are organised. Since IP is still the dominant protocol, there is little work on new Internet layer protocols, and through the networking modules offered by St Andrews, I gained an interest in Internet architecture and protocol design for communication between devices located across the globe.

The CS4099 module prepares students to design, develop, and test a software system. Pursuing such a project involves students embracing independent research that can have an impactful effect on current software tools. Shubh relays that by supporting ILNP in Wireshark, “it lays the groundwork for potential wider adoption of an alternative internet layer protocol that improves on IPv6 with better mobility and multi-homing capabilities and simpler network management.” This development opens the door for innovation and unexplored opportunities in the future, including “new uses and features, as well as the improvement of performativity,” which in turn could lead to “ILNP becoming a strong alternative to traditional IP.”

With the guidance of his supervisor, Saleem Bhatti, Shubh remarks how the module’s personalized mentorship allowed him to “navigate” a complex code base and “strengthen” his capacity for software development by improving his abilities in understanding existing documentation and code, testing, debugging and producing documentation of his own. Most importantly, he reflects on how the project strengthened his confidence in working with real-world software and networking technologies, as well as improved his ability to work effectively with existing code, therefore giving him the chance to “explore an experimental protocol and contribute to open source by creating a useful tool that others can build on.”

With Shubh Sinhal now being credited on the list of authors for Wireshark, his contribution has shown how research within the School of Computer Science, as well as the engineers graduating from the school, are creating real impact through software applications within academia and beyond.

Information about ILNP can be found at https://ilnp.cs.st-andrews.ac.uk/. With the main part of the codebase Shubh produced being located in the master branch of the Wireshark GitHub repo here.

By Nina Globerson

AI Seminar – Symbolic reasoning with Dr Ruth Hoffmann Wednesday 29 October

Please join us for an in-person event entitled ‘Symbolic reasoning’ on Wednesday 29 October2025 between 1:30pm and 3pm. To help monitor attendance, please register using the link below. This event is open to all members of the community at the University of St Andrews.  

Speaker: Dr Ruth Hoffman, School of Computer Science, University of St Andrews

Abstract: Symbolic Reasoning (or Symbolic AI) consists of the logical modelling and an exhaustive search for definite solutions to problems. Whether that is finding the solution of a sudoku, finding an optimal route for delivery vehicles or creating kidney matching chains, symbolic AI and logic are the building blocks of this type of reasoning. We will be exploring the foundations of (Symbolic) AI, logic and search, and what type of intelligence it might represent.

Speaker bio: Dr Ruth Hoffmann is a Lecturer at the School of Computer Science, where she is also the Head of the AI Research Theme. She obtained her PhD at St Andrews and has spent some time at the University of Glasgow before returning to St Andrews. She has a background in Discrete Mathematics and Computational Combinatorics. Her research broadly focuses on efficiently finding (smaller) patterns inside bigger (target) structures. Currently, she is teaching the Symbolic AI module she developed.
Ruth is leading an UKRI project on improving search algorithms in one field, while taking inspiration from another search. She is a reviewer for numerous top AI, and Constraints venues, and a co-chair for a coding workshop for GAP (a computational algebra tool).

Register here following the ‘Book tickets’ link (registration is free)

Venue: St Mary’s College: T205 – Lecture Room 2

Directions: St Mary’s Lecture Theatre 2 – entering St Mary’s Quad from South Street, go through the door roughly in the middle of the building on the right, head up the spiral staircase to the first floor and go South (there are also signs).

We hope to see many of you there!

PGR Seminar – Erdem Kus & Junyu Zhang

You are warmly invited to the next PGR Seminar.

Date & Time: Monday 20/10/2025 14:00-15:00

Location: JC 1.33A

  1. Speaker: Erdem Kus

Title: Frugal Algorithm Selection for Combinatorial Search

Abstract: Solvers for combinatorial search and optimisation problems often exhibit highly complementary performance: instances that are hard for one solver may be easy for another. The Algorithm Selection Problem (ASP) addresses this by predicting, for each problem instance, which solver will perform best. Machine learning models trained for this purpose, however, are typically expensive to construct, as they require exhaustive solver runs on all training instances to obtain ground-truth performance data.

In this work, we propose a frugal alternative that formulates algorithm selection as an active learning problem. Instead of uniformly evaluating all solver–instance pairs, our method intelligently selects the most informative ones, thereby drastically reducing the cost of data collection. We show that standard active learning techniques are inadequate for this setting, as they overlook the structure and cost characteristics unique to algorithm selection. To address this, we introduce novel, cost-aware active learning strategies that leverage auxiliary models to balance informativeness and evaluation cost.

Bio: Erdem is a PhD candidate whose research focuses on Artificial Intelligence (AI) and Constraint Programming (CP).

  1. Speaker: Junyu Zhang

Title: Remaking Characters in Heritage Contexts to Support Inclusive Learning

Abstract: Characters in immersive environments have the potential to enrich user experience, improving engagement with heritage and in so doing benefiting heritage organisations and their communities. Creating authentic digital scenes based upon survey, archaeological and historical data, co-creative design and community engagement enables communities and their visitors to understand the past better. The understanding of authenticity stimulates the potential of enriching cultural heritage with the details of lives past and also discusses how this research benefits the Sustainable Development Goals.

Bio: Minty is a PhD candidate exploring the authenticity of characters to support inclusive learning in heritage contexts. She is interested in how digital technologies can be used in the intersection of different disciplines to achieve SDGs in the field of cultural heritage, so as to enhance the promotion, representation, and well-being in digital humanities education and also affect resonated dialogue and thinking among diverse people and communities in facing the current challenges.

We hope you can join us!

Inaugural Lecture showcase Wednesday 15th October

The Inaugural Lecture showcase takes place at Buchanan Lecture Theatre on Wednesday 15th October at 4:00pm.

Professor Richard Connor
‘Finding New Dogs with Old Tricks’

Professor Juliana Bowles
‘The Temporality of Formal Reasoning: As it was, as it is and as it could be’

Professor Susmit Sarkar
‘Peering Inside the Box: Making Modern Computing Safer with Mathematical Specifications’

Please come along if you can and support the school and our colleagues.

Fully-funded PhD scholarship in Artificial Intelligence and Copyright

The University of St Andrews School of Computer Science and the Macquarie University Law School are pleased to offer a Global Doctoral Scholarship in the area of Artificial Intelligence and Copyright Law: The Problem of Authorship. This PhD scholarship is fully-funded and includes fees (home or international) and a stipend for 3.5 years. The PhD will be supervised by Dr Tristan Henderson at St Andrews and Dr Daniela Simone at Macquarie.

Artificial Intelligence (AI) is increasingly important as businesses begin to use it to undertake work traditionally done by humans. As AI systems become more sophisticated and capable, they become more significant in content creation. But the use of AI complicates the determination of authorship of the work created using it; and, as a consequence, the subsistence and ownership of any copyright in that work. This project will investigate the challenges that arise when copyright’s concept of authorship meets AI from an interdisciplinary perspective.

Authorship is at the heart of copyright law in most legal traditions. Copyright protection usually requires some ‘authorial’ input, but jurisdictions differ on the amount and type of human contribution that counts. As AI transforms creative processes and supercharges content generation at scale more clarity is urgently needed. Many are concerned that AI output will displace human creativity – and as such they question whether it should be incentivised via copyright at all. Human creators who turn to AI to augment and complement their own practices will be equally concerned about whether the use of AI tools affects their ability to exploit their work. There is a public interest in ensuring that creativity is encouraged and rewarded.

Whilst it is clear that human input shapes AI output, AI developers and users have much less control over output than a writer does over the words produced by a pen. Is AI output authored in a sense that copyright can, or should, recognise? This question has important implications for the economic exploitation of work made using AI. Uncertainty and variation between the law of different jurisdictions creates economic and cross-border friction. An important and related question is how market participants – both rights-holders and users of creative work – know whether the level of human input rises to the level of copyrightability. Can technology, the law, or both, help provide these participants with sufficient transparency and control over their input?

Where current research focuses on the technological abilities of AI to respect copyright, or the legal application of copyright to AI outputs, we would like to go beyond this and seek student-led proposals on the application and limits of copyright’s concept of authorship from an interdisciplinary computer science (CS) and law perspective. Projects might address questions such as:

  • What amount and type of human contribution suffices to establish authorship of AI output?
  • What sort of causal relationship must exist between human input and AI output to establish authorship?
  • How can human contribution be verified, measured, traced or evidenced?
  • Is control over the output an appropriate touchstone for authorship?
  • How can existing AI systems be adapted to provide sufficient attribution?
  • How do provisions relating to computer-generated works apply?
  • What is the proper scope of copyright in AI output?

This is a joint Computer Science (CS) and Law project, and the successful candidate should have a foundational knowledge in one or both of these disciplines, and a willingness to engage with other related disciplines. Our experience indicates that successful interdisciplinary projects still reside in a ‘home’ discipline, and so we would welcome proposals that use legal approaches such as doctrinal or comparative methods and are informed by CS, as well as CS-driven proposals such as the development of new AI systems that are informed by legal requirements.

The student would join the St Andrews School of Computer Science’s Responsible and Sustainable Research Theme, and be a part of the Scottish Informatics and Computer Science Alliance, a research pool of all 14 computer science departments across Scotland. Depending on the focus of the proposal, the student could join Macquarie’s Data Horizons Research Centre, Centre for Applied Artificial Intelligence, and/or the Ethics and Agency Research Centre. Resources provided by both departments will include computing equipment, conference travel and access to GPU-equipped servers.

Details on how to apply can be found at https://www.mq.edu.au/research/phd-and-research-degrees/how-to-apply/scholarship-opportunities/scholarship-search/ai-and-copyright-law-the-problem-of-authorship and applications should be received by 3 December 2025. Interested applicants are encouraged to make informal contact with the supervisors first by e-mail: Tristan Henderson tnhh@st-andrews.ac.uk and Daniela Simone daniela.simone@mq.edu.au.