El grupo de investigación programado del ( PRG ) es parte del laboratorio de computación de la Universidad de Oxford (OUCL). Fue fundado por el Christopher Strachey en 1965 y después de su muerte prematura, el C. Hoare, FRS asumió el control la dirección en 1977. El carácter de PRG es resumido por la cita siguiente de Strachey, encontrado y promulgado por Tony Hoare después de que él llegara el PRG:

ha sido de largo mi opinión personal que la separación de trabajo práctico y teórico es artificial y perjudicial. Mucho del trabajo práctico hecho en el que computa, en el software y en diseño del hardware, es falso y torpe porque la gente que él tiene comprensión no clara de los principios de diseño fundamentales de su trabajo. La mayor parte de el trabajo matemático y teórico abstracto es estéril porque no tiene ningún punto del contacto con la computación verdadera. Una de las punterías centrales del grupo de investigación programado como grupo de la enseñanza y de investigación ha sido fijar una atmósfera en la cual esta separación no puede suceder.

El PRG ha sido tradicionalmente un centro de la excelencia en el campo de los métodos formales, jugando un papel determinante en el desarrollo de la notación Z (iniciado por una visita Jean-Raymond Abrial ) y el CSP (junto con el lenguaje de programación de Occam asociado). Ha ganado las concesiones de la reina con el IBM y el Inmos para el trabajo en esta área.