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)