The AEDs dotted around the university do not seem like they are registered to The Circuit network. Registering them to the circuit network will allow for the local ambulance service (London Ambulance Service) to know where the nearest AED is, if there is a cardiac arrest near/within the university's premises. This will also allow visitors and students to be aware of where the nearest AED is.
Additionally, if haven't already, please can the university or union check all the pads and batteries and make sure that they are still in date.