Katana VentraIP

Christopher Strachey

Christopher S. Strachey (/ˈstri/; 16 November 1916 – 18 May 1975) was a British computer scientist.[1][2][3] He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing.[4] He has also been credited as possibly being the first developer of a video game.[5] He was a member of the Strachey family, prominent in government, arts, administration, and academia.

Christopher Strachey

(1916-11-16)16 November 1916

Hampstead, England

18 May 1975(1975-05-18) (aged 58)

Oxford, England

British

Early life and education[edit]

Christopher Strachey was born on 16 November 1916 to Oliver Strachey and Rachel (Ray) Costelloe in Hampstead, England. Oliver Strachey was the son of Richard Strachey and the great-grandson of Sir Henry Strachey, 1st Baronet. His elder sister was the writer Barbara Strachey. In 1919, the family moved to 51 Gordon Square. The Stracheys belonged to the Bloomsbury Group whose members included Virginia Woolf, John Maynard Keynes and Christopher's uncle Lytton Strachey. At 13, Christopher went to Gresham's School, Holt where he showed signs of brilliance but in general performed poorly. He was admitted to King's College, Cambridge (the same college as Alan Turing) in 1935 where he continued to neglect his studies. Strachey studied mathematics and then transferred to physics. At the end of his third year at Cambridge, Strachey suffered a nervous breakdown, possibly related to coming to terms with his homosexuality. He returned to Cambridge but managed only a "lower second" in the Natural Sciences Tripos.[6]

Sir FRS (1988–2000)[23]

Tony Hoare

FRS (2000–2021)[25]

Samson Abramsky

(2022 onwards)[26]

Nobuko Yoshida

The Department of Computer Science at the University of Oxford has a Christopher Strachey Professorship of Computing,[23][24] which has been held by the following:


In November 2016, a Strachey 100 event was held at Oxford University to celebrate the centenary of Strachey's birth,[27] including a viewing at the Weston Library in Oxford of the Christopher Strachey archive held in the Bodleian Library collection.[28]

Strachey, Christopher (1952). . Proceedings of the 1952 ACM national meeting. Toronto: ACM. pp. 46–49. doi:10.1145/800259.808992.

"Logical or Non-Mathematical Programmes"

Strachey, Christopher (1954). "The "Thinking" Machine". Encounter. pp. 25–31.

Strachey, Christopher (1959). . Proceedings of the IEE – Part B: Electronic and Communication Engineering. 106 (29): 462. doi:10.1049/pi-b-2.1959.0311.

"Programme-Controlled Time Sharing"

Strachey, Christopher (1959). . The Computer Journal. 2 (2): 89. doi:10.1093/comjnl/2.2.89.

"On Taking the Square Root of a Complex Number"

Strachey, Christopher (1959). . Proceedings of the 1st International Conference on Information Processing. Paris: UNESCO. pp. 336–341.

"Time Sharing in Large, Fast Computers"

Strachey, Christopher (1960). . The Computer Journal. 3 (2): 114–116. doi:10.1093/comjnl/3.2.114.

"Two Contributions to the Techniques of Queuing Problems"

Strachey, Christopher (1961). . Communications of the ACM. 4 (3): 146. doi:10.1145/366199.366254. S2CID 7359297.

"Bitwise Operations"

Strachey, Christopher; Wilkes, Maurice (1961). . Communications of the ACM. 4 (11): 488–491. doi:10.1145/366813.366816. S2CID 8757176.

"Some Proposals for Improving the Efficiency of ALGOL 60"

Strachey, Christopher; Francis, John (1961). . The Computer Journal. 4 (2): 168–176. doi:10.1093/comjnl/4.2.168.

"The Reduction of a Matrix to Codiagonal Form by Eliminations"

Strachey, Christopher (1962). . The Computer Journal. 5 (2): 152–153. doi:10.1093/comjnl/5.2.152.

"Book Reviews"

Barron, David; Buxton, John; Hartley, David; Nixon, Eric; Strachey, Christopher (1963). . The Computer Journal. 6 (2): 134–143. doi:10.1093/comjnl/6.2.134.

"The Main Features of CPL"

Strachey, Christopher (1965). . The Computer Journal. 7 (4): 313. doi:10.1093/comjnl/7.4.313.

"An Impossible Program"

Strachey, Christopher (1965). . The Computer Journal. 8 (3): 225–241. doi:10.1093/comjnl/8.3.225.

"A General Purpose Macrogenerator"

Strachey, Christopher (1966). . Scientific American. Vol. 215, no. 3. pp. 112–127.

"System Analysis and Programming"

Strachey, Christopher (1966). "Towards a Formal Semantics". Proceedings of the IFIP Working Conference on Formal Language Description Languages. Amsterdam: North Holland. pp. 198–220.

Strachey, Christopher (1967). Fundamental Concepts in Programming Languages (Technical report). Lecture notes for the International Summer School in Computer Programming at Copenhagen. Also: Strachey, Christopher (2000). . Higher-Order and Symbolic Computation. 13 (1–2): 11–49. doi:10.1023/A:1010000313106. S2CID 14124601.

"Fundamental Concepts in Programming Languages"

Scott, Dana; Strachey, Christopher (1971). (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG06. Also: Scott, Dana; Strachey, Christopher (1971). "Toward a Mathematical Semantics for Computer Languages". Proceedings of the Symposium on Computers and Automata. New York: Polytechnic Institute of Brooklyn. pp. 19–46.

Toward a Mathematical Semantics for Computer Languages

Strachey, Christopher (1972). "Varieties of Programming Language". Proceedings of the International Computing Symposium. Venice: . pp. 222–233. Also: Strachey, Christopher (1973). The Varieties of Programming Language (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG10.

Cini Foundation

Stoy, Joseph; Strachey, Christopher (1972). . The Computer Journal. 15 (2): 117–124. doi:10.1093/comjnl/15.2.117.

"OS6—An Experimental Operating System for a Small Computer. Part 1: General Principles and Structure"

Stoy, Joseph; Strachey, Christopher (1972). . The Computer Journal. 15 (3): 195–203. doi:10.1093/comjnl/15.3.195.

"OS6—An Experimental Operating System for a Small Computer. Part 2: Input/Output and Filing System"

Strachey, Christopher; Stoy, Joseph (1972). (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG09.

The Text of OSPub

Strachey, Christopher; Wadsworth, Christopher (1974). (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG11. Also: Strachey, Christopher; Wadsworth, Christopher (2000). "Continuations: A Mathematical Semantics for Handling Full Jumps". Higher-Order and Symbolic Computation. 13 (1–2): 135–152. doi:10.1023/A:1010026413531. S2CID 10673265.

Continuations: A Mathematical Semantics for Handling Full Jumps

Milne, Robert; Strachey, Christopher (1976). . New York: Springer. ISBN 978-1-5041-2833-9.

A Theory of Programming Language Semantics

Barron, David (Summer 2008). . Resurrection (43). Computer Conservation Society. ISSN 0958-7403.

"Pioneer Profiles – Christopher Strachey"

(June 2000). "A Brief History of Computing". AlanTuring.net.

Copeland, Jack

Danvy, Olivier; Talcott, Carolyn, eds. (April 2000). . Higher-Order and Symbolic Computation. 13 (1/2).

"Special Issue in memory of Christopher Strachey"

Lavington, S. (2000). The Pegasus Story. . ISBN 1-900747-40-5.

Science Museum

at DBLP Bibliography Server

Christopher Strachey

at the Wayback Machine (archived 26 September 2007) at the Virtual Museum of Computing

Christopher Strachey (1916–1975)

A simulator of the Manchester Mark 1, executing Christopher Strachey's Love letter algorithm from 1952

A web-based version of Christopher Strachey's Love letter algorithm showing word lists

held at the British Library

Supplementary Strachey Papers