Han var professor ved University of Cambridge fra 1983 og ved Princeton University i USA fra 1986. Han arbeidet med endelige grupper, knuteteori, tallteori, kombinatorisk spillteori og kodeteori.