Derek G. Murray, University of Cambridge Computer Laboratory