PGR Seminar with Carla Davesa Sureda

The next PGR seminar is taking place this Friday 22nd November at 2PM in JC 1.33a

Below is a Title and Abstract for Carla’s talk – Please do come along if you are able.

Title:

Towards High-Level Modelling in Automated Planning

Abstract:

Planning is a fundamental activity, arising frequently in many contexts, from daily tasks to industrial processes. The planning task consists of selecting a sequence of actions to achieve a specified goal from specified initial conditions. The Planning Domain Definition Language (PDDL) is the leading language used in the field of automated planning to model planning problems. Previous work has highlighted the limitations of PDDL, particularly in terms of its expressivity. Our interest lies in facilitating the handling of complex problems and enhancing the overall capability of automated planning systems. Unified-Planning is a Python library offering high-level API to specify planning problems and to invoke automated planners. In this paper, we present an extension of the UP library aimed at enhancing its expressivity for high-level problem modelling. In particular, we have added an array type, an expression to count booleans, and the allowance for integer parameters in actions. We show how these facilities enable natural high-level models of three classical planning problems.

Doughnuts will be available! 🍩

Fully funded PhD scholarship in Algorithms for Data Science

Lead supervisor: Dr Peter Macgregor

Application deadline: 1 March 2025

Project description:

Modern data science and machine learning applications involve datasets with millions of data points and hundreds of dimensions. For example, deep learning pipelines produce massive vector datasets representing text, image, audio and other data types. The analysis of such datasets with classical algorithms often requires significant time and/or computational resources which may not be available in many applications.

This motivates the development of a new generation of fast algorithms for data analysis, running in linear or sub-linear time and often producing an approximate result rather than an exact one. Moreover, the dataset may change over time, requiring dynamic algorithms which handle updates efficiently.

This project will tackle aspects of the design, analysis, and implementation of algorithms for processing large dynamic datasets, with the aim to develop new algorithms with state-of-the-art practical performance and/or theoretical guarantees. This could involve performing new analysis of existing algorithms, designing new algorithms with provable guarantees, or implementing heuristic algorithms with state-of-the-art empirical performance.

Possible Directions

Potential areas of research, depending on the interests of the candidate include:

  • Developing improved nearest-neighbour search algorithms (e.g., based on kd-trees, HNSW, locality-sensitive hashing).
  • Exploring any connection between hierarchical clustering algorithms and nearest-neighbour search algorithms.
  • Creating new dynamic or hierarchical clustering algorithms (e.g. based on spectral clustering or DBSCAN).
  • Creating dynamic algorithms for numerical linear algebra. For example, maintaining the PCA of a dynamically changing dataset.
  • Any other project in the area of algorithmic data science and machine learning.

Applicants should have a strong interest in the mathematical analysis of algorithms, knowledge of topics in discrete mathematics and linear algebra, and some familiarity with existing algorithms for data analysis and machine learning. Strong programming skills would also be desirable.

The scholarship:

We have one fully-funded scholarship available, starting in September 2025. The scholarship covers all tuition fees irrespective of country of origin and includes a stipend valued at £19,705 per annum. More details of the scholarship can be found here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/phd-studentships-available-for-2025-entry/, but please note the different application deadline.

Eligibility criteria:

We are looking for highly motivated research students keen to be part of a diverse and supportive research community. Applicants must hold a good Bachelor’s or Master’s degree in Computer Science, or a related area appropriate for the topic of this PhD.

International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply. The School of Computer Science was awarded the Athena SWAN Silver award for its sustained progression in advancing equality and representation, and we welcome applications from those suitably qualified from all genders, all races, ethnicities and nationalities, LGBT+, all or no religion, all social class backgrounds, and all family structures to apply for our postgraduate research programmes.

To apply:

Interested applicants can contact Peter Macgregor with an outline proposal.

Full instructions for the formal application process

The deadline for applications is 1 March 2025.

AI Seminar Tuesday 19th November – Francesco Leofante

The School is hosting an AI seminar on Tuesday 19th November at 11am in JCB1.33A/B

Our speaker is Francesco Leofante from Imperial College London.

Title:

Robustness issues in algorithmic recourse.

Abstract:

Counterfactual explanations (CEs) are advocated as being ideally suited to providing algorithmic recourse for subjects affected by the predictions of machine learning models. While CEs can be beneficial to affected individuals, recent work has exposed severe issues related to the robustness of state-of-the-art methods for obtaining CEs. Since a lack of robustness may compromise the validity of CEs, techniques to mitigate this risk are in order. In this talk we will begin by introducing the problem of (lack of) robustness, discuss its implications and present some recent solutions we developed to compute CEs with robustness guarantees.

Bio:

Francesco is an Imperial College Research Fellow affiliated with the Centre for Explainable Artificial Intelligence at Imperial College London. His research focuses on safe and explainable AI, with special emphasis on counterfactual explanations and their robustness. Since 2022, he leads the project “ConTrust: Robust Contrastive Explanations for Deep Neural Networks”, a four-year effort devoted to the formal study of robustness issues arising in XAI. More details about Francesco and his research can be found at https://fraleo.github.io/.

PGR Seminar with Daniel Wyeth and Ferdia McKeogh

The next PGR seminar is taking place this Friday 15th November at 2PM in JC 1.33a

Below is a Title and Abstract for Daniel’s and Ferdia’s talks – Please do come along if you are able.

Daniel:

Deep Priors: Integrating Domain Knowledge into Deep Neural Networks

Deep neural networks represent the state of the art for learning complex functions purely from data.  There are however problems, such as medical imaging, where data is limited, and effective training of such networks is difficult.  Moreover, this requirement for large datasets represents a deficiency compared to human learning, which is able harness prior understanding to acquire new concepts with very few examples.  My work looks at methods for integrating domain knowledge into deep neural networks to guide training so that fewer examples are required.  In particular I explore probabilistic atlases and probabilistic graphical models as representations for this prior information, architectures which enable networks to use these, and the application of these to problems in medical image understanding.

Ferdia:

“Lessons Learned From Emulating Architectures”

Automatically generating fast emulators from formal architecture specifications avoids the error-prone and time-consuming effort of manually implementing an emulator. The key challenge is achieving high performance from correctness-focused specifications; extracting relevant functional semantics and performing aggressive optimisations. In this talk I will present my work thus far, and reflect on some of the unsuccessful paths of research.

Doughnuts will be available! 🍩

The Power of Tech in Sustainability, Inclusion, & Community: Mind and Matter 2024

Mind and matter public engagement posterThe North Haugh campus was brimming with bubbling experiments, interactive activities, and research displays as St Andrews welcomed in its Mind and Matter Festival 2024 on 27th October 2024.

As a festival dedicated to inspiring creativity and curiosity from the lens of various disciplines, we were thrilled to see three of our very own researchers from the School of Computer Science presenting their latest research and subject passions to the wider community.

Starting off, Dr Kirsty Ross (Industrial Liaison) was exhibiting ‘We Can Edit: St Andrews on WikiCommons’. This was badged as a Cloud Activity (one of the six groups or categories of activities participants could engage with) which was all about transforming the perspective of how we understand ourselves and how we use our knowledge:

Kirsty Ross sitting at the IDEA network desk“What we’re doing today is encouraging folks to sign up to Wiki and then go on a listed building hunt round St Andrews and add photos of those buildings to WikiCommons.”

The project is a part of the Inclusion, Diversity, Equity, and Accessibility (IDEA) Network, and engages with “the increasing interest in Wiki and open knowledge.” Founded in April 2021 (alongside her colleague Dr Abd Alsattar Ardati who she had never actually met face-to-face due to the pandemic), Dr Ross recalls how it all started as a way of “getting people involved, whether that’s research, teaching, or knowledge exchange.” As the Wikimedia project is more than just Wikipedia, containing various sister projects such as Wikidata, Wikimedia Commons, etc, Dr Ross remarked that this project is all about “increasing the impact of our research and making it accessible to everyone” through their active participation.

In line with this collective effort, Dr Ross noted that it’s presence at a festival such as Mind and Matter helps put a “human face” to research that could equally fascinate experts, as well as those who are new to the topic. Most importantly though, it reminds us that “our audience is not just an empty vessel that turn up and you fill them with knowledge, and that’s our job done. They come with their own interests, background, and passion, and it’s about finding the hook that works for each person that you talk to.”  A wonderful reminder that innovative research engagement begins from something as simple as the conversations being held around us.

Dr. Dharini Balasubramaniam standing beside their posterOn a similar note, Dr. Dharini Balasubramaniam (Senior Lecturer) displayed her Cloud Activity ‘Once upon a time there was the web’ poster which shared research insights into intergenerational approaches for making digital services more inclusive.

When we started looking,” Dr. Balasubramaniam commented, “we very quickly realized, it’s not something that computer scientists can solve by themselves. We must work with all the stakeholders who are involved, including the older adults who are disadvantaged by the proliferation of the technologies, as well as the people who support them.” This includes collaborating with local groups and organisations here at St Andrews such as St Andrews Public Library, Haydays Fife, North East Fife Community Hub, and more. It also entails contributing time to festivals like Mind and Matter because co-creating solutions (participatory design) hugely revolves around talking to people as “not everyone will have the same attitude, abilities, or reactions to digital technology. Therefore, we cannot make any assumptions about how accessible something is to a particular person without actually talking to them.”

The project arose from Dr. Balasubramaniam’s interest in representing digital ethics within software architectures, which extends to broader thinking about the social and cultural effect of our technological systems. It then led to important conversations being had between herself, her family, and older people within the town of St Andrews about where they had felt left behind, demonstrating that “a lot of work needed to be done for it.” A crucial part of this work involves increasing software literacy. In other words, “making people aware of how digital technologies work and the impact of the choices they might make.”  It also includes “making service providers aware of the particular challenges that marginalized groups might face in access. What if you are an older person and you have physical or cognitive impairments? What if you are part of a minority group in some way? If you have a certain disability, or if you have moved here from another part of the world and the language used isn’t necessarily accessible to you?”

Dr. Balasubramaniam remarked that presenting this research to the public is both exciting and humbling: “It reminds me of the big picture and why we are doing this, and what’s been really inspiring is how keen people are to engage with researchers and to contribute. That’s the most amazing thing.”

Turning to a Tree Activity, panels dedicated to connecting us with the natural world and sustainable futures, Dr. Alan Miller (Lecturer) exhibited ‘Virtual Reality for Sustainable Development’ which allowed participants to interactively contemplate sustainability, cultural preservation, and the effects of climate change.

two people standing beside a poster

“At this festival we are showing work concerned with two things — representations of the past and future. One is making digital reconstructions of the world heritage site, St Kilda, as it was in 1819. Another is raising awareness about the effects of climate change through the representation of Paradise Bay in Antarctica by showing the situation today and how it’s likely to change as a result of climate change, as well as demonstrating the potential future of Glasgow based upon James Rae’s work that shows a ten meter rise in sea-level which is consistent with the levels of carbon that we have in the atmosphere at the moment.”

Dr. Miller explained that it was the efforts of many being shown at Mind and Matter, including PhD work being conducted by Maria Andrei (virtual reality and climate change) and Sharon Pisani (sustainable development through digital tourism and heritage), as well as his own interests in applying 3D technologies to experiences of the past and future in order to promote the United Nations 2023 Agenda for Sustainable Development. The project is based on the idea of experiential learning being a deep form of education that can help overcome “psychological distance, whereby people maybe don’t appreciate statistics and numbers of what the impact of climate change will be” and therefore if they can “experience what it might be like, it could make it easier to achieve the sort of behavioural changes we need in order to holt climate change.”

2 computer screens showing the work of the researchers

While climate crisis and sustainability are large scale issues that can often feel out of our reach, engaging with it within our local community can hugely enable researchers and participants alike to consider its significance. Dr. Miller best described it as applying “practice-led research, whereby we try to develop initiatives in the community and understand its impact,” which when presented to local and non-local audiences at a festival, open a feedback loop of communication on what works and what does not.

“I suppose the most exciting part is you put together your research but then it’s when people come along and interact with it, and maybe it changes the way they think about the world or the way in which they carry themselves within it. It’s nice to know that the research we do has some impact on people’s lives.” 

There are coherent themes of inclusivity, accessibility, and community being explored within the Department of Computer Science demonstrating how tech and data can be used for good. What is most appealing is that the research exhibited at the Mind and Matter Festival are actively increasing their scope throughout the university and St Andrews.

Dr. Kirsty Ross commented on the IDEA Network wanting to scale their work through a ESPRC (Engineering & Physical Sciences Research Council) grant; Dr. Dharini Balasubramaniam mentioned the project being in the process of setting up a monthly digital support session in local community spaces, as well as volunteer opportunities readily available; and Dr. Alan Miller is a part of the Open Virtual Worlds Group which hosts various workshops, collaborations, and projects that allow those interested in immersive technology for the preservation and promotion of heritage to get involved.

It is thrilling to see where computer science is taking us! What remains now is to anticipate what innovative initiatives will be fore fronted at next year’s festival and throughout the school over the next academic year.

By Nina Globerson, Science Communicator for the School of Computer Science

PGR Seminar with Ariane Hine

The PGR seminars for this academic year are beginning this Friday 8th November at 2PM in JC 1.33A/B

Below is a title and Abstract for Ariane’s talk – Please do come along if you are able.

Title: Enhancing and Personalising Endometriosis Care with Causal Machine Learning

Abstract: Endometriosis poses significant challenges in diagnosis and management due to the wide range of varied symptoms and systemic implications. Integrating machine learning into healthcare screening processes can significantly enhance and optimise resource allocation and diagnostic efficiency, and facilitate more tailored and personalised treatment plans. This talk will discuss the potential of leveraging patient-reported symptom data through causal machine learning to advance endometriosis care and reduce the lengthy diagnostic delays associated with this condition.

The goal is to propose a novel personalised non-invasive diagnostic approach that understands the underlying causes of patient symptoms and combines health records and other factors to enhance prediction accuracy, providing an approach that can be utilised globally.

Fudge donuts will be available! 🍩

Fully funded PhD scholarship in software ethics

Supporting ethical deliberation in the software lifecycle

 

Lead supervisor: Dr Dharini Balasubramaniam

Application deadline: 1 March 2025

Project description:

Software ethics covers a broad spectrum of concerns including accountability, fairness, privacy and data protection, transparency, safety, security, accessibility, digital inclusion and sustainability. Much of the current dialogue on software ethics relates to the development, deployment and use of AI-based solutions, although there are ethical concerns related to most, if not all, software application domains. The pervasive nature of software, its critical importance to the functioning of many sectors, and the opaque nature of software-supported decision making in some domains all make it vital that ethical issues are explicitly considered throughout the software lifecycle.

There is generic ethics guidance, such as the ACM / IEEE Software Engineering Code of Ethics and sets of ethical principles specifically aimed at domains such as AI, available to software engineers. Generic and specific concepts such as value-based software development and responsible AI have been proposed to encourage ethical software development. However, there is still a lack of processes, notations, tools and training available to software professionals to support systematic ethical deliberation and ethics-driven development in practice.
This project will explore and attempt to address this gap. The student will design and develop ways to explicitly capture ethical requirements, risks and mitigations as first-class concepts in software artefacts. They will implement tools that work with these specifications to analyse the compliance of software artefacts with ethical requirements, and highlight potential violations and consequences. Interviews with software professionals and service providers may be used to inform and evaluate the efficacy and viability of outcomes. Open-source projects in chosen application domains may also be used for case study-based evaluation.

Topics of interest:

Specific topics of interest include, but are not limited to:

  • A framework of ethical concerns that apply to software,
  • Notations to represent ethical requirements, risks and mitigations as first-class concepts in software design and implementation,
  • Tool support for the representation and analysis of ethical concerns in software artefacts,
  • Process and tool support for considering specific aspects of software ethics, such as bias avoidance, transparency, sustainability or accessibility, and
  • Integration of ethical training and deliberation within project and product management environments.

The scholarship:

We have one fully-funded scholarship available, starting in September 2025. The scholarship covers all tuition fees irrespective of country of origin and includes a stipend valued at £19,705 per annum. More details of the scholarship can be found here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/phd-studentships-available-for-2025-entry/, but please note the different application deadline.

Eligibility criteria:

We are looking for highly motivated research students keen to be part of a diverse and supportive research community. Applicants must hold a good Bachelor’s or Master’s degree in Computer Science, or a related area appropriate for the topic of this PhD.

International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply. The School of Computer Science was awarded the Athena SWAN Silver award for its sustained progression in advancing equality and representation, and we welcome applications from those suitably qualified from all genders, all races, ethnicities and nationalities, LGBT+, all or no religion, all social class backgrounds, and all family structures to apply for our postgraduate research programmes.

To apply:

Interested applicants can contact Dharini Balasubramaniam with an outline proposal. Full instructions for the formal application process can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/.

The deadline for applications is 1 March 2025.

Fully funded PhD Scholarship in Hardware Simulation at Scale

 

As the Internet ofThings (IoT) expands, the number of connected devices is expected to reach close to 30 billion by 2030. These devices range from simple sensors to complex embedded systems, each with unique characteristics and communication protocols. Simulating such a vast and diverse array of devices presents a significant challenge in terms of scalability, accuracy, and efficiency. This PhD project aims to develop a comprehensive framework for simulating many (1000s, 10,000s, 1,000,000s) heterogeneous IoT devices, at (hopefully) close to real-time speeds. The project will focus on designing a specialised languages for describing hardware and simulations, creating an efficient simulation environment, and exploring hardware acceleration techniques to achieve high performance and scalability.

Previous research in this area has primarily focused on simulating individual devices, smaller networks, or using simplified models that do not fully capture the intricacies of real-world IoT systems. This project seeks to address these limitations by developing a scalable simulation framework that can accurately model the behaviour of billions of heterogeneous devices, advancing the state-of-the-art in simulation languages, distributed computing, and hardware acceleration.

The project will be structured around three core research ideas:

  • Simulation Languages for Heterogeneous Embedded Devices: The first research objective is to explore the creation of a specialised language for describing the behaviour and interactions of heterogeneous IoT devices. This language will need to be expressive enough to capture the wide range of device architectures and communication protocols found in IoT systems. The language will also support modularity and extensibility, allowing users to easily incorporate new device types and behaviours into the simulation.
  • Development of a Scalable Simulation Environment: The second research objective is to create a simulation environment that can efficiently emulate IoT devices at scale, across multiple simulation servers. This environment will be designed to support distributed computing, allowing for parallel execution of simulated devices across a large number of servers. The project will explore various techniques for load balancing, synchronisation, and communication between servers to ensure that the simulation remains efficient and accurate as the scale increases.
  • Hardware Acceleration for Large-Scale Simulations: The third research objective is to investigate the use of hardware acceleration techniques, such as Field Programmable Gate Arrays (FPGAs) and Graphics Processing Units (GPUs), to improve the performance of large-scale IoT simulations. This aspect of the project will focus on identifying the components of the simulation that can be offloaded to specialised hardware, and developing algorithms and architectures that leverage this hardware to achieve significant performance gains.

Topics of Interest

  • Heterogeneous Systems Modelling: Techniques for accurately modelling the diverse architectures and communication protocols of IoT devices.
  • Distributed Simulation: Methods for efficiently distributing simulations across multiple servers, including load balancing, synchronisation, and inter-server communication.
  • Simulation Languages: Design and implementation of specialised languages for describing complex IoT devices and networks.
  • Hardware Acceleration: Exploration of FPGA, GPU, and other hardware acceleration technologies to enhance the performance of large-scale simulations.
  • Scalability and Performance Optimisation: Strategies for ensuring that the simulation framework can handle the increasing complexity and scale of IoT networks.
  • Validation and Verification: Techniques for validating and verifying the accuracy and reliability of large-scale IoT simulations.

The Scholarship

We have one fully-funded scholarship available, starting in September 2025, which will be awarded to competitively to the best applicant. The scholarship covers all tuition fees (irrespective of country of origin) and comes with a stipend valued at £19,705 per annum. More details can be found here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/phd-studentships-available-for-2025-entry/

International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply. The School of Computer Science was awarded the Athena SWAN Silver award for its sustained progression in advancing equality and representation, and we welcome applications from those suitably qualified from all genders, all races, ethnicities and nationalities, LGBT+, all or no religion, all social class backgrounds, and all family structures to apply for our postgraduate research programmes.

To Apply

Informal enquiries can be directed to Tom Spink. Full instructions for formal applications can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/

The deadline for applications is 1 March 2025.

Fully-funded PhD scholarship in parallel programming and dependent-types

The school of Computer Science at the University of St Andrews has a fully-funded scholarship available working in the Programming Languages Research Group with Dr Christopher Brown. Applications must be received by 1 March 2025.

Background

Algorithmic skeletons provide a convenient and high-level approach to writing efficient parallel software by leveraging common patterns of parallel behaviours. A skeleton library presents the programmer with a library of high-level parallel interfaces, abstracting away the low-level complexities of manually handling concurrency primitives, e.g. locking, synchronisation and thread creation. Skeletons give an excellent compromise between ease of programming and the ability to generate highly efficient parallel software. A wide range of skeletons have been developed for several different languages, including Fastflow, TBB, PPL and OpenMP. However, despite the proliferation of skeleton libraries, there is little support for an increasingly popular class of programming languages equipped with dependent types.

 

Dependently-typed programming languages address the problem of program safety by ensuring that code conforms to its specification. This is achieved by permitting types to depend on values, thereby allowing programmers to express logical properties, and proof, as intrinsic parts of their programs. This conformance is checked at compile-time. This interest in dependent-types has resulted in a number of functional languages such as pi-forall, Agda, Idris and Coq. However, despite these developments in types, these dependently-typed languages still lack a parallel implementation, making development of safe parallel programs impossible.

 

This project will explore approaches to designing and implementing a dependently-typed parallel programming language. These approaches will consider the technical challenges, but also balancing those with the high-level usability that skeletons bring and the performance expectations of a performant system. As part of this exploration, use-cases will also need to be developed, and the scientific evaluation of the performance of the system will need to be carried out.

Topics of Interest

This project is largely exploratory in nature, and may take several different approaches and directions, including (but not limited to):

  • Extending an existing dependently-typed language, such as Idris, with new concurrency primitives.
  • Designing and implementing an efficient parallel runtime system as a backend to the language.
  • Building on top of these primitives to provide dependently-typed concurrency behaviours, such as synchronisation points, channel behaviours, etc.
  • To design and implement a set of dependently-typed algorithmic skeletons such as farms and pipelines.
  • To explore and identify new skeletons that arise from writing dependently-typed programs.
  • To use dependent-types to encode safety and soundness properties and reason about these properties in a formal way.

The Scholarship

We have one fully-funded scholarship available, starting in September 2025, which will be awarded to competitively to the best applicant. The scholarship covers all tuition fees (irrespective of country of origin) and comes with a stipend valued at £19,705 per annum. More details can be found here: https://blogs.cs.st-andrews.ac.uk/csblog/2024/10/24/phd-studentships-available-for-2025-entry/

International applications are welcome. We especially encourage female applicants and underrepresented minorities to apply. The School of Computer Science was awarded the Athena SWAN Silver award for its sustained progression in advancing equality and representation, and we welcome applications from those suitably qualified from all genders, all races, ethnicities and nationalities, LGBT+, all or no religion, all social class backgrounds, and all family structures to apply for our postgraduate research programmes.

To Apply

Informal enquiries can be directed to Chris. Full instructions for formal applications can be found at https://www.st-andrews.ac.uk/computer-science/prospective/pgr/how-to-apply/

The deadline for applications is 1 March 2025.