Research projects I am currently involved in:

• Efforts in the understanding of complex interacting systems (ENCASE). (UniUD PRID)
• The European research network on types for programming and verification (EUTYPES). (COST Action CA15123)

Past projects:

• Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society (CINA). (MiUR PRIN 2010LHT4KM)
• Reduction Systems: synthesis, refinement and verification of behavioural models (SisteR) (MiUR PRIN 20088HXMYN)
• Analysis of Reaction systems with Transitions systems (ART) (MiUR PRIN 2005015824)
• Types for Proofs and Programs (TYPES) (EU FP6 IST-CA-510996)
• TYPES (IST WG 29001)
• Computational Metamodels (COMETA) (MIUR COFIN 2001)
• Dynamic Assembly, Reconfiguration and Type-checking (DART) (EU IST-2001-33477).
• TYPES (ESPRIT WG 21900)
• TYPES (EU ESPRIT BRA 6453)
• TOSCA (COFIN99)
• “Levi” (40% 1997)