Alonzo Church (1903-1995) was an American mathematician and logician, known for his contributions to formal systems and mathematical logic. He made significant contributions to the concept of the Turing machine, which is a foundational idea in modern computer science.