Cliff Jones (computer scientist)
Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.
Cliff Jones | |
|---|---|
Cliff Jones in Swansea | |
| Born | 1 June 1944 |
| Nationality | British |
| Alma mater | University of Oxford |
| Known for | Vienna Development Method |
| Scientific career | |
| Institutions | IBM Laboratory Vienna Victoria University of Manchester Newcastle University |
| Thesis | Development Methods for Computer Programs Including a Notion of Interference |
| Doctoral advisor | C. A. R. Hoare |
| Doctoral students | John Fitzgerald Tobias Nipkow |
Prior to his DPhil, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs.
Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He has been editor-in-chief of the Formal Aspects of Computing journal.
As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.