Programming Research Group

Last updated

The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011. [1]

The PRG was founded by Christopher Strachey (1916–1975) [2] in 1965. It was originally located at 45 Banbury Road. [3]

Tony Hoare, leader of the PRG from 1977 to 1999 Hoare.jpg
Tony Hoare, leader of the PRG from 1977 to 1999

After Strachey's untimely death, C.A.R. Hoare, FRS took over the leadership in 1977. [4] The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG:

It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in computing, both in software and in hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing. One of the central aims of the Programming Research Group as a teaching and research group has been to set up an atmosphere in which this separation cannot happen. [4] [5]

The PRG moved to 8–11 Keble Road in 1984. During the later 1980s and early 1990s, some members of the PRG were housed at 2 South Parks Road, including Joseph Goguen (who was at the PRG during 1988–1996). Tony Hoare retired in 1999 and the PRG was led by Samson Abramsky from 2000. The PRG continued until the renaming of the Oxford University Computing Laboratory to the Department of Computer Science on 1 June 2011, under the leadership of Bill Roscoe, a former member of the PRG. [1]

The PRG was a centre of excellence in the field of formal methods, [6] playing a leading role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial) and CSP (together with the associated Occam programming language). It won Queen's Awards with IBM and Inmos for work in this area.

Related Research Articles

<span class="mw-page-title-main">Computer science</span> Study of computation

Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines. Though more often considered an academic discipline, computer science is closely related to computer programming.

<span class="mw-page-title-main">Z notation</span> Formal specification language used for describing and modelling computing systems

The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

In computer science, denotational semantics is an approach of formalizing the meanings of programming languages by constructing mathematical objects that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics.

<span class="mw-page-title-main">J. C. R. Licklider</span> American psychologist and computer scientist (1915-1990)

Joseph Carl Robnett Licklider, known simply as J. C. R. or "Lick", was an American psychologist and computer scientist who is considered to be among the most prominent figures in computer science development and general computing history.

<span class="mw-page-title-main">Allen Newell</span> American cognitive scientist

Allen Newell was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology. He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957). He was awarded the ACM's A.M. Turing Award along with Herbert A. Simon in 1975 for their contributions to artificial intelligence and the psychology of human cognition.

<span class="mw-page-title-main">Department of Computer Science and Technology, University of Cambridge</span> Computer science division at the University of Cambridge

The Department of Computer Science and Technology, formerly the Computer Laboratory, is the computer science department of the University of Cambridge. As of 2023 it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students. The current Head of Department is Professor Alastair Beresford.

<span class="mw-page-title-main">Peter Landin</span> British computer scientist (1930–2009)

Peter John Landin was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics.

CPL is a multi-paradigm programming language developed in the early 1960s. It is an early ancestor of the C language via the BCPL and B languages.

<span class="mw-page-title-main">Samson Abramsky</span> British computer scientist

Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.

<span class="mw-page-title-main">Christopher Strachey</span> British computer scientist (1916–1975)

Christopher S. Strachey was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing. He has also been credited as possibly being the first developer of a video game. He was a member of the Strachey family, prominent in government, arts, administration, and academia.

David A. Turner was a British computer scientist. He is best known for designing and implementing three programming languages, including the first for functional programming based on lazy evaluation, combinator graph reduction, and polymorphic types: SASL (1972), Kent Recursive Calculator (KRC) (1981), and the commercially supported Miranda (1985). Miranda had a strong influence on the later Haskell.

<span class="mw-page-title-main">Department of Computer Science, University of Oxford</span> Department of the University of Oxford

The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory. By 2014 the staff count was 52 members of academic staff and over 80 research staff. The 2019, 2020 and 2021 Times World University Subject Rankings places Oxford University 1st in the world for Computer Science. Oxford University is also the top university for computer science in the UK and Europe according to Business Insider. The 2020 QS University Subject Rankings places The University of Oxford 5th in the world for Computer Science.

<span class="mw-page-title-main">Cliff Jones (computer scientist)</span> British computer scientist (born 1944)

Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.

<span class="mw-page-title-main">Joe Stoy</span> British computer scientist

Joseph E. Stoy is a British computer scientist. He initially studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing Laboratory. He was a Fellow of Balliol College, Oxford. He has also spent time at MIT in the United States. In 2003, he co-founded Bluespec, Inc.

<span class="mw-page-title-main">Philip Wadler</span> American computer scientist

Philip Lee Wadler is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads; and the designs of the purely functional language Haskell and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0. He is also author of "Theorems for free!", a paper that gave rise to much research on functional language optimization.

<span class="mw-page-title-main">He Jifeng</span> Chinese computer scientist

He Jifeng is a Chinese computer scientist.

Richard Bornat, is a British author and researcher in the field of computer science. He is also professor of Computer programming at Middlesex University. Previously he was at Queen Mary, University of London.

<span class="mw-page-title-main">Banbury Road</span> Arterial road in Oxford, England

Banbury Road is a major arterial road in Oxford, England, running from St Giles' at the south end, north towards Banbury through the leafy suburb of North Oxford and Summertown, with its local shopping centre. Parallel and to the west is the Woodstock Road, which it meets at the junction with St Giles'. To the north, Banbury Road meets the Oxford Ring Road at a roundabout. The road is designated the A4165. Prior to the building of the M40 motorway extension in 1990, the road formed part of the A423 from Maidenhead to Coventry.

<span class="mw-page-title-main">Science Area, Oxford</span> Human settlement in England

The Oxford University Science Area in Oxford, England, is where most of the science departments at the University of Oxford are located.

References

  1. 1 2 "About the Department of Computer Science". UK: Department of Computer Science, University of Oxford . Retrieved 7 September 2020.
  2. ↑ "Christopher Strachey (1916–1975)". Virtual Museum of Computing . Internet Archive. 2007. Archived from the original on 26 September 2007. Retrieved 3 May 2013.
  3. ↑ "Expenditure for house occupied by the Programming Research Group, 1966–1968". Bodleian Archives & Manuscripts. UK: Bodleian Library, University of Oxford. MS. Eng. misc. b. 255/B.25. Retrieved 7 September 2020.
  4. 1 2 "History and Structure". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on 18 June 2007. Retrieved 3 May 2013.
  5. ↑ "Undergraduate handbook 2006–07". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on 20 July 2007. Retrieved 3 May 2013.
  6. ↑ Jones, Cliff B.; Thomas, Martyn (11 June 2020). "The development and deployment of formal methods in the UK". arXiv: 2006.06327 [cs.SE].

51°45′35″N1°15′31″W / 51.7598°N 1.2585°W / 51.7598; -1.2585


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.