Cliff Jones (computer scientist)
Cliff Jones | |
---|---|
C. A. R. Hoare[1] | |
Doctoral students | John Fitzgerald Tobias Nipkow |
Clifford "Cliff" B. Jones
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
Books
Jones has authored and edited many books, including:
- Jones, Cliff B.; S2CID 238251696.
- Understanding Programming Languages, Jones, C.B. ISBN 978-3-030-59257-8(2020).
- Reflections on the Work of C.A.R. Hoare, ISBN 978-1-84882-911-4(2010).
- VDM: Une methode rigoureuse pour le development du logiciel, Jones, C.B. Masson, 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.). ISBN 3-540-19651-X(1991).
- Systematic Software Development using VDM (2nd Edition), Jones, C.B. 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, ISBN 0-13-116088-5(1989).
- Essays in Computing Science, ISBN 0-13-284027-8(1989).
- Systematic Software Development using VDM, Jones, C.B. Prentice Hall International Series in Computer Science, ISBN 0-13-880717-5(1986).
- Programming Languages and their Definition: Selected Papers of Hans Bekic (1936–1982), Jones, C.B. (editor). 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, ISBN 0-13-329003-4(1982).
- Software Development: A Rigorous Approach, Jones, C.B. Prentice Hall International Series in Computer Science, ISBN 0-13-821884-6(1980).
- The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). ISBN 3-540-08766-4(1978).
References
- ^ Cliff Jones at the Mathematics Genealogy Project
- ^ "List of Fellows". Royal Academy of Engineering. Archived from the original on 9 August 2014.
- ^ "Bio · Cliff B Jones". UK: Newcastle University. Archived from the original on 23 June 2015. Retrieved 18 December 2020.
- ^ Jones, C.B. (June 1981). Development Methods for Computer Programs including a Notion of Interference (PDF) (DPhil thesis). Oxford University.
- ^ "Research · Cliff B Jones". UK: Newcastle University. Archived from the original on 13 July 2014. Retrieved 18 December 2020.
- ^ Formal Aspects of Computing. Vol. 1. Association for Computing Machinery. 1989. Retrieved 19 August 2018.
- DBLP Bibliography Server
- Scientific Commons.
External links
- Home page
- Cliff Jones publications indexed by Google Scholar