Research Projects

  • CALF (Categorical Automata Learning Framework)
  • Practical Coinduction: NWO project
  • ASCENS (Autonomic Service-Component Ensembles)
  • CINA (Compositionality, Interaction, Negoziation, Autonomicity for the future ICT society): PRIN MIUR project
  • IPODS (Interacting Processes in Open-ended Distributed Systems): PRIN MIUR
    project, coordinated by Roberto Bruni
Advertisements
%d bloggers like this: