The papers ‘Compositional Design, Implementation, and Verification of Swarms’ (with Florian Furbach, Lucas Clorius, Roland Kuhn, Hernan Melgratti, and Emilio Tuosto) and ‘NEST: Network Enforced Session Types’ (with Jens Kanstrup Larsen, Guy Amir, Jules Jacobs, Jana Wagemaker, and Nate Foster) have been accepted at ECOOP 2026.

My PhD student Radoslaw Jan Rowicki has successfully defended his PhD thesis ‘Distributed Deadlock Detection via Black-Box Monitoring.’ The PhD assessment committee members were Simon Thompson (Eötvös Loránd University, Hungary, and University of Kent, UK), Jesper Bengtson (IT University of Copenhagen, Denmark), and Christoph Matheja (DTU). Congratulations Radek!

The paper ‘JoinActors: A Modular Library for Actors with Join Patterns’ and its artifact have been accepted by the Programming Journal. This is joint work with Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán Melgratti, and Emilio Tuosto. It will be presented at the <Programming> 2026 conference.

My PhD student Jens Kanstrup Larsen has successfully defended his PhD thesis ‘Safe and Secure Software-Defined Networks in P4.’ The PhD assessment committee members were Peter Thiemann (University of Freiburg, Germany), Marco Peressotti (University of Southern Denmark), and Sebastian Mödersheim (DTU). Congratulations Jens!

The paper ‘On Asynchronous Multiparty Session Types for Federated Learning’ has been accepted at ICTAC 2025. This is joint work with Ivan Prokic, Simona Prokic, Silvia Ghilezan, and Nobuko Yoshida. An extended version is available on arXiv.