Elizabeth Polgreen, Lecturer in Programming Languages for Trustworthy Systems, Laboratory for Foundations of Computer Science, School of Informatics, at the University of Edinburgh. Dr Elizabeth Polgreen Lecturer in Programming Languages for Trustworthy Systems School of Informatics The University of Edinburgh Contact details Email: elizabeth.polgreen@ed.ac.uk Web: Personal Website Research Areas Programming Languages and Software Engineering Research Institute Laboratory for Foundations of Computer Science This article was published on 25th Oct 2024 at 12:02