Projects

NebulOus: A Meta Operating System for Brokering Hyper-Distributed Applications on Cloud Computing Continuums
An EU Horizon Europe RIA project, 2022-2025.
Follow Website
Remaro: Reliable AI for Marine Robotics
An EU Marie Skłodowska-Curie (MSCA) European Training Network 2020-2024.
Follow Website
Smart Journey Mining: Towards Successful Digitalisation of Services
An RCN IKTPLUSS research project 2021-2024.
Follow Website
Cumulus: Semantics-Based Analyses for Cloud-Aware Computing
An RCN FRINATEK research project 2015-2019. I was the project leader.
HyVar : Scalable Hybrid Variability for Distributed Evolving Software Systems
An EU H2020 research project 2015-2018. I was the scientific coordinator.
UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
An EU FP7 FET Open-X research project 2014-2017.
Envisage: Engineering Virtualized Services
An EU FP7 research project 2013-2016. I was the project coordinator.
HATS: Highly Adaptable and Trustworthy Software using Formal Methods
A EU FP7 FET research project 2010-2013.
CREDO: Modelling and analysis of evolutionary structures for distributed services
A EU FP6 research project 2006-2009.