Current projects:
- Methods and Tools for Trustworthy Smart Systems (IT MATTERS). (MiUR PRIN 2017FTXR7S)
- Efforts in the understanding of complex interacting systems (ENCASE) (UniUD PRID)
- The European research network on types for programming and verification (EUTYPES) (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)