معرفی
Cliff B Jones is Professor of Computing Science at Newcastle University, where he has been faculty since August 1999. His distinguished career spans academia and industry, including positions at Harlequin (1996-1999) as Technical Director, The University of Manchester (1981-1996) as Professor of Computing Science, and IBM (1965-1979) where he worked in Hursley (UK), Vienna and Brussels.
Dr. Jones earned his DPhil from Oxford University in 1981 under the supervision of Tony Hoare at Wolfson College. His doctoral research laid the foundation for his lifelong work on formal methods for software development and verification. His fifteen years at IBM included the creation of VDM (Vienna Development Method) with colleagues in the Vienna Lab.
Prof. Jones is best known for his research into formal methods for the design and verification of computer systems. His current research focuses on concurrency, support systems, and logics, with particular emphasis on applying formal methods to wider issues of dependability. He is a pioneer of Rely/Guarantee reasoning for concurrent systems, with his Oxford research showing how interference could be handled in specifications and design verification. His work bridges theoretical foundations with practical applications, informed by his extensive industry experience.
Prof. Jones' recent publications demonstrate a continued focus on concurrency verification through Rely/Guarantee reasoning, with increasing attention to real-time and mixed-criticality systems. His work shows a strong historical perspective on formal methods while addressing current challenges in concurrent programming, dependable systems, and the integration of AI techniques for proof automation. The research spans theoretical foundations, practical applications, and historical analysis of the field.
His scientific achievements have been widely recognized:
- Fellow of the ACM (elected 1995)
- Fellow of the Royal Academy of Engineering (FREng, elected 2003)
- Fellow of IET (was IEE)
- Fellow of BCS
- Chartered Engineer (CEng)
- Senior Fellowship from the research council (5-year)
- Visiting Fellowship at Gonville & Caius College
Prof. Jones has supervised numerous PhD students who have made significant contributions to formal methods. His research has been supported by substantial grants including EPSRC-funded projects (AI4FM, Taming Concurrency), an ARC grant DP130102901, and the Platform Grant 'Trustworthy Ambient Systems' (TrAmS). He served as Project Director for the five-university Interdisciplinary Research Collaboration (IRC) on 'Dependability of Computer-Based Systems' (2000-2007) and coordinated methodology work packages in the DEPLOY project.
Prof. Jones leads the AI4FM project team at Newcastle University, which focuses on developing systems that can learn strategic ideas from interactive proofs to increase automation of similar proofs. Earlier in his career, he built a world-class Formal Methods group at Manchester University that was the academic lead in the largest Software Engineering project funded by the Alvey programme (IPSE 2.5), which created the mural theorem proving assistant.
