news
| 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! |