| Sep 03, 2026 | I will be at TAROS 2026 (locally at University of Manchester). Find me by my poster, displayed during the conference, or, some of the time, at the stand of the CRADLE project. |
| May 14, 2026 | I will be giving a talk on my most recent work at the FORCE (Formal Reasoning for Compositional Systems Engineering) workshop, at FLOC’26 – it will focus on compositional specification of Assume Guarantee contracts. |
| Nov 12, 2025 | I’m happy to serve as Publicity Chair for this year’s edition of ITP (collocated with FLoC’26) – see you in Lisbon! |