Groupe de recherche en programmation - Programming Research Group

Le Programming Research Group ( PRG ) faisait partie du Oxford University Computing Laboratory (OUCL) à Oxford , en Angleterre , avec le Groupe d'analyse numérique , jusqu'à ce que l'OUCL devienne le département d'informatique en 2011.

Le PRG a été fondé par Christopher Strachey (1916–1975) en 1965. Il était à l'origine situé au 45, chemin Banbury .

Tony Hoare , leader du PRG de 1977 à 1999

Après la mort prématurée de Strachey, CAR Hoare , FRS a pris la direction en 1977. L'éthique PRG est résumée par la citation suivante de Strachey, trouvée et promulguée par Tony Hoare après son arrivée au PRG:

J'ai longtemps été personnellement d'avis que la séparation du travail pratique et théorique est artificielle et préjudiciable. Une grande partie du travail pratique effectué en informatique , à la fois dans la conception logicielle et matérielle , est malsaine et maladroite parce que les personnes qui le font n'ont pas une compréhension claire des principes fondamentaux de conception de leur travail. La plupart des travaux mathématiques et théoriques abstraits sont stériles car ils n'ont aucun point de contact avec l'informatique réelle. L'un des objectifs centraux du groupe de recherche sur la programmation en tant que groupe d'enseignement et de recherche a été de créer une atmosphère dans laquelle cette séparation ne peut se produire.

Le PRG a déménagé au 8–11 Keble Road en 1984. À la fin des années 1980 et au début des années 1990, certains membres du PRG étaient logés au 2 South Parks Road , dont Joseph Goguen (qui était au PRG en 1988–1996). Tony Hoare a pris sa retraite en 1999 et le PRG a été dirigé par Samson Abramsky à partir de 2000. Le PRG a continué jusqu'à ce que le laboratoire informatique de l'Université d'Oxford devienne Département d'informatique le 1er juin 2011, sous la direction de Bill Roscoe , ancien membre de le PRG.

Le PRG était un centre d'excellence dans le domaine des méthodes formelles , jouant un rôle de premier plan dans le développement de la notation Z (initiée par une visite de Jean-Raymond Abrial ) et CSP (avec le langage de programmation Occam associé ). Il a remporté les Queen's Awards avec IBM et Inmos pour son travail dans ce domaine.

Les références

Liens externes

Coordonnées : 51 ° 45'35 "N 1 ° 15'31" W  /  51,7598 ° N ° 1,2585 W / 51,7598; -1,2585