Christopher Strachey
Christopher Strachey | |
---|---|
St Edmund's School, Canterbury Harrow School | |
Doctoral students | Peter Mosses David Turner |
Christopher S. Strachey (/ˈstreɪtʃi/; 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.
Early life and education
Christopher Strachey was born on 16 November 1916 to
Career
Unable to continue his education, Christopher joined
In January 1951, a friend introduced him to
Strachey programmed the first Computer music in England – the earliest recording of music played by a computer: a rendition of the British National Anthem "God Save the King" on the University of Manchester's Ferranti Mark 1 computer, in 1951. Later that year, short extracts of three pieces were recorded there by a BBC outside broadcasting unit: "God Save the King", "Baa, Baa, Black Sheep", and "In the Mood". Researchers at the University of Canterbury, Christchurch restored the acetate master disc in 2016 and the results may be heard on SoundCloud.[11][12]
During the summer of 1952, Strachey programmed a love letter generator for the Ferranti Mark 1 that is known as the first example of computer-generated literature.[13]
In May 1952, Strachey gave a two-part talk on "the study of control in animals and machines" ("cybernetics") for the BBC Home Service's Science Survey programme.[14][15]
Strachey worked for the
In 1959, Strachey left NRDC to become a computer consultant working for NRDC,
Strachey developed the concept of time-sharing in 1959.[16][17] He filed a patent application in February that year and gave a paper "Time Sharing in Large Fast Computers" at the inaugural UNESCO Information Processing Conference in Paris where he passed the concept on to J. C. R. Licklider.[18][19] This paper is credited by the MIT Computation Center in 1963 as "the first paper on time-shared computers".[4]
In 1962, while remaining a consultant, he accepted a position at the University of Cambridge.
In 1965, Strachey accepted a position at the University of Oxford as the first director of the Programming Research Group and later the university's first professor of computer science and fellow of Wolfson College, Oxford. He collaborated with Dana Scott.
Strachey was elected as a distinguished fellow of the British Computer Society in 1971 for his pioneering work in computer science.
In 1973, Strachey (along with Robert Milne) began to write an essay submitted to the Adams Prize competition, after which they continued work to revising it into book form. Strachey can be seen and heard in the recorded Lighthill debate on AI[20] (see Lighthill report).
Strachey contracted an illness diagnosed as jaundice which, after a period of seeming recovery, returned and he died of infectious hepatitis on 18 May 1975.[21]
He developed the
He was instrumental in the design of the Ferranti Pegasus computer.
He was a pioneer of early video games creating a version of
The macro language
After his untimely death in 1975, Strachey was succeeded by Sir Tony Hoare as Head of the Programming Research Group at Oxford, starting in 1977.
Legacy
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:
- Sir Tony Hoare FRS (1988–2000)[23]
- Samson Abramsky FRS (2000–2021)[25]
- Nobuko Yoshida (2022 onwards)[26]
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]
Publications
- Strachey, Christopher (1952). "Logical or Non-Mathematical Programmes". Proceedings of the 1952 ACM national meeting. Toronto: ACM. pp. 46–49. .
- Strachey, Christopher (1954). "The "Thinking" Machine". Encounter. pp. 25–31.
- Strachey, Christopher (1959). "Programme-Controlled Time Sharing". Proceedings of the IEE – Part B: Electronic and Communication Engineering. 106 (29): 462. .
- Strachey, Christopher (1959). "On Taking the Square Root of a Complex Number". .
- Strachey, Christopher (1959). "Time Sharing in Large, Fast Computers". Proceedings of the 1st International Conference on Information Processing. Paris: UNESCO. pp. 336–341.
- Strachey, Christopher (1960). "Two Contributions to the Techniques of Queuing Problems". .
- Strachey, Christopher (1961). "Bitwise Operations". Communications of the ACM. 4 (3): 146. S2CID 7359297.
- Strachey, Christopher; Wilkes, Maurice (1961). "Some Proposals for Improving the Efficiency of ALGOL 60". Communications of the ACM. 4 (11): 488–491. S2CID 8757176.
- Strachey, Christopher; Francis, John (1961). "The Reduction of a Matrix to Codiagonal Form by Eliminations". .
- Strachey, Christopher (1962). "Book Reviews". .
- Barron, David; Buxton, John; Hartley, David; Nixon, Eric; Strachey, Christopher (1963). "The Main Features of CPL". .
- Strachey, Christopher (1965). "An Impossible Program". .
- Strachey, Christopher (1965). "A General Purpose Macrogenerator". .
- Strachey, Christopher (1966). "System Analysis and Programming". Scientific American. Vol. 215, no. 3. pp. 112–127.
- 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). "Fundamental Concepts in Programming Languages". Higher-Order and Symbolic Computation. 13 (1–2): 11–49. S2CID 14124601.
- Scott, Dana; Strachey, Christopher (1971). Toward a Mathematical Semantics for Computer Languages (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.
- Strachey, Christopher (1972). "Varieties of Programming Language". Proceedings of the International Computing Symposium. Venice: Cini Foundation. pp. 222–233. Also: Strachey, Christopher (1973). The Varieties of Programming Language (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG10.
- Stoy, Joseph; Strachey, Christopher (1972). "OS6—An Experimental Operating System for a Small Computer. Part 1: General Principles and Structure". .
- Stoy, Joseph; Strachey, Christopher (1972). "OS6—An Experimental Operating System for a Small Computer. Part 2: Input/Output and Filing System". .
- Strachey, Christopher; Stoy, Joseph (1972). The Text of OSPub (Technical report). Oxford University Computing Laboratory, Programming Research Group. PRG09.
- Strachey, Christopher; Wadsworth, Christopher (1974). Continuations: A Mathematical Semantics for Handling Full Jumps (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. S2CID 10673265.
- Milne, Robert; Strachey, Christopher (1976). A Theory of Programming Language Semantics. New York: Springer. ISBN 978-1-5041-2833-9.
References
- ^ Christopher Strachey: British computer scientist, Encyclopædia Britannica.
- ^ Catalogue of the papers and correspondence of Christopher Strachey (1916–1975), The National Archives, United Kingdom.
- .)
- ^ ISBN 978-0-262-03008-3. "the first paper on time-shared computers by C. Strachey at the June 1959 UNESCO Information Processing conference"
- ^ Brown, Stuart (4 October 2019). "The First Video Game". YouTube. Archived from the original on 4 October 2019. Retrieved 19 January 2022.
- S2CID 17188378.
- ^ "The Priesthood at Play: Computer Games in the 1950s". They Create Worlds. 22 January 2014. Retrieved 28 August 2017.
- ^ "What is Artificial Intelligence". AlanTuring.net. May 2000. Retrieved 28 August 2017.
- .
- ISBN 9780262044653.
- ^ "First recording of computer-generated music – created by Alan Turing – restored". The Guardian. 26 September 2016. Retrieved 28 August 2017.
- ^ "Restoring the first recording of computer music – Sound and vision blog". British Library. 13 September 2016. Retrieved 28 August 2017.
- .
- ^ "Science Survey – BBC Home Service Basic – 1 May 1952 – BBC Genome". BBC. May 1952. Retrieved 28 August 2017.
- ^ "Science Survey – BBC Home Service Basic – 8 May 1952 – BBC Genome". BBC. 8 May 1952. Retrieved 28 August 2017.
- ^ "Computer Pioneers – Christopher Strachey". history.computer.org. Retrieved 23 January 2020.
What Strachey proposed in his concept of time-sharing was an arrangement that would preserve the direct contact between programmer and machine, while still achieving the economy of multiprogramming.
- ^ "Computer – Time-sharing and minicomputers". Encyclopedia Britannica. Retrieved 23 January 2020.
In 1959 Christopher Strachey in the United Kingdom and John McCarthy in the United States independently described something they called time-sharing.
- ISBN 978-0-19-286207-5.
- ^ "Reminiscences on the Theory of Time-Sharing". jmc.stanford.edu. Retrieved 23 January 2020.
in 1960 'time-sharing' as a phrase was much in the air. It was, however, generally used in my sense rather than in John McCarthy's sense of a CTSS-like object.
- ^ bilkable (12 September 2010), The Lighthill Debate (1973) – part 6 of 6, retrieved 27 October 2017
- ^ "Computer Pioneers – Christopher Strachey".
- ^ C. Strachey: "A General Purpose Macrogenerator", The Computer Journal, 8(3):225–241, 1965.
- ^ a b "Christopher Strachey Professorship of Computing". Department of Computer Science, University of Oxford. 5 November 2021. Retrieved 18 January 2024.
- ^ "Christopher Strachey Professor of Computing". University of Oxford. 28 October 2021. Retrieved 18 January 2024.
- ^ "Samson Abramsky". UK: Department of Computer Science, University of Oxford. Retrieved 18 January 2017.
- ^ "Welcome to our new Strachey Chair, Professor Nobuko Yoshida". Department of Computer Science, University of Oxford. 29 June 2022. Retrieved 18 January 2024.
- ^ "Strachey 100: Celebrating the life and research of Christopher Strachey". UK: Department of Computer Science, University of Oxford. 2016. Retrieved 18 January 2017.
- .)
Further reading
- Barron, David (Summer 2008). "Pioneer Profiles – Christopher Strachey". Resurrection (43). ISSN 0958-7403.
- Copeland, Jack (June 2000). "A Brief History of Computing". AlanTuring.net.
- Danvy, Olivier; Talcott, Carolyn, eds. (April 2000). "Special Issue in memory of Christopher Strachey". Higher-Order and Symbolic Computation. 13 (1/2).
- Lavington, S. (2000). The Pegasus Story. ISBN 1-900747-40-5.
External links
- Christopher Strachey at DBLP Bibliography Server
- Christopher Strachey (1916–1975) at the Virtual Museum of Computing
- 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
- Supplementary Strachey Papers held at the British Library