The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.

The PRG was founded by Christopher Strachey in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG:

The PRG was a centre of excellence in the field of formal methods, 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.

References

External links
 PRG website (Archive.org, 2010)

Category:Educational institutions established in 1965
Category:1965 establishments in England
Category:2011 disestablishments in England
Category:Educational institutions disestablished in 2011
Category:Departments of the University of Oxford
Category:Formal methods organizations
Category:Computer science institutes in the United Kingdom
Category:Oxford University Computing Laboratory
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.

The PRG was founded by Christopher Strachey in 1965 and after their death, C.A.R. Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by Tony Hoare after he arrived at the PRG:

The PRG was a centre of excellence in the field of formal methods, 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.

References

External links
PRG website (Archive.org, 2010)

Category: Educational institutions established in 1965
Category: 1965 establishments in England
Category: 2011 disestablishments in England
Category: Educational institutions disestablished in 2011
Category: Departments of the University of Oxford
Category: Formal methods organizations
Category: Computer science institutes in the United Kingdom
Category: Oxford University Computing Laboratory