Via Malaguti, 1/D
Bologna, Italy
tel.: 339/5861783
Research interests
I am mainly interested in formal methods
and programming languages for distributed and mobile systems, such as
service oriented systems (including microservices and serverless) and IoT systems. I aim at providing
languages, analysis techniques and tools to support the programming of
correct concurrent and distributed applications. I am currently active
in reversible computing (see also our overview book), and in
particular reversible
debugging of Erlang programs,
and choreographic
programming.
DCore: French ANR project on Causal Debugging for Concurrent Systems
BEHAPI: European H2020 RISE Marie Skłodowska-Curie Action on Behavioural Application Program Interfaces
GNCS 2022: Italian GNCS project on "Proprietà Qualitative e Quantitative di Sistemi Reversibili" (Qualitative and Quantitative Properties of Reversible Systems)
SAFER: EU (FEDER) and the Spanish MCI/AEI project on "Analysis and Validation of Software and Web Resources", as international collaborator
OVERLAY: fOrmal VERification, Logic, Automata, and sYnthesis research group on Formal Methods for AI