Joseph Bonneau, Computer Laboratory, University of Cambridge