← Back to Teaching

Supervision

Supervised theses

I have supervised theses on software security, distributed systems, sustainability, and quantum software engineering, from topic definition to the review of software, experiments, and the final dissertation.

01

Master’s theses

April 2026Master’s Degree in Cybersecurity

Design and Secure Deployment of Hierarchical Infrastructures: The ODA Case Study

Giovanni Neglia

Design and secure deployment of hierarchical microservice infrastructures, using ODA as a case study and considering segmentation, communications, and component configuration.

December 2025Master’s Degree in Computer Science

Analyzing Microservices: Threat Modeling and Exploitation in an ODA Case Study

Nicola Venturi

Application of threat modelling and vulnerability analysis to a microservice architecture, including attack scenarios and a discussion of countermeasures in the ODA context.

July 2022Master’s Degree in Cybersecurity

Secure Deployment of Stateless Functions over the Cloud-IoT Continuum

Emanuele Albertosi

Secure placement of stateless functions and development of extensions to declarative prototypes for the Cloud–IoT continuum.

02

Bachelor’s theses in Computer Science

February 2026Bachelor’s Degree in Computer Science

Sviluppo di una pipeline automatizzata per la gestione di dati sperimentali nel quantum computing

Francesco Gianassi

A pipeline to collect, harmonise, and analyse data produced by experiments across different circuits and backends, reducing manual operations and improving reproducibility.

December 2025Bachelor’s Degree in Computer Science

Deep Reinforcement Learning for Adaptive Shot Allocation in Quantum Circuit Execution

Sergio De Crescenzo

A study of deep reinforcement learning for adaptively deciding how to allocate the shot budget during quantum-circuit execution.

December 2025Bachelor’s Degree in Computer Science

Studio sperimentale sull’unione di strategie di esecuzione distribuita e incrementale per sistemi quantistici NISQ

Giovanni Del Bianco

Combining distribution techniques across multiple QPUs with incremental stopping strategies, including an experimental assessment of benefits and trade-offs.

July 2025Bachelor’s Degree in Computer Science

Integrazione di Green IT per stimare le emissioni di CO₂ nei sistemi software basati su Kubernetes

Leonardo Puosi

Metric acquisition and integration of models for estimating energy consumption and emissions associated with containerised workloads running on Kubernetes.

May 2025Bachelor’s Degree in Computer Science

Ottimizzazione del taglio e della distribuzione di circuiti quantistici in ambienti multi-QPU

Karim Mahmoud

Analysis of strategies for selecting cuts and assigning fragments and shots to different devices, extending experiments related to Cut&Shoot.

April 2025Bachelor’s Degree in Computer Science

Trasformazione automatica del formato dei dati nel servizio ODA del progetto NEST

Samuele Grossi

Development of a component that automatically transforms heterogeneous energy data into representations consistent with ODA’s architecture and interoperability models.

April 2025Bachelor’s Degree in Computer Science

Dall’API al database: sviluppo di due microservizi per la gestione dei dati di Microsoft Advertising

Lorenzo Imberti

Design of a data acquisition, processing, and persistence flow through two microservices and their interfaces.

July 2022Bachelor’s Degree in Computer Science

Simulazione di orchestrazione di funzioni FaaS su infrastrutture Cloud-IoT

Alessio Matricardi

Design and development of LambdaContSim to assess the deployment and execution of FaaS orchestrations in dynamic scenarios.