Alonzo Church

Born June 14, 1903, Washington, D. C.; mathematical logician, creator of the Lambda Calculus who contributed the Church-Rosser theorem to the study of computer science. Education: AB, Princeton University, 1924; PhD, mathematics, Princeton University, 1927. Professional Experience: national research fellow in mathematics, Harvard University, 1927-1928; University of Göttingen and University of Amsterdam, 1929; Princeton University, assistant professor, professor, 19291967; UCLA, professor, philosophy and mathematics, 1967-present. Honors and Awards: DSc, Case Western Reserve University member, 1969; National Academy of Science.