El Grupo de Investigación de Programación ( PRG ) fue 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]
Después de 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 promulgada por Tony Hoare después de su llegada al PRG:
Desde hace mucho tiempo, mi opinión personal es que la separación del trabajo práctico y teórico es artificial y perjudicial. Gran parte del trabajo práctico realizado en informática , tanto en software como en diseño de hardware , es poco sólido y torpe porque las personas que lo hacen no tienen una comprensión clara de los principios fundamentales de diseño de su trabajo. La mayor parte del trabajo matemático y teórico abstracto es estéril porque no tiene ningún punto de 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 clima en el que esta separación no pueda darse. [4] [5]
El PRG se trasladó a 8-11 Keble Road en 1984. Durante finales de los 80 y principios de los 90, algunos miembros del PRG se alojaron en 2 South Parks Road , incluido Joseph Goguen (que estuvo en el PRG durante 1988-1996). Tony Hoare se retiró en 1999 y el PRG fue dirigido por Samson Abramsky desde 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 ex miembro el PRG. [1]
El PRG fue un centro de excelencia en el campo de los métodos formales , [6] desempeñando un papel de liderazgo en el desarrollo de la notación Z (iniciado por una visita de Jean-Raymond Abrial ) y CSP (junto con el lenguaje de programación Occam asociado ) . Ganó Queen's Awards con IBM e Inmos por su trabajo en esta área.
Referencias
- ^ a b "Acerca del Departamento de Ciencias de la Computación" . Reino Unido: Departamento de Ciencias de la Computación, Universidad de Oxford . Consultado el 7 de septiembre de 2020 .
- ^ "Christopher Strachey (1916-1975)" . Museo Virtual de Computación . Archivo de Internet . 2007. Archivado desde el original el 26 de septiembre de 2007 . Consultado el 3 de mayo de 2013 .
- ^ "Gastos de vivienda ocupada por el Grupo de Investigación en Programación, 1966-1968" . Archivos y manuscritos de Bodleian . Reino Unido: Bodleian Library , Universidad de Oxford . SRA. Ing. misc. B. 255 / B.25 . Consultado el 7 de septiembre de 2020 .
- ^ a b "Historia y Estructura" . Laboratorio de Computación de la Universidad de Oxford, Archivo de Internet . 2007. Archivado desde el original el 18 de junio de 2007 . Consultado el 3 de mayo de 2013 .
- ^ "Manual de pregrado 2006-07" . Laboratorio de Computación de la Universidad de Oxford, Archivo de Internet . 2007. Archivado desde el original el 20 de julio de 2007 . Consultado el 3 de mayo de 2013 .
- ^ Jones, Cliff B .; Thomas, Martyn (11 de junio de 2020). "El desarrollo y despliegue de métodos formales en el Reino Unido". arXiv : 2006.06327 [ cs.SE ].
enlaces externos
- Sitio web de PRG ( Archive.org , 2010)
Coordenadas :51 ° 45′35 ″ N 1 ° 15′31 ″ W / 51.7598 ° N 1.2585 ° W / 51.7598; -1,2585