Английский математик и инженер, член Лондонского королевского общества (с 1951). Родился в Лондоне. Окончил Кембриджский университет (1935), учился также в Принстонском университете (США; 1936—1938). В 1938— 1939 работал в Кембриджском университете, в 1939—1945 —в отделе коммуникаций министерства иностранных дел Великобритании, в 1945— 1948 — в Национальной физической лаборатории, в 1948—1954 — в Манчестерском университете.

Работы посвящены теории машин автоматического действия и математической логике. Создал теорию универсальных автоматов и первую в Англии универсальную вычислительную машину. Ввел понятие уточненного абстрактного эквивалента алгоритма, или вычислительной функции. В 1936 дал описание «машины Тьюринга», которая могла бы вывести все доказуемые формулы узкого исчисления предикатов. Получил ряд результатов в области аппроксимаци и групп Ли, конечных групп и в вычислении ξ-функции Римана. Занимался (1950) проблемами применения математики к биологии. Разработал первый проект электронного мозга — автоматической вычислительной машины, подготовил ряд программ и поставил проблему обучения вычислительных машин (1948).