Sessione di Laurea del 29/11/2024
a.a. 2023/2024
I LAUREANDI sono convocati il giorno venerdì 29 novembre 2024 alle ore 9.00 davanti alla sottocommissione presso il Dpt di Informatica (L.go Bruno Pontecorvo, 3) come da prospetto seguente nella Sala indicata.
I laureandi dovranno presentarsi portando con sé il computer portatile che intendono utilizzare il giorno della tesi.
I LAUREANDI che non fossero inclusi negli elenchi sotto riportati, sono pregati di far presente la propria situazione all'Unità Didattica e di prendere contatto con i responsabili delle sottocommissioni per valutare la possibilità di essere inseriti negli esami di pre-laurea.
Si pregano inoltre i Laureandi di consultare il sito: https://www.unipi.it/index.php/concorsi-gare-e-bandi/item/11265-accreditamento-di-fotografi-professionisti-per-lauree-e-cerimonie dove è stata pubblicata la nuova normativa riguardante i servizi fotografici e audiovisivi in occasione degli esami di laurea e laurea magistrale.
Le PROCLAMAZIONI verranno effettuate al termine di ciascuna discussione o al termine di tutte le discussioni, a discrezione del Presidente della Commissione.
Sottocommissione 1
Discussione ore 09:00 presso SALA GERACE
| Roberto Grossi |
Pres. |
| Mazzei Daniele |
Membro |
| Giorgio Ghelli |
Membro |
| Alessandro Bocci |
Membro |
| Giulia Punzi |
Membro |
| Candidato |
VALERIO PIROZZI
|
| Titolo |
Modello di semantica operazionale della Java Native Interface |
| Relatore esterno |
Letterio Galletta
|
| Relatore |
Pierpaolo Degano
|
| Controrelatore |
Gianluigi Ferrari |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ARBRESHA ALIU
|
| Titolo |
Bench: una piattaforma di analisi dati dei test di usabilità |
| Tutore Accademico |
Alessio Malizia
|
| Tutore Esterno |
Giacomo Bosio
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
RICCARDO TALARICO
|
| Titolo |
Machine Learning sui Grafi: Sviluppo di un Kernel su Sottografi Comuni |
| Relatore |
Roberto Grossi
|
| Relatore |
Alessio Micheli
|
| Relatore |
Alessio Conte
|
| Relatore |
Marco Podda
|
| Controrelatore |
Andrea Cossu |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
YURIY RYMARCHUK
|
| Titolo |
Implementation and Evaluation of the Interval Join Operator on Data Stream Processing Systems |
| Relatore |
Gabriele Mencagli
|
| Controrelatore |
Federica Paganelli |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FEDERICO TAMPONI
|
| Titolo |
Programmazione sicura in C-rusted |
| Tutore Accademico |
Roberta Gori
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
GABRIELE D'AGOSTINO
|
| Titolo |
Installazione e Configurazione di un Cluster per Big Data |
| Tutore Accademico |
Gabriele Mencagli
|
| Tutore Esterno |
Giovanni Possemato
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
MARCO MOROZZI
|
| Titolo |
Federated Learning |
| Relatore |
Massimo Torquati
|
| Relatore |
Patrizio Dazzi
|
| Controrelatore |
Luca Ferrucci |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
PAOLO FASANO
|
| Titolo |
Semantic Querying of Reconstructed 3D Environments Using Pre-trained 2D Foundation Models |
| Relatore |
Gianpaolo Palma
|
| Relatore |
Fabio Carrara
|
| Relatore |
Daniela Giorgi
|
| Controrelatore |
Mazzei Daniele |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
LORENZO GARZELLI
|
| Titolo |
Progettazione e realizzazione di un sistema real-time per il riconoscimento automatico delle specie ittiche del Mar Tirreno |
| Tutore Accademico |
Claudio Gallicchio
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FRANCESCO SECOLI
|
| Titolo |
La partecipazione delle Comunità Energetiche ai servizi ancillari nel mercato dell'energia elettrica. Estensione ed implementazione in un modello stocastico three stage |
| Relatore |
Antonio Frangioni
|
| Controrelatore |
Antonio Brogi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
SALVATORE DAVIDE D'AMICO
|
| Titolo |
DEFINIZIONE DI UN'INTERFACCIA DI ALTO LIVELLO PER LA GESTIONE DELLA CPU AFFINITY NEL FRAMEWORK FASTFLOW |
| Relatore |
Massimo Torquati
|
| Controrelatore |
Marco Danelutto |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
LUCA CORDISCO
|
| Titolo |
Enhancing Portability of the FastFlow Library: Replacing Platform-Dependent Code with Modern C++ |
| Relatore |
Massimo Torquati
|
| Controrelatore |
Gabriele Mencagli |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 2
Discussione ore 09:00 presso sala seminari ovest
| Davide Bacciu |
Pres. |
| Riccardo Guidotti |
Membro |
| Pisanti Nadia |
Membro |
| Andrea Cossu |
Membro |
| Luca Ferrucci |
Membro |
| Candidato |
ANDREA COLA
|
| Titolo |
Ainstein Learning |
| Tutore Accademico |
Riccardo Guidotti
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
GIOELE ZERINI
|
| Titolo |
Studio su una rete di oscillatori antisimmetrica e fisicamente implementabile |
| Relatore |
Andrea Ceni
|
| Relatore |
Andrea Cossu
|
| Relatore |
Claudio Gallicchio
|
| Controrelatore |
Federico Giovanni Poloni |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
LORENZO LEUZZI
|
| Titolo |
Lifelong Evolutionary Swarms |
| Relatore |
Andrea Cossu
|
| Relatore |
Davide Bacciu
|
| Controrelatore |
Claudio Gallicchio |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
Paul Maximilian Magos
|
| Titolo |
Multivariate Time Series Generation with Autoregressive Graph Neural Networks |
| Relatore |
Davide Bacciu
|
| Relatore |
Lorenzo Simone
|
| Controrelatore |
Alessio Micheli |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
LORENZO CERRI
|
| Titolo |
Sistema di Dance Movement Analysis: Tracking ed Estrazione di features |
| Tutore Accademico |
Antonio Carta
|
| Tutore Esterno |
Said Daoudagh
|
| Tutore Esterno |
Paolo Paradisi
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
LORENZO BANDINI
|
| Titolo |
U-ProBE (Uncertainty Probabilistic Bayesian Estimate) |
| Tutore Accademico |
Davide Bacciu
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
CARLO CANTINI
|
| Titolo |
Tecniche di sviluppo su GPU: Dal confronto tra librerie allo sviluppo di un'applicazione per la compressione di file. |
| Relatore |
Marco Danelutto
|
| Controrelatore |
Rossano Venturini |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
MANUEL CERONI
|
| Titolo |
Studio dell’Intent Framework del controller ONOS verso l’Intent Based Networking |
| Relatore |
Federica Paganelli
|
| Controrelatore |
Stefano Chessa |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ALESSANDRO CAPURSO
|
| Titolo |
Similarity-based policy transfer for Multi-Task Reinforcement Learning |
| Relatore |
Davide Bacciu
|
| Relatore |
Elia Piccoli
|
| Controrelatore |
Antonio Carta |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
DOMENICO TUPPUTI
|
| Titolo |
Dynamic Graph Neural Networks for Financial Forecasting |
| Relatore |
Davide Bacciu
|
| Controrelatore |
Francesca Naretto |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
ROBERTO BIONDO
|
| Titolo |
On adhesivity of EGGs |
| Relatore |
Fabio Gadducci
|
| Controrelatore |
Giovanni Manzini |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 3
Discussione ore 09:00 presso Sala Seminari Est
| Roberto Bruni |
Pres. |
| Gianna Del Corso |
Membro |
| Chiara Bodei |
Membro |
| Jacopo Soldani |
Membro |
| Francesca Naretto |
Membro |
| Candidato |
CARMELO GAROFALO
|
| Titolo |
Progettazione e sviluppo app nativa Android |
| Tutore Accademico |
Andrea Corradini
|
| Tutore Esterno |
Andrea Fastame
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FILIPPO GIGANTE
|
| Titolo |
Sviluppo di una piattaforma collaborativa di interazione con Large language Models per lo studio di dinamiche team" |
| Relatore |
Tommaso Turchi
|
| Controrelatore |
Jacopo Soldani |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ALESSANDRO GALLO
|
| Titolo |
Sviluppo di un Modulo per la Gestione Condominiale in .NET: Architettura a Plugin e Metodologia Agile |
| Tutore Accademico |
Roberta Gori
|
| Tutore Esterno |
Serena Isola
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
MASSIMO MONAI
|
| Titolo |
Supply Chain Validator per la libreria glibc |
| Tutore Esterno |
Simone Ballarin
|
| Tutore Accademico |
Gianluigi Ferrari
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FRANCESCO GHELARDI
|
| Titolo |
Catena di agenti con RAG |
| Tutore Accademico |
Marco Podda
|
| Tutore Esterno |
Lorenzo Monti
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
DANIELE SAMPIETRO
|
| Titolo |
Implementazione di un algoritmo per identificare le componenti connesse di un grafo |
| Relatore |
Patrizio Dazzi
|
| Controrelatore |
Alessio Conte |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
DIEGO BERNARDINI
|
| Titolo |
Stringhe sicure per il linguaggio C |
| Tutore Accademico |
Roberto Bruni
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ANTONIO FIORDILISO
|
| Titolo |
FlowPoint: Generazione di nodi interattivi per l’elaborazione visiva dei dati utilizzando l’Intelligenza Artificiale |
| Relatore |
Tommaso Turchi
|
| Relatore |
Giuseppe Prencipe
|
| Controrelatore |
Alessio Malizia |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Giulio Paparelli
|
| Titolo |
Modelling Abstract Domain Repair via Refinement |
| Relatore |
Roberto Bruni
|
| Relatore |
Roberta Gori
|
| Controrelatore |
Filippo Bonchi |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
FRANCESCO MASSAFRA
|
| Titolo |
Tecniche di Machine Learning per la ricerca di biomarcatori per la sclerosi multipla in dati single-cell. |
| Relatore |
Alina Sirbu
|
| Relatore |
Silvia Giulia Galfrè
|
| Controrelatore |
Veronica Guerrini |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
LORENZO VANNINI
|
| Titolo |
Architettura e funzionamento degli acceleratori NPU |
| Relatore |
Marco Danelutto
|
| Controrelatore |
Patrizio Dazzi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 4
Discussione ore 09:00 presso Sala Riunioni Est
| Laura Ricci |
Pres. |
| Paolo Milazzo |
Membro |
| Anna Bernasconi |
Membro |
| Andrea Michienzi |
Membro |
| Veronica Guerrini |
Membro |
| Candidato |
JACOPO BIANCHI
|
| Titolo |
Un modello di bot detection per giochi Play-to-Earn |
| Relatore |
Laura Ricci
|
| Relatore |
Barbara Guidi
|
| Relatore |
Andrea Michienzi
|
| Controrelatore |
Damiano Di Francesco Maesa |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
RICCARDO NOZZA
|
| Titolo |
Studio e utilizzo della struttura dati Move per la ricerca di pattern in stringhe degeneri |
| Relatore |
Giovanna Rosone
|
| Relatore |
Veronica Guerrini
|
| Controrelatore |
Laura Pollacci |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FRANCESCO BORRI
|
| Titolo |
Merkle Mountain Range: applicazione alla certificazione di collezioni di NFT |
| Relatore |
Matteo Loporchio
|
| Relatore |
Laura Ricci
|
| Relatore |
Damiano Di Francesco Maesa
|
| Controrelatore |
Barbara Guidi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
TOMMASO CROCETTI
|
| Titolo |
Firma digitale BLS: smart contract per la verifica on-chain su Ethereum |
| Relatore |
Anna Bernasconi
|
| Relatore |
Damiano Di Francesco Maesa
|
| Controrelatore |
Andrea Michienzi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ALESSANDRO TRABUCCO
|
| Titolo |
Digitalizzazione semi-automatica di carte nautiche. |
| Tutore Accademico |
Paolo Milazzo
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
LORENZO LUPETTI
|
| Titolo |
Skill Manager - Gestionale per la formazione aziendale |
| Tutore Esterno |
Christian Simonelli
|
| Tutore Accademico |
Paolo Milazzo
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
MIRKO BALLERINI
|
| Titolo |
Mensa in Cloud - Sistema di Gestione di Servizi per laRistorazione |
| Tutore Accademico |
Paolo Milazzo
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FRANCESCA PINNA
|
| Titolo |
Sviluppo driver Linux per gestione energetica in un gateway edge |
| Tutore Accademico |
Paolo Milazzo
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ELISA SIMONETTI
|
| Titolo |
Atropo: una piattaforma offensiva contro le botnet |
| Relatore |
Fabrizio Baiardi
|
| Controrelatore |
Salvatore Ruggieri |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
EVA SPADONI
|
| Titolo |
Atropo: una piattaforma offensiva contro le botnet |
| Relatore |
Fabrizio Baiardi
|
| Controrelatore |
Salvatore Ruggieri |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
NICCOLO' DE PAOLIS
|
| Titolo |
A network propagation approach to investigate the spread of perturbations in biochemical pathways. |
| Relatore |
Paolo Milazzo
|
| Controrelatore |
Giulia Punzi |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
SIMONE MORRONE
|
| Titolo |
Studio delle Economie di Stablecoin: un’Analisi Basata su Grafi |
| Relatore |
Laura Ricci
|
| Relatore |
Matteo Loporchio
|
| Controrelatore |
Mariarita Pierotti |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
TOMMASO ANTONINI
|
| Titolo |
Crittografia basata su attributi per la sicurezza over-the-air: Un confronto tra approcci tradizionali e post-quantum |
| Relatore |
Anna Bernasconi
|
| Controrelatore |
Chiara Bodei |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 5
Discussione ore 09:00 presso Sala Riunioni Ovest
| Luca Gemignani |
Pres. |
| Rossano Venturini |
Membro |
| Laura Semini |
Membro |
| Giorgio Vinciguerra |
Membro |
| Vincenzo Lomonaco |
Membro |
| Candidato |
MATTEO MARINI
|
| Titolo |
Prompt Engeneering |
| Relatore |
Laura Semini
|
| Controrelatore |
Stefano Forti |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
FILIPPO BAGLINI
|
| Titolo |
Echo State Networks for Real-Time Anomaly Detection in the Satellite Context |
| Relatore |
Vincenzo Lomonaco
|
| Relatore |
Valerio De Caro
|
| Controrelatore |
Marco Podda |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
SEAN CAMPAILLA
|
| Titolo |
Ottimizzazione della Comunicazione di Gruppo con Recapify: Un Chatbot di Sintesi basato su IA |
| Relatore |
Vincenzo Lomonaco
|
| Controrelatore |
Alessandro Bondielli |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
LORENZO TINFENA
|
| Titolo |
Implementazione in Rust di un algoritmo per la risoluzione del problema della vertex cover minima |
| Relatore |
Patrizio Dazzi
|
| Controrelatore |
Massimo Torquati |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
NICCOLO' MAESTRIPIERI
|
| Titolo |
Verso il Futuro del Calcio Professionistico un'Analisi Approfondita del Ruolo dell'Intelligenza Artificiale nella Serie A |
| Relatore |
Vincenzo Lomonaco
|
| Controrelatore |
Alessandro Bocci |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
MARIO MOGAVERO
|
| Titolo |
• Integrazione di algoritmi di Intelligenza artificiale su Android: un benchmark tra Java, Kotlin, Python e Julia |
| Relatore |
Vincenzo Gervasi
|
| Controrelatore |
Corradini Andrea |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Federico Ramacciotti
|
| Titolo |
Integrating advanced compression techniques with key-value stores for managing large source-code datasets |
| Relatore |
Paolo Ferragina
|
| Controrelatore |
Rossano Venturini |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
ELENA CESARI
|
| Titolo |
Controllo formale di politiche di sicurezza in RUST |
| Relatore |
Gianluigi Ferrari
|
| Controrelatore |
Roberta Gori |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Andrea Riolo Vinciguerra
|
| Titolo |
Emulazione del Game Boy: tra precisione tecnica ed efficienza funzionale |
| Relatore |
Vincenzo Gervasi
|
| Controrelatore |
Susanna Pelagatti |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
ALESSIO PARDINI
|
| Titolo |
Hyperview Challenge: proposta di un modello di Machine Learning per migliorare lo stato dell’arte nella stima dei parametri del suolo da immagini iperspettralI |
| Relatore |
Vincenzo Lomonaco
|
| Controrelatore |
Tommaso Turchi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
GIULIO ROSSI
|
| Titolo |
NeurArch: un'applicazione basata su reti neurali per il riconoscimento e la classificazione di artefatti archeologici |
| Relatore |
Vincenzo Lomonaco
|
| Controrelatore |
Vincenzo Gervasi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
