Commissione e sottocommissioni di laurea


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)