Leo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. He and Jeff Paris proved the Paris–Harrington theorem.
