Dr Chunyan Mu (University of Aberdeen), Dr Adewale Adenuga (Queen's University Belfast), Dr Matthew Smith (Marks & Spencer).

The agri-food supply chain is important to global food security, yet it faces growing challenges in balancing sustainability, fairness, and resilience [1]. Increasing pressure to reduce food waste, lower environmental impacts, and ensure ethical resource distribution makes this project timely and crucial. The project aims to develop automated techniques from computing science to assess and optimise agri-food supply chains, integrating key aspects from agri-food systems such as sustainability, food safety, risk assessment, and transparency, building on the supervisors’ preliminary work on quantitative verification of opacity and observability in multi-agent systems [2,3,4,5]. This project will contribute to enhancing trust and integrity within the supply chain by addressing organisational culture, transparency, and fairness in decision-making.

The student will model agri-food supply chains using game-theoretic and probabilistic approaches from CS, incorporating factors like logistics, resource allocation, greenhouse gas emissions, and ethical considerations like fairness and transparency from agri-food systems. They will formalise these properties and develop algorithms to verify them, using tools like probabilistic model-checking to ensure the supply chain operates sustainably and equitably. Practical case studies - such as organic farming supply chains - will provide real-world application, with a focus on reducing food waste, ensuring food safety, and addressing risks like corporate crime and mendacious behaviour.

Based at the SUSTAIN CDT, the student will gain expertise in sustainability, resilience, food security, and risk assessment, while also developing CS technical skills in formal verification, multi-agent systems, and computational modelling. Through multidisciplinary collaboration, they will explore the intersection of sustainability with integrity, transparency, and organisational culture. This training will equip the student with a comprehensive skill set to address sustainability challenges in the agri-food sector, preparing them for roles in technology, food security, and corporate sustainability, where ethical practices and risk management are critical.