My key scientific contributions are in the area of formal abstractions for distributed systems where, in the past years, I have developed formal frameworks based on choreographic approaches. In this area, I have contributed fundamental results in the directions listed below:

• Design-by-contract for message passing systems
• Bottom-up approaches
• Abstract semantics model
• Choreographic support to local-first software

Some papers (full list at )

with Carlos G. Lopez Pombo and Agustín E. Martinez Suñé. A tool implementing the stuff published at ICTAC 2023MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems Submitted. Available here with Carlos G. Lopez Pombo and Agustín E. Martinez Suñé. Using choreographies to analyse QoS of communicating systemsA Dynamic Temporal Logic for Quality of Service in Choreographic Models ICTAC 2023 (in print). Available here with Hernán Melgratti and Roland Kuhn. The title says it all.Behavioural Types for Local-First Software ECOOP 2023 (an extended version is at https://doi.org/10.48550/arXiv.2305.04848). Available here with Ivan Lanese and Franco Barbanera. The extended version of our Coordination 2022 paperA Theory of Formal Choreographic Languages LMCS 19(3) 2023. Available here with Ivan Lanese and Franco Barbanera. The extended version of our ICE 2022 paperComposition of Synchronous Communicating Systems JLAMP 135:1000890 2023. Available here More stuff here

Editorial boards

• Journal of Logical and Algebraic Methods in Computer Science
  Special Issue Editor and member of the editorial board from 15/09/2021 to-date
• Frontiers in Computer Science
  Associate editor (Theoretical Computer Science) from 25/11/2020 “to-date”

Edited volumes:

• Doctoral Symposium International Conference on Graph Transformation2008 ECEASST 16. DOI 10.14279/tuj.eceasst.16.235.243

• Interaction and Concurrency Experience: Structured Interactions2008 ENTCS 229 (3). DOI 10.1016/j.entcs.2009.06.035

• Interaction and Concurrency Experience: Structured Interactions2009 EPTCS 12. DOI 10.4204/EPTCS.12

• Graph Transformation and Visual Modeling Techniques2010 ECEASST 29. ISSN 1863-2122

• Web Services and Formal Methods2013 LNCS 8379. DOI 10.1007/978-3-319-08260-8

• Formal approaches to Parallel and Distributed systems (4PAD)2014 Proceedings: IEEE Computer Society ISSN 1066-6192

• Trustworthy Global Computing2014 LNCS 8902. DOI 10.1007/978-3-662-45917-1

• SOCA2015 Volume 9, Issue 3-4, September 2015. DOI 10.1007/s11761-015-0178-x

• COORDINATION2019 Proceedings: LNCS 11533. DOI 10.1007/978-3-030-22397-7

• LMCS2019 Selected Papers of the 21st International Conference on Coordination Models and Languages

• Christian Bartolo Burlo’ (current student)
  Co-supervised with A. Francalanza
• Alex Coto (viva held in February 2024)
  Co-supervised with R. Guanciale
• Emerson Sales (current student)
  Co-supervised with Omar Inverso
• Hao Zeng (viva held in December 2019)
  Co-supervised with A. Kurz
• Yi Xiao (viva held in December 2019)
  Co-supervised with A. Kurz
• Julien Lange (viva held in October 2013)
• Kyriakos Poyias (viva held in November 2013)
• Hyder Ali Nizamani (viva held in July 2011)
• Qurat Ul Ain Nizamani (viva held in July 2011)
• Daniele Strollo (viva held in June 2009)
  Co-supervised with G. Ferrari

• International Conference on Coordination Models and Languages (COORDINATION, 01/06/2019 — to-date)
• Interaction and Concurrency Experience (ICE 2008, 01/07/2008 — 19/07/2019)

• EXPRESS/SOS 2024 (EXPRESS/SOS, 09/09/2024 — 09/09/2024)
• ECOOP 2024 (ECOOP24, 16/09/2024 — 20/09/2024)
• ICTCS 2024 (ICTCS24, 11/09/2024 — 13/09/2024)
• First International Workshop on Formal Methods for Business Process Management (FM-BPM, 11/09/2023 — 11/09/2023)
• 25nd International Conference on Coordination Models and Languages (COORDINATION 2023, 19/06/2023 — 23/06/2023)
• 19th International Conference on Formal Aspects of Component Software (FACS2023, 19/10/2023 — 23/10/2023)
• 14th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES23, 22/04/2023 — 22/04/2023)
• FM2023 (FM2023, 6/03/2023 — 10/03/2023)
• 23rd Italian Conference on Theoretical Computer Science (ICTCS2022, 7/09/2022 — 9/09/2022)
• 18th International Conference on Formal Aspects of Component Software (FACS2022, 10/09/2022 — 11/09/2022)

I have been the internal examiner of more than 5 PhD students at the University of Leicester and I have been the external examiner or on the evaluation committees of the following viva:

• ** Evaluation panel of the PhD examination, University of Pisa (Italy) (6/5/2024, external examiner)
• Duncan Paul Attard Runtime Monitoring for Asynchronous Reactive Components, University of Malta (Malta) (18/04/2023, of the committee)
• João Miguel de Almeida Afonso __, MSc in Computer Science, Universida NOVA (2023, External examiner of the committee)
• Pablo Montepagano __, Tesis de Licenciatura en Ciencias de la Computación, UBA (2023, External examiner of the committee)
• Diego Senarruzza __, Tesis de Licenciatura en Ciencias de la Computación, UBA (2023, External examiner of the committee)
• Aline Uwimbabazi Automated Replication of Tuple Spaces via Static Analysis and Transformation of Go Programs, Gran Sasso Science Institute (L’Aquila, Italy) (7/09/2022, chair of the committee)
• Tala Najem Emerging Computing Models, Software Architectures and Intelligent Systems, University of L’Aquila (Italy) (pending, of the committee)
• Carlo Taticchi Handling Dynamic Aspects of Argumentation, Gran Sasso Science Institute (L’Aquila, Italy) (19/4/2021, member of the committee)
• Lorenzo Pagliari Performance Engineering of Cyber-Physical Systems, Gran Sasso Science Institute (L’Aquila, Italy) (16/11/2020, chair of the committee)
• Luca Di Stefano Modelling and Analysis of Multi-Agent Systems via Sequential Emulation, Gran Sasso Science Institute (L’Aquila, Italy) (13/10/2020, chair of the committee)
• Ahmed Abdelsalam Service Function Chaining with Segment Routing, Gran Sasso Science Institute (L’Aquila, Italy) (22/9/2020, chair of the committee)
• Teerath Das Investigating Performance Issues in Mobile Apps, Gran Sasso Science Institute (L’Aquila, Italy) (11/5/2020, chair of the committee)
• Joseph Richard Harrison Robust Communications in Erlang, University of Kent (May 2020, of the committee)
• Damián Ariel Furman __, Tesis de Licenciatura en Ciencias de la Computación, UBA (2019, External examiner of the committee)
• Caroline Caruana __, M.Sc. Computer Science, University of Malta (2019, External examiner of the committee)
• Ignacio Vissani __, Tesis de Licenciatura en Ciencias de la Computación, UBA (July 2018, External examiner of the committee)
• Vitaly Buralev Improving the efficiency of tuple spaces, IMT Lucca (June 2018, of the committee)
• Matia Barbeito __, Tesis de Licenciatura en Ciencias de la Computación, UBA (2015, External examiner of the committee)
• Amala Vijaya Selvi Rajan Formal Semantics for LIPS (Language for Implementing Parallel/distributed Systems), Middlesex University (May 2009, of the committee)
• Massimiliano Masi On Authentication and Authorisation Issues in E-Health Systems, Universita’ degli Studi di Firenze (May 2012, of the committee)
• Ashley McNeil Protocol Modelling - Synchronous Composition of Data and Behaviour, Birkberk University (June 2016, of the committee)