Leo Harrington
Leo Anthony Harrington (born 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.
Leo Harrington - Wikipedia