Projects I am involved in:

1. Constraints based techniques for modeling, solving and verifying complex problems,
   PRIN 2008 Innovative and multi-disciplinary approaches for reasoning with constraints and preferences, project n.20089M932N.
2. Bilateral CNR-CNRS project Verification of infinite state and real time systems, (meeting July 2010)