Formal design of swarm robotic systems from application-level specifications (funded by Innovate UK ICURe Discover)

The aim is to find commercialisation avenues for my research on the disciplined design of self-organising UAV swarm systems for full customisation. Whether it is search and rescue, precision agriculture, wildfire emergency response, infrastructure inspection, defence missions, or logistics—each swarm is tailored to the specific mission and environment, delivering adaptable, autonomous coordination at scale.