ESPRIT BRA Project 8130 Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS), funded by EU.

MURST Formal Techniques for the Specification, the Analysis, the Verification and the Transformation of Software System. Funded by Italian Ministry MURST.

ESPRIT WG Project 23677 Concurrent Constraint Programming for Time Critical Applications (COTIC). Funded by EU.

MURST Project Theory of Concurrency, Higher Order Languages and Types (TOSCA). Funded by Italian Ministry MURST.

MIUR Project Formal Methods for Security and Time - MEtodi FormalI per la Sicurezza ed il TempO (MEFISTO). Funded by Italian Ministry MIUR.

MIUR Project  Analysis of Reduction systems through Transition systems (ART).

MUR Project MEDICA: biomedinfo.di.unipi.it/medica-project Modelling and vErification of alkaptonuria and multiple sclerosis Driven by biomedICAl data. Funded by MIUR.