# Cliff Jones

> British computer scientist

**Wikidata**: [Q5132649](https://www.wikidata.org/wiki/Q5132649)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Cliff_Jones_(computer_scientist))  
**Source**: https://4ort.xyz/entity/cliff-jones-q5132649

## Summary
Cliff Jones is a distinguished British computer scientist and engineer recognized for his significant contributions to formal methods and software engineering. A former researcher at IBM and a long-time professor at Newcastle University, he is an ACM Fellow and a Fellow of the Royal Academy of Engineering, known for his influential work in academic research and doctoral mentorship.

## Biography
- **Born:** June 1, 1944
- **Nationality:** United Kingdom
- **Education:** Doctorate in Computer Science from the University of Oxford (1979–1981); attended Wolfson College
- **Known for:** Research in formal methods, software engineering, and academic mentorship
- **Employer(s):** Newcastle University (Professor since 1999), IBM, University of Manchester, Victoria University of Manchester
- **Field(s):** Computer Science, Engineering

## Contributions
Cliff Jones has had a prolific career spanning both industrial research and high-level academia. His professional journey includes a significant tenure at IBM before moving into prominent roles at British universities. In 1999, he was appointed as a Professor at Newcastle University, a role he has held for over two decades. His academic work is deeply rooted in the rigorous application of mathematical logic to computer systems, a path solidified during his doctoral studies at the University of Oxford under the supervision of the renowned computer scientist Tony Hoare.

One of Jones's most enduring contributions is his extensive mentorship of the next generation of computer scientists. He has supervised a wide array of doctoral students who have become leaders in their own right, including Tobias Nipkow, John S. Fitzgerald (Chair of Formal Methods Europe), and Nobuko Yoshida. His research output is documented extensively in the DBLP bibliography and the Mathematics Genealogy Project, reflecting a lifetime of work in formalizing software development processes. Beyond his research and teaching, Jones has served the broader scientific community as a member of the UK Computing Research Committee and through his involvement with the Association for Computing Machinery (ACM). His diverse professional background even extends to journalism, showcasing a commitment to the communication of complex technical ideas.

## FAQs
### Q: What are Cliff Jones's primary research interests?
A: Cliff Jones focuses on computer science and engineering, with a particular emphasis on formal methods and software engineering. His work often involves the application of rigorous mathematical frameworks to ensure the reliability of computer systems.

### Q: Who was Cliff Jones's doctoral advisor?
A: His doctoral research at the University of Oxford was supervised by Tony Hoare, the British computer scientist famous for developing Quicksort and Hoare logic.

### Q: What professional honors has Cliff Jones received?
A: He has been recognized with several prestigious fellowships, including being named an ACM Fellow in 1995. He is also a Fellow of the Royal Academy of Engineering, the British Computer Society, and the Institution of Engineering and Technology.

## Why They Matter
Cliff Jones is a foundational figure in the field of formal methods, providing the bridge between early industrial software development at IBM and modern academic rigor. By championing formal verification and structured software engineering, he helped establish the standards required for developing high-integrity systems. His influence is not only found in his own publications but is amplified through the "academic genealogy" he has created; his former students now lead major research initiatives across Europe and the globe.

His role in the UK Computing Research Committee and his status as an ACM Fellow highlight his impact on the governance and direction of computer science research in the United Kingdom and internationally. Jones’s career demonstrates the importance of mentorship in the sciences; by guiding researchers like Tobias Nipkow and John Fitzgerald, he ensured that the principles of formal methods would continue to evolve and address the complexities of modern computing. Without his contributions, the academic landscape of software engineering in the UK would lack one of its most significant pillars of rigorous methodology.

## Notable For
*   **ACM Fellow:** Elected in 1995 for his contributions to the field of computing.
*   **Academic Mentorship:** Supervised numerous influential computer scientists, including Tobias Nipkow and Nobuko Yoshida.
*   **Royal Academy of Engineering:** Fellow of the UK’s national academy for engineering.
*   **Newcastle University Leadership:** Served as a Professor of Computer Science since August 1, 1999.
*   **Industrial Background:** Held significant roles at IBM, bridging the gap between corporate technology and academic research.

## Body
### Academic Background and Education
Cliff Jones (also known as Clifford B. Jones) pursued his doctoral studies at the University of Oxford between September 1979 and August 1981. During this period, he was a member of Wolfson College. His thesis work was conducted under the supervision of Tony Hoare, a pivotal figure in the history of computer science.

### Professional Career
Jones's career is marked by affiliations with several of the United Kingdom's leading research institutions. He held positions at the Victoria University of Manchester (which existed from 1851 to 2004) and the University of Manchester. On August 1, 1999, he joined Newcastle University as a professor. Outside of academia, he was affiliated with the American multinational technology corporation IBM.

### Doctoral Supervision and Legacy
Jones has been a prolific doctoral advisor, guiding many students through the Mathematics Genealogy Project. His notable students include:
*   **Tobias Nipkow:** A German computer scientist known for his work on theorem proving.
*   **John S. Fitzgerald:** A British computer scientist and Chair of Formal Methods Europe.
*   **Nobuko Yoshida:** A prominent researcher in computer science.
*   **Ketil Stølen and Mario I. Wolczko:** Both of whom received their Ph.Ds from the Victoria University of Manchester under his guidance.
*   **Other students:** Alan Cameron Wills, Neil Henderson, Joseph William Coleman, Kevin Jones, and Ann Welsh.

### Professional Memberships and Awards
In 1995, Jones was honored as an ACM Fellow by the Association for Computing Machinery. He is a member of the UK Computing Research Committee, an expert panel that provides thought leadership in the sector. His other fellowships include:
*   Fellow of the Royal Academy of Engineering
*   Fellow of the British Computer Society
*   Fellow of the Institution of Engineering and Technology

### Identifiers and Records
Jones is recognized in several international authority files, including:
*   **VIAF:** 80936003
*   **ISNI:** 0000 0004 3528 7953
*   **GND:** 1048142760
*   **DBLP:** j/CliffBJones

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Cliff Jones",
  "alternateName": ["Clifford B. Jones", "Cliff B. Jones"],
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {"@type": "Organization", "name": "Newcastle University"},
    {"@type": "Organization", "name": "IBM"},
    {"@type": "Organization", "name": "University of Manchester"},
    {"@type": "Organization", "name": "Victoria University of Manchester"}
  ],
  "nationality": {"@type": "Country", "name": "United Kingdom"},
  "birthDate": "1944-06-01",
  "gender": "Male",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "University of Oxford"},
    {"@type": "EducationalOrganization", "name": "Wolfson College"}
  ],
  "knowsAbout": ["Computer Science", "Formal Methods", "Software Engineering"],
  "award": [
    "ACM Fellow",
    "Fellow of the Royal Academy of Engineering",
    "Fellow of the British Computer Society",
    "Fellow of the Institution of Engineering and Technology"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Cliff_Jones_(computer_scientist)",
    "https://www.wikidata.org/wiki/Q5132649"
  ],
  "description": "British computer scientist and professor known for his work in formal methods and his tenure at Newcastle University and IBM."
}

## References

1. BnF authorities
2. Mathematics Genealogy Project
3. [Source](https://www.freeverything.com/)
4. [Source](https://awards.acm.org/fellows/award-recipients)
5. general catalog of BnF
6. Virtual International Authority File
7. [Source](https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/)
8. SNAC
9. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-0038-6623/external-identifiers/1636402)
10. IdRef
11. CONOR.SI
12. National Library of Israel Names and Subjects Authority File
13. Catalogo of the National Library of India