Chair in Theoretical Computer Science at The University of Edinburgh