Programming Research Group
Videos
The Programming Research Group was part of the Oxford University Computing Laboratory in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science
11 Keble Road entrance to the PRG
Tony Hoare, leader of the PRG from 1977 to 1999
Sir Tony Hoare IMG 5125
Z notation
Videos
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in gene
Programming Research Group
…Roscoe, a former member of the PRG. The PRG was a centre of excellence in the field of formal methods, playing a leading role in the development of the Z notation (initiated by a visit of Jean-Raymond Abrial) and CSP (together with the associated Occam programming language). It won two Queen's Awards with IBM and…
Jean-Raymond Abrial, the main originator of the Z notation