Jörg Thalheim, The University of Edinburgh