- 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
- 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).