Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (completata, 27/05/2022) — Luca Nannini | Realizzazione di una blockchain privata per la gestione di una rete di pagamenti (laurea magistrale, 18/03/2022) — Elia Pasqualini | Kubernetes su OpenStack: deployment automatizzato su un cluster ARM di un private cloud per l’orchestrazione di container (laurea magistrale, 16/12/2021) — Ruben Ceroni |