Cliff Jones (computer scientist)

This page refers to the British computer scientist. For other persons named Cliff Jones, see Cliff Jones (disambiguation).
Cliff Jones
Born (1944-06-01) 1 June 1944
Nationality British
Institutions University of Manchester
Newcastle University
Alma mater University of Oxford
Doctoral advisor C. A. R. Hoare

Clifford "Cliff" B. Jones (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. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna.

He was a professor at the University of Manchester, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He is Editor-in-Chief of the Formal Aspects of Computing journal.

As well as formal methods, he also has interests in interdisciplinary aspects of computer science and the history of computer science.[1][2]

Books

Jones has authored and edited many books:[3]

References

External links

This article is issued from Wikipedia - version of the 10/17/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.