Vesselin Velichkov, Honorary Fellow, Laboratory for Foundations of Computer Science, School of Informatics, at the University of Edinburgh. Vesselin Velichkov Honorary Fellow School of Informatics The University of Edinburgh Contact details Email: vvelichk@exseed.ed.ac.uk Research Institute Laboratory for Foundations of Computer Science This article was published on 24th Oct 2024 at 14:10