Andy Gordon Honorary Professor School of Informatics The University of Edinburgh Contact details Email: Andy.Gordon@ed.ac.uk Web: Personal Website Research Institute Laboratory for Foundations of Computer Science This article was published on 24th Oct 2024 at 14:10