Chair in Theoretical Computer Science at Edinburgh University