Andy Gordon, Honorary Professor, Laboratory for Foundations of Computer Science, School of Informatics, at the University of Edinburgh. 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