Paul Leyland is a British number theorist who has studied integer factorization and primality testing.