Skip to main content


  • I am funded by the Leverhulme Trust to study and record the history of formal approaches to the development of concurrent software. The three year project (RPG-2019-020) started November 2019 (Troy Astarte was a post-Doc (RA) on the project until his recent move to Swansea University). We each spoke at the HaPoC conference in October 2021 on topics from this work.
  • Two recent opportunities to reminisce were a talk at BCTCS in Swansea and a joint (FAC) paper with Martyn Thomas.
  • "Theories of programming: the life and works of Tony Hoare" has been published by ACM (co-edited with Jayadev Misra).
  • "Understanding Programming Languages" has been published by Springer. (A set of slides that could form the basis of a taught course is available as a Zip file --- (please read the information at the beginning of root.tex) the slides by Cliff B Jones are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License Creative Commons License
  • Although the Strata project (EPSRC PLatform Grant) has finished the strong collaboration with Prof. Alan Burns at York continues: we've had a paper accepted for ECRTS-22 and some day another joint paper will appear in a Festschrift.
  • I am a "Partner Investigator" on Ian Hayes' Australian Research Council grant on Design and verification of correct, efficient and secure concurrent systems. This project runs from May 2019 for three (plus) years.
  • I have an on-line library of semantics with scanned versions of many source documents that are not easy to obtain. In many cases these documents are now searchable.
  • Troy Astarte submitted and defended his PhD thesis on the History of Language Semantics.
  • Razgar Ebrahimy also completed his PhD (on Applying Fault Tolerance Techniques to Mitigate Failures in Cyber-Dependent Energy Systems) and now works at the Technical University of Denmark.
  • Concurrency: a joint paper with Nisansala Yatapanage on the limits of Rely/Guarantee relations has been published in Formal Aspects of Computing.
  • Two related papers on Concurrency research are: Reasoning about Separation Using Abstraction and Reification and Possible values: Exploring a concept for concurrency
  • At FM-2015, Cliff was awarded a (in fact, the first) FME Fellowship. The slides from the talk given are available as a PDF and the cited references.
  • There was a Conference in Oxford to mark the 100th anniversary of Christopher Strachey's birth.
  • Ian Hayes and I taught a Tutorial on concurrency at FM-2016.
  • The AI4FM project (joint with Alan Bundy's Edinburgh group) has officially finished but work continues on collecting the results (see more under AI4FM).
  • The FM 2014 Symposium in Singapore was a great success. The proceedings are published as an LNCS volume. (See above re FM-2015 in Oslo).