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.
All areas3 of 20 fields
Logic, Security, Computation cluster
Logic & Theory of Computation · Security & Cryptography · Computer Science & Early Computers