Cliff Jones (computer scientist)

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

Cliff Jones
Born (1944-06-01) 1 June 1944
NationalityBritish
Alma materUniversity of Oxford
Known forVienna Development Method
Scientific career
InstitutionsVictoria University of Manchester
Newcastle University
ThesisDevelopment Methods for Computer Programs Including a Notion of Interference
Doctoral advisorC. A. R. Hoare[1]
Doctoral studentsJohn Fitzgerald
Tobias Nipkow

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

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

He won the Katharine Burr Blodgett Medal and Prize in 2017.

Books

Jones has authored and edited many books:[6]

  • Reflections on the Work of C.A.R. Hoare, Roscoe, A.W., Jones, C.B. and Wood, K. (eds.). Springer. ISBN 978-1-84882-911-4 (2010).
  • VDM: Une methode rigoureuse pour le development du logiciel, Jones, C.B. Masson, Paris. ISBN 2-225-82812-1 (1993).
  • MURAL: A Formal Development Support System, Jones, C.B., Jones, K.D., Lindsay, P.A. and Moore, R. (eds.). Springer-Verlag. ISBN 3-540-19651-X (1991).
  • Systematic Software Development using VDM (2nd Edition), Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880733-7, 1990
  • Case Studies in Systematic Software Development, Jones, C.B. and Shaw, R.C.F. (eds.). Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-116088-5 (1989).
  • Essays in Computing Science, Hoare, C.A.R. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-284027-8 (1989).
  • Systematic Software Development using VDM, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-880717-5 (1986).
  • Programming Languages and their Definition: Selected Papers of Hans Bekic (1936–1982), Jones, C.B. (editor). Lecture Notes in Computer Science, Volume 177, Springer-Verlag. ISBN 3-540-13378-X (1984).
  • Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
  • Software Development: A Rigorous Approach, Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-821884-6 (1980).
  • The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).
gollark: Metric time is just using seconds with SI prefixes.
gollark: Decimal time is the French revolution thing where they split the day into 10 hours and whatnot.
gollark: I think you may be confusing metric and decimal time.
gollark: *Metric* time is just seconds/kiloseconds/whatever.
gollark: Measure all time using the unix epoch and just do bit maths in your head.

References
  1. Cliff Jones at the Mathematics Genealogy Project
  2. "Prof Cliff B Jones". UK: Newcastle University. Retrieved 18 August 2018.
  3. Formal Aspects of Computing. 1. Association for Computing Machinery. 1989. Retrieved 19 August 2018.
  4. Cliff B. Jones at DBLP Bibliography Server
  5. Cliff B. Jones: Publication List, Scientific Commons.
  6. Books › "Cliff B. Jones", Amazon.co.uk.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.