Quantitative Verification of Supply Chain Models in the Agri-Food Efficiency Systems

This project aims to enhance the agri-food supply chain’s sustainability, fairness, and resilience using automated computing techniques. It will model supply chains with game-theoretic and probabilistic approaches, focusing on reducing food waste and ensuring food safety. Practical case studies, like organic farming, will apply these methods. The student will gain expertise in sustainability and risk assessment, preparing them for roles in technology and corporate sustainability. 

The agri-food supply chain is important to global food security, yet it faces growing challenges in balancing sustainability, fairness, and resilience [1,2]. 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 strategic reasoning of responsibility in multi-agent systems [3,4,5,6]. 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.