← Torna a Didattica

Supervisione

Tesi supervisionate

Ho seguito tesi su sicurezza del software, sistemi distribuiti, sostenibilità e quantum software engineering, dalla definizione dell’argomento alla revisione del software, degli esperimenti e dell’elaborato finale.

01

Lauree magistrali

Aprile 2026Laurea Magistrale in Cybersecurity

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

Giovanni Neglia

Progettazione e deployment sicuro di infrastrutture gerarchiche a microservizi, usando ODA come caso di studio e considerando segmentazione, comunicazioni e configurazione dei componenti.

Dicembre 2025Laurea Magistrale in Computer Science

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

Nicola Venturi

Applicazione di threat modeling e analisi delle vulnerabilità a un’architettura a microservizi, con scenari di attacco e discussione delle contromisure nel contesto di ODA.

Luglio 2022Laurea Magistrale in Cybersecurity

Secure Deployment of Stateless Functions over the Cloud-IoT Continuum

Emanuele Albertosi

Placement sicuro di funzioni stateless e sviluppo di estensioni dei prototipi dichiarativi per il continuum Cloud–IoT.

02

Lauree triennali in Informatica

Febbraio 2026Laurea in Informatica

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

Francesco Gianassi

Pipeline per raccogliere, uniformare e analizzare dati prodotti da esperimenti su circuiti e backend differenti, riducendo le operazioni manuali e migliorando la riproducibilità.

Dicembre 2025Laurea in Informatica

Deep Reinforcement Learning for Adaptive Shot Allocation in Quantum Circuit Execution

Sergio De Crescenzo

Studio del deep reinforcement learning per decidere in modo adattivo come allocare il budget di shot durante l’esecuzione di circuiti quantistici.

Dicembre 2025Laurea in Informatica

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

Giovanni Del Bianco

Combinazione di tecniche di distribuzione su più QPU e strategie di arresto incrementale, con valutazione sperimentale di benefici e compromessi.

Luglio 2025Laurea in Informatica

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

Leonardo Puosi

Acquisizione di metriche e integrazione di modelli per stimare consumi ed emissioni associate a workload containerizzati eseguiti su Kubernetes.

Maggio 2025Laurea in Informatica

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

Karim Mahmoud

Analisi di strategie per scegliere i tagli e assegnare frammenti e shot a dispositivi diversi, estendendo gli esperimenti collegati a Cut&Shoot.

Aprile 2025Laurea in Informatica

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

Samuele Grossi

Sviluppo di un componente per trasformare automaticamente dati energetici eterogenei in rappresentazioni coerenti con l’architettura e i modelli di interoperabilità di ODA.

Aprile 2025Laurea in Informatica

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

Lorenzo Imberti

Progettazione del percorso di acquisizione, elaborazione e persistenza dei dati attraverso due microservizi e le relative interfacce.

Luglio 2022Laurea in Informatica

Simulazione di orchestrazione di funzioni FaaS su infrastrutture Cloud-IoT

Alessio Matricardi

Progettazione e sviluppo di LambdaContSim per valutare deployment ed esecuzione di orchestrazioni FaaS in scenari dinamici.