Cliff Jones

Research interests

• The Dependability of computer-based systems
  Broad issues of dependability (rather than just "formal methods") now occupy much of my research.
  • A recent paper on the "Hayes/Jackson/Jones" idea is Deriving Specifications for Systems That are Connected to the Physical World
  • The DEPLOY project
  • The TrAmS Platform Grant
  • Splitting (software) atoms safely
  • The RODIN project
  • The DIRC project
• Concurrency (including rely/guarantee conditions)
• (Formal Method) Support Systems
• Logics (for Partial Functions)
• VDM
• History
  • Some papers
  • Semantics library

List of main publications

• as a PDF (with some explanation)
• and (thanks to BibTeX2HTML) as html (with urls of many papers/books, all bib entries and the same numbering)

Qualifications etc.

• FREng
• Fellow of ACM (1995)
• DPhil (Oxford) 1981
• Fellow of IET (was IEE)
• Fellow of BCS
• CEng

Editorial

• Founding Editor of Formal Aspects of Computing
• Foundation editor of Journal of Universal Computer Science
• Advisor to the  Journal of Logic and Computation

Career Sketch

• Newcastle University ((since) August 1999) - Professor of Computing Science
• Project Director (July 2000 - 2007) of the Interdisciplinary Research Collaboration on Dependability of Computer-Based Systems
• Harlequin (1996-June 1999) - Technical Director
• The University of Manchester (1981-96) - Professor of Computing Science
• IBM (1965-1979) - worked in Hursley (UK), Vienna and Brussels
• before that (LEO, Esso, Ford) 1961-65

Contacting me

• e-mail: cliffjones@acm.org
• Telephone (at Newcastle University) +44-191-222-8183