Sessione di Laurea del 06/12/2019
a.a. 2018/2019
Proclamazione presso Aula Magna Ex Presidenza L.go B. Pontecorvo,3 alle ore 13:30
I LAUREANDI sono convocati il giorno venerdì 6 DICEMBRE 2019 davanti alle sottocommissioni, alle ore 8,50 come da prospetto seguente.
ATTENZIONE: Per utilizzare il videoproiettore durante la discussione
della tesi è necessario effettuare una prova di corretto funzionamento delle apparecchiature.
I candidati sono invitati a presentarsi il giorno 3 DICEMBRE 2019 alle ore 10.00 presso lo sportello della Segreteria Didattica.
I laureandi dovranno presentarsi portando con se il computer portatile che intendono
utilizzare il giorno della tesi. Si pregano i candidati di mettere su una chiavetta USB il materiale da proiettare
(preferibilmente in formato PDF).
Gli studenti che avessero difficoltà a presentarsi nel giorno prestabilito per la prova del proiettore,
o per qualsiasi altra necessità sono pregati di contattare urgentemente il sig. Enrico Carpentras
all'indirizzo email: enrico@di.unipi.it
I LAUREATI TRIENNALI e MAGISTRALI verranno proclamati il giorno venerdì 6 DICEMBRE 2019
alle ore 13.30 circa davanti alla Commissione di Laurea presso l'AULA MAGNA EX-PRESIDENZA (L.go B. Pontecorvo, 3 - 56127 Pisa).
I COMMISSARI sono pregati di prendere nota della composizione delle sottocommissione e inoltre che la Commissione di Laurea
si riunirà il giorno 6 DICEMBRE 2019 alle ore 12,45 (al termine dei lavori delle varie sottocommissioni),
in Sala Riunioni EST presso il Dpt di Informatica.
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.
Commissione
| Francesco Romani |
Pres. |
| Fabio Gadducci |
Membro |
| Marco Danelutto |
Membro |
| Roberto Grossi |
Membro |
| Stefano Chessa |
Membro |
| Luca Gemignani |
Suppl.Comm |
| Vincenzo Gervasi |
Suppl.Comm |
Supplenti Sottocommissioni
| Giuseppe Attardi |
| Pierpaolo Degano |
Sottocommissione 1
Discussione ore 9.00 presso aula magna ex presidenza
Tipo sottocommissione: Mista
| Marco Danelutto |
Resp. |
| Luca Gemignani |
Membro |
| Roberto Grossi |
Membro |
| Candidato |
Davide Scano |
| Titolo |
1 A new SDN application providing Quality of Service (QoS) for network slicing. |
| Relatore |
Alessio Giorgetti
|
| Relatore |
Luca Valcarenghi
|
| Controrelatore |
Rosario Giuseppe Garroppo |
| Laurea |
Corso di Laurea Magistrale in Informatica e Networking (classe LM-18) |
| Candidato |
Alessandro Conticelli |
| Titolo |
2 Bilanciamento di matrici non-negative: teoria, applicazioni e metodi numerici. |
| Relatore |
Luca Gemignani
|
| Controrelatore |
Gianna Del Corso |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
Ivan Grujic |
| Titolo |
3 K-Graphlet Counting in Degree Bounded Graphs. |
| Relatore |
Roberto Grossi
|
| Controrelatore |
Alessio Conte |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
Lorenzo De Santis |
| Titolo |
4 On Non-Linear Approaches for Piecewise Geometric Model. |
| Relatore |
Paolo Ferragina
|
| Relatore |
Giorgio Vinciguerra
|
| Controrelatore |
Mauro Passacantando |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
Stefano Pacchini |
| Titolo |
5 TESINA: MicTer: un interprete per microcodice in C. |
| Tutore Accademico |
Marco Danelutto
|
| Controrelatore |
Gabriele Mencagli |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Elia Luca Hornacker |
| Titolo |
6 Tesina: Modelli di programmazione concorrente: java e Erlang. |
| Tutore Accademico |
Marco Danelutto
|
| Controrelatore |
Francesca Levi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Andrea Cosci |
| Titolo |
7 TESINA: Un supporto macro dataflow in C++ per multicore a memoria condivisa. |
| Tutore Accademico |
Marco Danelutto
|
| Controrelatore |
Rossano Venturini |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Francesco Vatteroni |
| Titolo |
8 Tirocinio: customizzazione di strumenti SW per analisi di codice ARM. |
| Tutore Accademico |
Marco Danelutto
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 2
Discussione ore 9.00 presso sala seminari ovest
Tipo sottocommissione: Mista
| stefano chessa |
Resp. |
| Laura Semini |
Membro |
| Mauro Passacantando |
Membro |
| Candidato |
Alessandro Fagnani |
| Titolo |
1 Deep learning-based segmentation of retinal layers in intraoperative optical coherence tomography. |
| Relatore |
Davide Bacciu
|
| Controrelatore |
Luca Oneto |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
Antonio Sisbarra |
| Titolo |
2 Minimum complexity deep echo state networks. |
| Relatore |
Claudio Gallicchio
|
| Relatore |
Alessio Micheli
|
| Controrelatore |
Federico Giovanni Poloni |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
LORENZO BOCCOLINI |
| Titolo |
3 Tirocinio: Realizzazione di moduli software in ambito Big Data. |
| Tutore Accademico |
stefano chessa
|
| Tutore Esterno |
Andrea Mallegni
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Marco Ceragioli |
| Titolo |
4 Tirocinio: Q test un'applicazione per la somministrazione di test. |
| Tutore Accademico |
Laura Semini
|
| Tutore Esterno |
Luigi Manuguerra
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Monica Arrabito |
| Titolo |
5 Tesina: Strumenti di analisi dei requisiti per specificare linee di prodotti. |
| Tutore Accademico |
Laura Semini
|
| Controrelatore |
Roberta Gori |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Lorenzo Carfagna |
| Titolo |
6 Tesina: Un algoritmo di programmazione dinamica per l'ottimizzazione della qualità del servizio in sistemi IoT con energy harvesting. |
| Tutore Accademico |
stefano chessa
|
| Tutore Esterno |
Antonio Caruso
|
| Controrelatore |
Alina Sirbu |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Mattia Angelini |
| Titolo |
7 Prova Finale: Machine learning techniques for 3D point clouds data. |
| Tutore Accademico |
Davide Bacciu
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Alessia Meoni |
| Titolo |
8 Tesina: Un'interfaccia vocale per la gestione di sistemi smart ambient. |
| Tutore Accademico |
Antonio Brogi
|
| Tutore Accademico |
Stefano Forti
|
| Controrelatore |
Vincenzo Gervasi |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Emilio Panti |
| Titolo |
9 Tirocinio: Adversary emulation e worm: alcune estensioni al sistema caldera. |
| Tutore Accademico |
Fabrizio Baiardi
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 3
Discussione ore 9.00 presso sala seminari est
Tipo sottocommissione: Mista
| Francesco Romani |
Resp. |
| Anna Bernasconi |
Membro |
| Laura Ricci |
Membro |
| Candidato |
Giovanni Guazzi |
| Titolo |
01 Tesina: Analisi di pattern nel grafo delle transazioni di Bitcoin. |
| Tutore Accademico |
Anna Bernasconi
|
| Tutore Accademico |
Laura Ricci
|
| Controrelatore |
Maria Grazia Scutellà |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Gianluigi Carrozzo |
| Titolo |
010 Tirocinio: Un algoritmo di bilanciamento del carico per comunità sociali distribuite. |
| Tutore Accademico |
Andrea Michienzi
|
| Tutore Accademico |
Laura Ricci
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
IULIAN CHIHAI |
| Titolo |
011 Tirocinio: sviluppo di un sistema di classificazione di difetti di produzione. |
| Tutore Accademico |
Rossano Venturini
|
| Tutore Esterno |
Franco Maria Nardini
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Filippo Stefanelli |
| Titolo |
02 Tesina: Simblock: Analisi di un simulatore di blockchain. |
| Tutore Accademico |
Anna Bernasconi
|
| Tutore Accademico |
Laura Ricci
|
| Controrelatore |
Francesco Romani |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Ivan Sarno |
| Titolo |
03 Prova Finale: Algorand: protocollo di consensus efficiente e scalabile per Blockchain. |
| Tutore Accademico |
Anna Bernasconi
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Marco Costa |
| Titolo |
04 Tesina: Sintesi logica approssimata di forme S.O.P. |
| Tutore Accademico |
Anna Bernasconi
|
| Controrelatore |
Linda Pagli |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
PASQUALE PULIERI |
| Titolo |
05 Tirocinio: Analisi della topologia del grafo delle transazioni di Steem. |
| Tutore Accademico |
Barbara Guidi
|
| Tutore Accademico |
Laura Ricci
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
VALERIA MONTAGNA |
| Titolo |
06 Tirocinio: Analisi della topologia del grafo delle transazioni di Steem. |
| Tutore Accademico |
Barbara Guidi
|
| Tutore Accademico |
Laura Ricci
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Francesco Ussi |
| Titolo |
07 Tirocinio: Modelli di trust per reti sociali distribuite. |
| Tutore Accademico |
Barbara Guidi
|
| Tutore Accademico |
Laura Ricci
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Simone Daini |
| Titolo |
08 Tirocinio: Motif mining in online social communities. |
| Tutore Accademico |
Andrea Michienzi
|
| Tutore Accademico |
Laura Ricci
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Vincenzo Aliberti |
| Titolo |
09 Tirocinio: Sintesi logica approssimata orientata alle decomposizione di funzioni booleane. |
| Tutore Accademico |
Anna Bernasconi
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
Sottocommissione 4
Discussione ore 9.00 presso sala Riunioni est
Tipo sottocommissione: Mista
| Fabio Gadducci |
Resp. |
| Roberta Gori |
Membro |
| Vincenzo Gervasi |
Membro |
| Candidato |
Carlo Alessi |
| Titolo |
1 Learning and modulating motor commands using FORCE-trained Spiking Neural Networks. |
| Relatore |
Cecilia Laschi
|
| Controrelatore |
Daniele Mazzei |
| Laurea |
Corso di Laurea Magistrale in Informatica (classe LM-18) |
| Candidato |
Francesco Bertolaccini |
| Titolo |
2 Tesina: "Annotated types as C++ templates - A theory for safe integer operations". |
| Tutore Accademico |
Fabio Gadducci
|
| Controrelatore |
Andrea Corradini |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Emanuele Cosenza |
| Titolo |
3 TESINA: Implementazione di una rete neurale costruttiva per grafi. |
| Tutore Accademico |
Alessio Micheli
|
| Controrelatore |
Nadia Pisanti |
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
SIMONE RICCI |
| Titolo |
4 Tirocinio: Rilevazione di anomalie nel traffico di rete senza l'utilizzo di tecniche di ML. |
| Tutore Accademico |
Luca Deri
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Alessandro Cecchi |
| Titolo |
5 Tirocinio: Scripting e patching: soluzioni per sicurezza e business continuity con Datto RMM e Autotask PSA. |
| Tutore Accademico |
Luca Deri
|
| Tutore Esterno |
Nikoloz Asatiani
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Guido Meo |
| Titolo |
6 Tirocinio: studio e realizzazione di un digital twinper industria 4.0 |
| Tutore Accademico |
Claudio Gallicchio
|
| Tutore Esterno |
Luca De Santis
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Enrico Neri |
| Titolo |
7 Tirocinio: Sviluppo di un'interfaccia in linguaggio naturale basata su piattaforma Amazon per applicazioni in ambito industria 4.0 |
| Tutore Accademico |
Antonio Cisternino
|
| Tutore Esterno |
Giacomo Baldi
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Marco Bianucci |
| Titolo |
8 Tirocinio: Utilizzo degli allarmi di sicurezza nel monitoraggio del traffico di rete. |
| Tutore Accademico |
Luca Deri
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
| Candidato |
Luca Mauri |
| Titolo |
9 Tirocinio: Implemetazione di un server Rest Api con monitoraggio dell'utilizzo e gestione degli accessi. |
| Tutore Accademico |
Gabriele Mencagli
|
| Tutore Esterno |
Giorgio Giudetti
|
| Laurea |
Corso di Laurea in Informatica (classe L-31) |
