1. School of Mathematics, University of Birmingham, Birmingham, UK
2. Topological Design Centre for Doctoral Training, University of Birmingham, Birmingham, UK
3. School of Computer Science, University of Birmingham, Birmingham, UK
4. The Alan Turing Institute, The British Library, London, UK