Cliff Jones

Clifford Jones, known as Cliff Jones, born June 1, 1944, is a British computer scientist specializing in formal methods. He completed a DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981, proposing an extension to Hoare logic for handling concurrent programs known as rely and guarantee reasoning. Before his DPhil, Jones worked for IBM at the Hursley and Vienna Laboratories, where he worked with Peter Lucas, Dines Bjorner and others on the Vienna Development Method, originally for specifying the formal semantics of programming languages and later for specifying and verifying programs. He was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin, and is now Professor of Computing Science at Newcastle University, having served as editor-in-chief of the Formal Aspects of Computing journal.