Keir Fraser, University of Cambridge Computer Laboratory