Programming Research Group
Template:Short description Template:DMCA Template:DMCA
Page Module:Infobox/styles.css has no content.
| Lua error in package.lua at line 80: module 'Module:InfoboxImage/data' not found. 11 Keble Road entrance to the PRG | |
| Script error: No such module "Infobox mapframe". | |
| Abbreviation | PRG |
|---|---|
| Merged into | Department of Computer Science, University of Oxford |
| Formation | Template:Start year |
| Founder | Christopher Strachey |
| Founded at | 45 Banbury Road, Oxford, England |
| Dissolved | Script error: No such module "Date time". |
| Merger of | Numerical Analysis Group |
| Type | Research group |
| Legal status | University group |
| Purpose | Computer science research |
| Headquarters | 8–11 Keble Road |
| LocationTemplate:Pluralize from text | Page Template:Plainlist/styles.css has no content.
|
| Coordinates | Lua error in Module:Coordinates at line 489: attempt to index field 'wikibase' (a nil value). |
| Methods | Research |
| Fields | Computer science |
Official language | English |
| Owner | University of Oxford |
Director (1965–1975) | Christopher Strachey |
Director (1977–1999) | Tony Hoare |
Director (2000–2011) | Samson Abramsky |
Main organ | Technical Monographs |
Parent organization | Oxford University Computing Laboratory |
| Funding | University of Oxford |
Script error: No such module "Check for conflicting parameters".
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]
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:
The PRG moved to 8–11 Keble Road in 1984. During the late 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,[5] playing a leading role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial[6]) and CSP (together with the associated Occam programming language). It won two Queen's Awards with IBM and Inmos for work in these areas.
References
Page Template:Reflist/styles.css has no content.
- ^ a b Page Module:Citation/CS1/styles.css has no content."About the Department of Computer Science". UK: Department of Computer Science, University of Oxford. Retrieved 7 September 2020.
- ^ Page Module:Citation/CS1/styles.css has no content."Christopher Strachey (1916–1975)". Virtual Museum of Computing. Internet Archive. 2007. Archived from the original on 26 September 2007. Retrieved 3 May 2013.
- ^ Page Module:Citation/CS1/styles.css has no content."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.
- ^ Page Module:Citation/CS1/styles.css has no content."History and Structure". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on 18 June 2007. Retrieved 3 May 2013.
- ^ Page Module:Citation/CS1/styles.css has no content.Jones, Cliff B.; Thomas, Martyn (11 June 2020). "The development and deployment of formal methods in the UK". arXiv:2006.06327 [cs.SE].
- ^ Page Module:Citation/CS1/styles.css has no content.Sufrin, Bernard (January 2026). "Memories of Jean-Raymond Abrial in Oxford, the Alps, and Paris" (PDF). FACS FACTS. 2026 (1). BCS: 66–78.
External links
- PRG website (Archive.org, 2010)
Lua error in package.lua at line 80: module 'Module:Authority control/config' not found. Template:Hoare
