2026 Cliff B. Jones: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	52	4977	4840	298	296	362	16092

Research.com Recognitions

2003 - Fellow of the Royal Academy of Engineering (UK)
1995 - ACM Fellow A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM).

Overview

Cliff B. Jones is affiliated with Newcastle University in the United Kingdom and works primarily in the field of Computer Science. Their research spans several subfields including Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Computer Networks and Communications, and Software.

The main topics of their research include:

Formal Methods in Verification
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
Real-Time Systems Scheduling
Software Testing and Debugging Techniques
Embedded Systems Design Techniques
Model-Driven Software Engineering Techniques

Recent publications by Cliff B. Jones include:

The Transition from VDL to VDM, 2020, published in Zenodo (CERN European Organization for Nuclear Research)
The Atomic Manifesto, 2020, published in Zenodo (CERN European Organization for Nuclear Research)
Three Early Formal Approaches to the Verification of Concurrent Programs, 2023, published in Minds and Machines
The Development and Deployment of Formal Methods in the UK, 2022, published in Formal Aspects of Computing
Extending rely-guarantee thinking to handle real-time scheduling, 2023, published in Formal Methods in System Design

Cliff B. Jones frequently collaborates with the following co-authors:

Alan Burns
Ian J. Hayes
Larissa Meinicke
David Lomet
Jayadev Misra

Their research is often published in venues including:

arXiv (Cornell University)
Zenodo (CERN European Organization for Nuclear Research)
Minds and Machines
TUGraz OPEN Library (Graz University of Technology)
Value in Health

Awards received by Cliff B. Jones include:

Fellow of the Royal Academy of Engineering (UK), 2003
ACM Fellow, 1995, recognized for originating and promoting formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM)

Best Publications

Systematic software development using VDM

C B Jones

3548
Citations
Tentative steps toward a development method for interfering programs

C. B. Jones

808
Citations
Why software fails

Capers Jones

732
Citations
Software development: A rigorous approach

Cliff B. Jones

707
Citations
Specification and Design of (Parallel) Programs

Cliff B. Jones

669
Citations
Formal Specification and Software Development

D Bjørner;CB Jones

567
Citations
Applied Software Measurement: Assuring Productivity and Quality

Capers Jones

543
Citations
The Vienna Development Method: The Meta-Language

Dines Bjørner;Cliff B. Jones

500
Citations
Systematic software development using VDM (2nd ed.)

Cliff B. Jones

464
Citations
Development methods for computer programs including a notion of interference

CB Jones

407
Citations
Assessment and control of software risks

Capers Jones

401
Citations
Specifications are not (necessarily) executable

Ian Hayes;C. B. Jones

343
Citations
Software Assessments, Benchmarks, and Best Practices

Capers Jones

309
Citations
A logic covering undefinedness in program proofs

H. Barringer;J. H. Cheng;C. B. Jones

285
Citations
Mural: A Formal Development Support System

P. A. Lindsay;C. B. Jones;K. D. Jones;R. D. Moore

259
Citations
An Invitation to Formal Methods

J.P. Bowen;R.W. Butler;D.L. Dill;R.L. Glass

193
Citations
Applied Software Measurement: Global Analysis of Productivity and Quality

Capers Jones

193
Citations
Essays in computing science

C. A. R. Hoare;C. B. Jones

153
Citations
Verified software: a grand challenge

C. Jones;P. O'Hearn;J. Woodcock

147
Citations
An Early Program Proof by Alan Turing

F.L. Morris;C.B. Jones

145
Citations
A pi-Calculus Semantics for an Object-Based Design Notation

Cliff B. Jones

142
Citations

Frequent Co-Authors

Brian Randell Newcastle University

Alan Bundy University of Edinburgh

Michael Butler University of Southampton

Jim Woodcock University of York

Zhiming Liu South China Normal University

Gerhard Weikum Max Planck Institute for Informatics

Alan Burns University of York

Chris Kilsby Newcastle University

David B. Lomet Microsoft (United States)

Peter J. F. Lucas University of Twente

External Links

Wikipedia of Cliff B. Jones Personal website of Cliff B. Jones Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up a world of flexible online learning options and diverse career paths. Many students wonder if will grad schools accept low gpa—there are online programs tailored to those rebuilding their academic credentials, making higher education more accessible than ever.

For those interested in broader scientific and technical fields, consider how a background in environmental science complements computer science skills. If you're curious about career options, you might explore what can you do with an environmental science degree to expand your opportunities in tech-driven environmental solutions.

Time-conscious learners can pursue a 1 year computer science degree online, accelerating their entry into the workforce or advancement in their current roles. Those interested in sustainable technologies may find value in exploring environmental engineering degrees online—a perfect blend for careers in green tech, digital transformation, and more.

Whether you're advancing career prospects or pivoting industries, these online pathways support flexibility, affordability, and a future-ready skillset.