Projects

Smart Collaborative Engineering (400K EU, started 9.2017 ended 14.3.2020)

SardCoin : Blockchain technologies for supporting tourism in Sardinia (372K EU, started 16.4.2018 ended 15.1.2021)

BETTY : Behavioural Types for Reliable Large-Scale Software Systems (COST Action)

CHiPSet : High-Performance Modelling and Simulation for Big Data Applications (COST Action)

NOMAD : Next-generation Open Mobile Apps Development (1,02MEU, started 7.3.2016 ended 31.12.2017)

Security Horizons (87KEU, started 1.2.2013 end 31.1.2016)

TRICS : a Trusted Reservation Infrastructure for Computational Societies (202KEU, started 15.3.2012 ended 14.9.2015)

Social Glue : a modular development platform for community-oriented services (350KEU, started 9.2012 ended 30.6.2015)

TESLA : Techniques for Enforcing Security in Languages and Applications (80KEU, started 1.1.2011 ended 31.12.2012)

CGR : Coarse-Grained Group Recommendation (ended)