Research

I organise a Dagstuhl seminar series on behavioural types (participant 2017, organiser 2021, 2024, and 2026). Recent work is with colleagues at Oxford, Edinburgh, and Glasgow, among others; the papers are on DBLP.

ECOOP, July 2026

Compositional Design, Implementation, and Verification of Swarms, with Furbach, Clorius, Melgratti, Scalas, and Tuosto.

Schloss Dagstuhl, Feb 8–13, 2026

Seminar 26071 Behavioural Types for Resilience. Organiser, with Derakhshan, Krebbers, and Yoshida (Oxford).

PLACES @ ETAPS, 2024

Behavioural Types for Heterogeneous Systems (position paper), with Fowler, Haller, Lindley, Scalas, and Vasconcelos.

Schloss Dagstuhl, Jan 28–Feb 2, 2024

Seminar 24051 Next Generation Protocols for Heterogeneous Systems. Organiser, with Balzer, Carbone, and Thiemann. Report.

ECOOP, July 2023

Behavioural Types for Local-First Software, with Melgratti and Tuosto.

ISSTA, 2023

Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms, with Darmasaputra.

Schloss Dagstuhl, Sep 12–17, 2021

Seminar 21372 Behavioural Types: Bridging Theory and Practice. Organiser, with Dezani, Lindley (Edinburgh), and Scalas. Report.

Schloss Dagstuhl, Jan 29–Feb 3, 2017

Seminar 17051 Theory and Applications of Behavioural Types. Participant.