Access to Archives

Part of the UK archives network

Catalogue of the papers and correspondence of CHRISTOPHER STRACHEY (1916 - 1975)


The hierarchical structure of this catalogue is shown below. See the entire contents of the catalogue

Reference NCUACS 71.1.80
Covering dates 1930 - 1983
Held by Oxford University, Bodleian Library, Special Collections and Western Manuscripts
Extent c 55 boxes
Conditions of access NOT ALL THE MATERIAL IN THE COLLECTION IS YET AVAILABLE FOR CONSULTATION. ENQUIRIES SHOULD BE ADDRESSED IN THE FIRST INSTANCE TO
THE KEEPER OF WESTERN MANUSCRIPTS
BODLEIAN LIBRARY
OXFORD.



Folder icon  SECTION B OXFORD UNIVERSITY  CSAC 71.1.80/B.1 - B.30  [n.d.]



Related information: See also CSAC 71.1.80/A.68, CSAC 71.1.80/C.202-CSAC 71.1.80/C.274.

Contents:
This Section traces the formation and expansion of the Programming Research Group under Strachey's leadership, and also includes some material relating to Wolfson College of which he was a Fellow.
The Programming Research Group was established at Oxford to investigate the general theory of information processing and the nature of computing machines. After an unsuccessful initial application by Strachey directly to the Department of Scientific and Industrial Research for a grant to establish such a group (CSAC 71.1.80/B.2), Leslie Fox, Director of the Oxford University Computing Laboratory, applied in September 1964 on Strachey's behalf for a grant of £194,506 over 7½ years (CSAC 71.1.80/B.4). In January 1965 a grant was awarded for £62,750 for the period 1 July 1965 to 31 July 1967. This original grant was extended and supplemented by the Science Research Council (successor to D.S.I.R.) over the years; when Strachey submitted his final report to the Science Research Council in May 1974, the funding totalled £224,900. Although the grant officially began on 1 July 1965, Strachey did not take up his post as leader of the Programming Research Group until April 1966. He became Reader in Computation in 1967 and Professor of Computation in 1971. He was elected a Fellow of Wolfson College in 1966 (CSAC 71.1.80/B.27).
The many Progress Reports and descriptions of the Programming Research Group and its work illustrate the emergence of the Group's 'worldwide reputation as a centre both of theoretical work in the formal semantics of programming languages and of experimental work on operating systems and virtual machine design' (CSAC 71.1.80/B.9).
The interview with Strachey published in Dataweek (CSAC 71.1.80/A.2) gives an informal account of the P.R.G.




The contents of this catalogue are the copyright of NCUACS (the National Cataloguing Unit for the Archives of Contemporary Scientists)
Rights in the Access to Archives database are the property of the Crown, © 2001-2014