Cliff Jones (computer scientist)

This article is about the British computer scientist. For other people named Cliff Jones, see Cliff Jones (disambiguation).
Cliff Jones
Cliff Jones in Swansea
Born (1944-06-01) 1 June 1944 (age 80)
NationalityBritish
Alma materUniversity of Oxford
Known forVienna Development Method
Scientific career
InstitutionsIBM Laboratory Vienna
Victoria University of Manchester
Newcastle University
Thesis Development Methods for Computer Programs Including a Notion of Interference
Doctoral advisorC. A. R. Hoare[1]
Doctoral studentsJohn Fitzgerald
Tobias Nipkow

Clifford "Cliff" B. Jones FREng[2] (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.[3] 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.[4]

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.[5]

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.[6]

As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.[7][8]

  1. ^ Cliff Jones at the Mathematics Genealogy Project
  2. ^ "List of Fellows". Royal Academy of Engineering. Archived from the original on 9 August 2014.
  3. ^ "Bio · Cliff B Jones". UK: Newcastle University. Archived from the original on 23 June 2015. Retrieved 18 December 2020.
  4. ^ Jones, C.B. (June 1981). Development Methods for Computer Programs including a Notion of Interference (PDF) (DPhil thesis). Oxford University.
  5. ^ "Research · Cliff B Jones". UK: Newcastle University. Archived from the original on 13 July 2014. Retrieved 18 December 2020.
  6. ^ Formal Aspects of Computing. Vol. 1. Association for Computing Machinery. 1989. Retrieved 19 August 2018.
  7. ^ Cliff B. Jones at DBLP Bibliography Server Edit this at Wikidata
  8. ^ Cliff B. Jones: Publication List Archived 12 March 2012 at the Wayback Machine, Scientific Commons.