I work across mathematics, logic, cryptanalysis, computer design and theoretical biology. My best-known contribution is the Turing machine, a formal model of algorithm and computation that can stand in for a general-purpose computer.
I turn vague notions like 'computation' and 'thinking' into precise, testable definitions — then build machines around them.
Theoretical computer science in the 1930s, wartime codebreaking at Bletchley Park, and the first stored-program computers after the war.
The shape of this portfolio — taller means stronger evidence in that mode.