Projects

DART: Digital Arctic Twins
A UArctic network project 2024-2026.
A Digital Twin for Vaccination Strategies at Geographic Scales
Project funded by UiO’s Centre for Pandemics and One-Health Research
A Digital Twin for Vaccination Strategies at Geographic Scales
A Digital Twin of the Oslo Fjord
UiO MatNat Sustainable development project, 2022-2025.
A Digital Twin of the Oslo Fjord
NebulOuS: A Meta Operating System for Brokering Hyper-Distributed Applications on Cloud Computing Continuums
An EU Horizon Europe RIA project, 2022-2025.
Follow Website
NebulOuS: A Meta Operating System for Brokering Hyper-Distributed Applications on Cloud Computing Continuums
Remaro: Reliable AI for Marine Robotics
An EU Marie Skłodowska-Curie (MSCA) European Training Network 2020-2024.
Follow Website
Remaro: Reliable AI for Marine Robotics
Smart Journey Mining: Towards Successful Digitalisation of Services
An RCN IKTPLUSS research project 2021-2024.
Follow Website
Smart Journey Mining: Towards Successful Digitalisation of Services
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.
HyVar : Scalable Hybrid Variability for Distributed Evolving Software Systems
UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
An EU FP7 FET Open-X research project 2014-2017.
UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
Envisage: Engineering Virtualized Services
An EU FP7 research project 2013-2016. I was the project coordinator.
Envisage: Engineering Virtualized Services
HATS: Highly Adaptable and Trustworthy Software using Formal Methods
A EU FP7 FET research project 2010-2013.
HATS: Highly Adaptable and Trustworthy Software using Formal Methods
CREDO: Modelling and analysis of evolutionary structures for distributed services
A EU FP6 research project 2006-2009.
CREDO: Modelling and analysis of evolutionary structures for distributed services