Rubin Xu, Computer Laboratory, University of Cambridge