Currently active projects (as principal investigators):

  • ResoNet: Resilient Optimized Network Synthesis (2022-2026). Funded by VR.
    ResoNet is Marco Chiesa’s VR starting grant. We aim at developing new network synthesis methods that guarantee performance and robustness requirements. Funding 4M SEK between 2022 and 2026.
  • SAFIR: Secure AI for Intelligent Resilience and Confidentiality in the Cloud (2025 – 2028). Funded by Vinnova
    SAFIR is a collaborative project between academia (KTH, RISE) and industry (CanaryBit, Ericsson, Nvidia, RedHat, Saab) aiming to build secure, resilient, and trustworthy cloud-edge infrastructures. It focuses on two main goals: (1) enabling trusted execution of AI workloads across cloud and edge environments, and (2) developing secure AI-driven control mechanisms for automated cloud orchestration.
  • Automated Software Verification with Expert-Driven Reasoning (2026-2030). Funded by WASP.
    This project addresses the growing risks of software failures that can disrupt critical systems and services. Its goal is to improve software reliability by ensuring programs are mathematically correct. To overcome the traditional complexity of this process, Prometheus integrates artificial intelligence to make verification faster and more accessible.
  • EdgeWise: Fast and Explainable Next-Generation Robots for Mission Critical Applications (2025 – 2027). Funded by Digital Futures
    EdgeWise is a research initiative developing the next generation of trustworthy humanoid robots. The project focuses on improving responsiveness, reliability, and safety through innovative computing and verification techniques that enable robots to operate effectively even under challenging connectivity conditions.

Previous projects (as principal investigators):

  • Emergence 2.0: Securing Edge Networks with a Programmable Architecture. Funded by Digital Futures
  • Self-adapting disaggregated cloud infrastructures. Selected by WASP.
  • EMERGENCE: Enabling Machine Learning for Network Cybersecurity. Funded by Digital Futures.
  • SEMLA: Securing Enterprises via Machine-Learning-based Automation (2023-2025). Funded by Vinnova.