included logical design for computers, providing autocode and, later, the design of high-level programming languages. For a contract to produce the autocode for the Ferranti Orion computer, Strachey hired Peter Landin, who became his one assistant for the duration of Strachey's consulting period.

Strachey developed the concept of time-sharing