Grupo de Investigación en Programación

El Grupo de Investigación en Programación ( PRG ) formó parte del Laboratorio de Computación de la Universidad de Oxford (OUCL) en Oxford , Inglaterra , junto con el Grupo de Análisis Numérico , hasta que OUCL se convirtió en el Departamento de Ciencias de la Computación en 2011. ^{[ 1 ]}

El PRG fue fundado por Christopher Strachey (1916–1975) ^{[ 2 ]} en 1965. Originalmente estaba ubicado en 45 Banbury Road . ^{[ 3 ]}

Tras la prematura muerte de Strachey, CAR Hoare , FRS, asumió el liderazgo en 1977. ^{[ 4 ]} El espíritu del PRG se resume en la siguiente cita de Strachey, encontrada y difundida por Tony Hoare después de su llegada al PRG:

Desde hace tiempo, considero que la separación entre el trabajo práctico y el teórico es artificial y perjudicial. Gran parte del trabajo práctico en informática , tanto en el diseño de software como de hardware , es deficiente y torpe porque quienes lo realizan carecen de una comprensión clara de los principios fundamentales del diseño. La mayor parte del trabajo matemático y teórico abstracto resulta estéril, ya que no tiene ningún contacto con la informática real. Uno de los objetivos centrales del Grupo de Investigación en Programación, como grupo de docencia e investigación, ha sido crear un entorno en el que esta separación no pueda darse. ^{[ 4 ] [ 5 ]}

El PRG se trasladó a 8–11 Keble Road en 1984. A finales de la década de 1980 y principios de la de 1990, algunos miembros del PRG estuvieron ubicados en 2 South Parks Road , incluido Joseph Goguen (quien estuvo en el PRG entre 1988 y 1996). Tony Hoare se jubiló en 1999, y el PRG fue dirigido por Samson Abramsky a partir del año 2000. El PRG continuó hasta el cambio de nombre del Laboratorio de Computación de la Universidad de Oxford a Departamento de Ciencias de la Computación el 1 de junio de 2011, bajo el liderazgo de Bill Roscoe , un antiguo miembro del PRG. ^{[ 1 ]}

El PRG fue un centro de excelencia en el campo de los métodos formales , ^{[ 6 ]} desempeñando un papel fundamental en el desarrollo de la notación Z (iniciada por una visita de Jean-Raymond Abrial ^{[ 7 ]} ) y CSP (junto con el lenguaje de programación Occam asociado ). Ganó dos premios Queen's Awards con IBM e Inmos por su trabajo en estas áreas.

• Sitio web del PRG ( Archive.org , 2010)