Clifford "Cliff" B. Jones (born 1 June 1944) is a British

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus ( ...

, specializing in research into

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

. He undertook a late

DPhil A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...

at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

, awarded in 1981. Jones' thesis proposed an extension to

Hoare logic Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and lo ...

for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and

Vienna en, Viennese , iso_code = AT-9 , registration_plate = W , postal_code_type = Postal code , postal_code = , timezone = CET , utc_offset = +1 , timezone_DST ...

Laboratories. In Vienna, Jones worked with Peter Lucas,

Dines Bjørner __NOTOC__ Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on th ...

and others on the

Vienna Development Method The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques ...

(VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a

professor Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professor ...

at the

Victoria University of Manchester The Victoria University of Manchester, usually referred to as simply the University of Manchester, was a university in Manchester, England. It was founded in 1851 as Owens College. In 1880, the college joined the federal Victoria University. Afte ...

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 Newcastle University (legally the University of Newcastle upon Tyne) is a UK public research university based in Newcastle upon Tyne, North East England. It has overseas campuses in Singapore and Malaysia. The university is a red brick unive ...

. He has been

editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ...

of the ''

Formal Aspects of Computing ''Formal Aspects of Computing'' (''FAOC'') is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and ...

'' journal. As well as formal methods, Jones also has interests in

interdisciplinary Interdisciplinarity or interdisciplinary studies involves the combination of multiple academic disciplines into one activity (e.g., a research project). It draws knowledge from several other fields like sociology, anthropology, psychology, ec ...

aspects of computer science and the

history of computer science The history of computer science began long before the modern discipline of computer science, usually appearing in forms like mathematics or physics Physics is the natural science that studies matter, its fundamental constituents, its ...

.Cliff B. Jones: Publication List

Scientific Commons ScientificCommons was a project of the University of St. Gallen ''Institute for Media and Communications Management''. The major aim of the project was to develop the world’s largest archive of scientific knowledge with fulltexts freely accessi ...

Books

Jones has authored and edited many books, including: * ''Understanding Programming Languages,'' Jones, C.B.

Springer, Cham Springer Nature or the Springer Nature Group is a German-British academic publishing company created by the May 2015 merger of Springer Science+Business Media and Holtzbrinck Publishing Group's Nature Publishing Group, Palgrave Macmillan, and ...

. Print / online (2020). *''Reflections on the Work of C.A.R. Hoare'', Roscoe, A.W., Jones, C.B. and Wood, K. (eds.).

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

. (2010). * ''VDM: Une methode rigoureuse pour le development du logiciel'', Jones, C.B. Masson,

Paris Paris () is the capital and most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), making it the 30th most densely populated city in the world in 2020. ...

. (1993). * ''MURAL: A Formal Development Support System'', Jones, C.B., Jones, K.D., Lindsay, P.A. and Moore, R. (eds.).

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

. (1991). * ''Systematic Software Development using VDM'' (2nd Edition), Jones, C.B.

Prentice Hall Prentice Hall was an American major educational publisher owned by Savvas Learning Company. Prentice Hall publishes print and digital content for the 6–12 and higher-education market, and distributes its technical titles through the Safari B ...

International Series in Computer Science,

. , 1990 * ''Case Studies in Systematic Software Development'', Jones, C.B. and Shaw, R.C.F. (eds.). Prentice Hall International Series in Computer Science,

. (1989). * ''Essays in Computing Science'', Hoare, C.A.R. and Jones, C.B. Prentice Hall International Series in Computer Science,

. (1989). * ''Systematic Software Development using VDM'', Jones, C.B. Prentice Hall International Series in Computer Science,

. (1986). * ''Programming Languages and their Definition: Selected Papers of Hans Bekic (1936–1982)'', Jones, C.B. (editor).

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''F ...

, Volume 177,

. (1984). * ''Formal Specification and Software Development'', Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science,

. (1982). * ''Software Development: A Rigorous Approach'', Jones, C.B. Prentice Hall International Series in Computer Science,

. (1980). * ''The Vienna Development Method: The Meta-Language'', Bjørner, D. and Jones, C.B. (editors).

, Volume 61,

. (1978).

References

External links

Home page
* {{DEFAULTSORT:Jones, Cliff 1944 births Living people Alumni of Wolfson College, Oxford Members of the Department of Computer Science, University of Oxford IBM employees Academics of the Victoria University of Manchester Academics of Newcastle University Computer science writers Academic journal editors English computer scientists Formal methods people Fellows of the British Computer Society Fellows of the Association for Computing Machinery Fellows of the Institution of Engineering and Technology Fellows of the Royal Academy of Engineering