Fermat number
In 1980 he and John Pollard factored the eighth Fermat number using a variant of the Pollard rho algorithm. He later factored the tenth and eleventh Fermat numbers using Lenstra's elliptic curve factorisation algorithm.