I am a Teacher who started creating online content for my students from 2016 so that they can get access to free knowledge online.
Cliff Jones (computer scientist)
Updated on
Edit
Like
Comment
Share
Sign in
Nationality
British
Education
University of Oxford
Alma mater
University of Oxford
Doctoral advisor
Tony Hoare
Name
Cliff Jones
Notable students
Tobias Nipkow
Role
Computer scientist
Born
1 June 1944 (age 79) (
1944-06-01
)
Institutions
University of Manchester
Newcastle University
Books
Systematic Software Development Using VDM
Similar People
Dines Bjorner, Tony Hoare, Zhiming Liu, Tobias Nipkow, Ginni Rometty
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.
Books
Jones has authored and edited many books:
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).