University of Cambridge, Computer Science Lab