- 1912-1954. British mathematician and logician.
- Invented the Turing machine, a universal model of computation that defines what is computable.
- Proved the halting problem is undecidable, establishing fundamental limits of computation.
- Proposed the Turing test as a criterion for machine learning and artificial intelligence.
- Led the cryptography effort at Bletchley Park, breaking the Enigma cipher during World War II.
- Laid the foundation of computer science as a formal discipline.
- His work on morphogenesis anticipated computational approaches to biology.