Skip to main content

News

  • Ana Cavalcanti and James Baxter did me the honour of editing a Festschrift (Part 1, Part 2); incredibly none of the authors disclosed what was going on before Ana presented the volumes to me at a dinner in York!
  • The productive collaboration with Alan Burns at York on applying Rely-Guarantee thinking to Real-Time Systems continues: we had a joint (open-access) paper published in FMiCS which was also selected as a Journal First talk at FM-24; another joint paper has appeared in the Festschrift for Jim Woodcock. We have now published a general framework for the formalisation of such systems in ACM-TECS.
  • A joint paper with colleagues at University of Queensland on recent Rely-Guarantee research has been published in LNCS; a further draft paper is on arXiv and a journal version of this is under review.
  • Work with NIsansala Yatapanage at ANU on using Rely-Guarantee ideas to specify security protocols gave rise to a paper at the 2024 Overture Workshop in Milan; pending publication of the conference proceedings, a draft is accessible on arXiv.
  • "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 course is available as a Zip file --- (please read the information at the beginning of root.tex) the slides are licensed under a Creative Commons Attribution-ShareAlike 4.0 International License Creative Commons License
  • I was funded by the Leverhulme Trust to study and record the history of formal approaches to the development of concurrent software. The project (RPG-2019-020) finished in 2023. Troy Astarte was a post-Doc; we each spoke at the HaPoC conference in 2021 and papers have appeared (2023) in Minds and Machines (Troy, Cliff); a further by-product of this work is a paper on the trail from early research on concurrency by Ashcroft and Manna.
  • Two opportunities to reflect were a talk at the 2022 BCTCS in Swansea and a joint (FAC) paper with Martyn Thomas.
  • I was a "Partner Investigator" on Ian Hayes' Australian Research Council grant on Design and verification of correct, efficient and secure concurrent systems. This project runs to 2023.
  • 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.
  • 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).