DOTTORATO DI RICERCA Anno Accademico 2014

DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 1
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Nell'anno duemilaquattordici il giorno 20 del mese di novembre alle ore 15.30
presso il Dipartimento di Informatica dell'Università di Pisa, si è riunito il Consiglio
del Dottorato di Ricerca in Informatica.
Presenti: Roberto Barbuti, Stefano Chessa, Pierpaolo Degano, Tiziano De Matteis,
Gian-Luigi Ferrari, Stefania Gnesi, Roberto Grossi, Linda Pagli, Elisa Pergola,
Roberto Scopigno, Maria Grazia Scutellà, Jacopo Soldani, Franco Turini
Partecipa in videoconferenza: Sara Brunetti
Sono assenti giustificati: Ricardo Baeza-Yates, Michele Boreale, Antonio Brogi,
PierLuigi Crescenzi, Enrico Dameri, Paolo Ferragina, Antonio Frangioni, Jane
Hillston, Fabio Martinelli, Catuscia Palamidessi, Dino Pedreschi, Nadia Pisanti,
Rosario Pugliese, Fausto Rabitti, Andrea Sorbi
Constatata la presenza del numero legale dei componenti del Consiglio, il Presidente
dichiara aperta la seduta e passa alla discussione del seguente ordine del giorno:
1.
2.
3.
4.
5.
6.
7.
8.
Comunicazioni del Presidente
Presentazione nuovi dottorandi
Approvazione corsi 2014-15
Approvazione tesi
Proposta commissione per l'esame finale
Pratiche studenti
Approvazione PU
Varie ed eventuali
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 2
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 1 Argomento: Comunicazioni del Presidente.
Il Presidente comunica che
- si sono iscritte le seguenti persone:
De Sensi Daniele
Ugolini Sara
Baldini Francesco
Di Stefano Marco
Miliou Ioanna
Piermartini Damiano
Conte Alessio
Vaziri Farzad
Meoni Marco
Caruso Giuseppe (soprannumero)
Salvatori Elena (soprannumero)
- Roberto Scopigno segnala che nei bandi Co-Funding del Marie Curie ci dovrebbe
essere una linea che co-finanzia le scuole di dottorato
(http://ec.europa.eu/research/mariecurieactions/aboutmca/actions/cofund/index_en.htm), scadenza 1 ottobre
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 3
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 2 Argomento: Presentazione nuovi dottorandi
Il presidente invita i nuovi dottorandi a presentarsi al Collegio e a partecipare al
successivo punto all'ordine del giorno.
È assente il dott. Caruso per precedenti impegni scientifici.
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 4
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 3 Argomento: Approvazione corsi 2014-15
Il Presidente illustra i corsi che sono stati proposti e la cui breve descrizione segue.
1. Bayesian Machine Learning
Guido Sanguinetti, University of Edinburgh
24 febbraio - 2 marzo
- Probability review;
- Learning basics: maximum likelihood and the expectation maximisation algorithm;
- Bayes' theorem and how to compute it: sampling and deterministic algorithms;
- Supervised and unsupervised learning;
- Supervised learning: regression and classification;
- Gaussian processes for regression;
- Unsupervised learning: clustering and dimensionality reduction;
- Gaussian mixture models;
- Graphical models: representation;
- Inference in graphical models: Belief propagation.
2. Verifiable voting systems and secure protocols: from theory to practice
Peter Y. A. Ryan, Université du Luxenbourg
8 - 15 giugno 2015
3. Perspectives in parallel programming
Marco Danelutto, Dipartimento di Informatica
April/May 2015
Summary:
The course will introduce several programming environments used to implement
parallel applications on modern parallel architectures. A detailed introduction of the
available structured parallel programming environments will be given. Optimization
problems relative to different non functional concerns (performance, power
management, fault tolerance) will also be described and typical experiences in
different applicative domains will be discussed. Overall, the course will give the
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
student a good perspective on the kind of problems to be solved when tackling the
efficient programming of (massively) parallel systems as well as a basic knowledge
relative to state-of-the-art parallel programming frameworks.
4. Coinductive Methods in Computer Science (and beyond)
Filippo Bonchi, ENS Lyon (+Damien Pous)
Abstract:
The induction principle is ubiquitous in computer science. For instance it is used to
prove properties of programs involving finite data structures, such as natural numbers,
lists and trees. For reasoning about concurrent programs or infinite data structures,
like streams and infinite trees, one needs a dual principle -- coinduction -- which is
the main topic of this course.
The relevance of coinductive reasoning has been usually associated with
bisimilarity, a notion of equivalence that emerged at the end of the seventies in three
different fields: non-well founded set theory, modal logics and concurrency theory. In
the last years, coinductive methods has been studied in more and more areas of
computer science, such as automata and type theory. Perhaps unexpectedly,
applications to game theory and economy have been proposed recently.
We will introduce the coinductive definition and proof principles, several
techniques to enhance coinductive proofs, and some algorithms to automatize such
proofs. During the course, we will encounter examples stemming from different areas,
with particular focus to automata and concurrency theory. If time allows, we will also
give an overview to the theory of coalgebras, which is the abstract framework
encompassing all these different examples.
5. High Dynamic Range Imaging: theory and applications
Francesco Banterle, Visual Computing Laboratory, CNR Pisa
approx giugno
- Introduction to modern Imaging - 2 hrs
- Introduction to high dynamic range Imaging - 1 hr
- Capturing and generating the real-world lighting 4 hrs
- Tone mapping HDR images for low dynamic range displays - 4hrs
- Tone mapping HDR videos for low dynamic range displays - 2hrs
- Inverse Tone mapping - 2hrs
- HDR content formats and compression - 2hrs
- High dynamic range imaging applications - 4 hrs
6. Searching by Similarity on a Very Large Scale
Giuseppe Amato, CNR Pisa
fine Settembre/inizio Ottobre
Summary:
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Foundation of Metric Space Searching
Distance Searching Problem
Metric Distance Measures
Similarity Queries
Basic Partitioning Principles
Principles of Similarity Query Execution
Policies for avoiding Distance Computations
Metric Space Transformations
Priciples of Approximate Similarity Search
Advanced issues:
Statistics, Proximity, Performance Prediction,
Tree quality measures
Advanced issues: Choosing reference points
Exact Similarity Search
Vantage Point Trees
AESA/LAESA
GNAT
The M-Tree Family
The M-Tree
Bulk-Loading Algorithm
Multy-Way Insertion Algorithms
The Slim Tree
Slim-Down Algorithm
Pivoting M-Tree
Hash Based Methods
D-Index
Approximate Similarity Search with M-Tree
Relative Error Approximation
Good Fraction Approximation
Small Chance Improvement Approximation
Proximity-Based Approximation
PAC Nearest Neighbor Searching
Performance tests
Other Approximate Similarity Search Methods
Permutation Based Methods
Permutation Spearman Rho
PP-Index
MI-File
Locality Sensitive Hashing (LSH)
LSH based on p-stable distributions
LSH with Hamming Distance
7. Sistemi di tipi calcoli di processi e di sessione
Ilaria Castellani, Rosario Pugliese
Luogo di svolgimento: Università di Firenze, Viale Morgagni
Periodo: ottobre 2015
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Obiettivo: Il corso mira a presentare alcune tecniche formali, basate su sistemi di tipi,
per l'analisi di proprietà di sicurezza in una varieta' di calcoli di processo e di
sessione.
Contenuti: Si comincerà con l'introduzione di alcuni sistemi di tipi per la sicurezza
per il CCS ed una panoramica di diverse proprietà di sicurezza, con particolare
riguardo alla noninterferenza. Si passerà quindi ad approfondire lo studio di sistemi di
tipi per calcoli di processi più espressivi del CCS, come il pi-calcolo. Saranno
introdotti il "sorting" di Milner e il tipaggio di input/output di Pierce e Sangiorgi, il
tipaggio "comportamentale" di Kobayashi, e alcuni sistemi di tipi per la sicurezza del
flusso d'informazione. Infine, saranno studiati i calcoli di sessione, che permettono ai
processi di organizzare le loro comunicazioni secondo un protocollo predefinito.
Saranno presentati alcuni sistemi di tipi per varianti di tali calcoli con sessioni binarie
con delega, con sessioni n-arie, con sessioni n-arie con delega e sicurezza, e con
sessioni con monitoraggio e adattabilità.
Inoltre sono stati proposti i seguenti corsi della laurea magistrale:
8. STT --- Semantica e Teoria dei Tipi
Ugo Montanari, Dipartimento di Informatica, Pisa
(http://www.di.unipi.it/~ugo/STT.html)
9. Algoritmi per la bioinformatica
Nadia Pisanti, Dipartimento di Informatica, Pisa
10. Tecniche di analisi statica di sistemi
Pierpaolo Degano, Dipartimento di Informatica, Pisa
Inoltre sono previsti i seguenti cicli di seminari:
- "Mauriana Pesaresi" in cui gli studenti presentano il loro lavoro
- PhD+ organizzato dall'Ateneo
- Ricerca in industria, organizzato dagli studenti, in cui vengono descritte
alcune realtà di ricerca in ambito industriale
- Modeling Techniques for Formal Behavioral Verification of Software
Product Lines, organizzato da Stefania Gnesi, ISTI CNR, Pisa
- Assistive technologies, organizzato da Susanna Pelagatti, Stefano Chessa,
Alexander Kocian
Il ciclo di seminari riguarda le tecnologie per l’assistenza e il supporto di
persone anziane o disabili negli ambienti domestici e lavorativi, ed è isprato in
particolare al programma di ricerca relativo all’Ambient Assisted Living
(AAL) promosso in ambito europeo. Le tecnologie assistive, e tra queste quelle
relative all’AAL, interessano vari aspetti che spaziano dalla realizzazione di
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
dispositivi hardware, gestione di sensori e attuatori, analisi dei dati per la
determinazione del contesto dell’utente, realizzazione di piattaforme software
per la realizzazione di servizi etc.
Il ciclo di seminari sarà introdotto da due seminari che presenteranno il
problema in generale e la piattaforma universAAL per lo sviluppo di
applicazioni AAL, e da un seminario che presenterà il punto di vista
applicativo per un problema specifico.
La data presunta di inizio del ciclo di seminari è il 22 Gennaio, e si prevedono
seminari con cadenza settimanale, ogni Giovedì alle 11.
Infine, il Prof. Steve Shore del Dipartimento di Fisica offre un corso di inglese
scientifico agli studenti della ex-Scuola Galileo, con inizio presunto a gennaio.
Il collegio approva all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 5
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 4 Argomento: Approvazione tesi
In base alla presentazione di Luca Pappalardo, alla relazione della commissione che
ne ha seguito i lavori e ai giudizi dei recensori internazionali, riportati in allegato, il
collegio unanime approva la tesi presentata dal candidato e lo ammette all’esame
finale innanzi alla Commissione Nazionale.
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 6
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 5 Argomento: Proposta commissione per l'esame finale
Il presidente propone che la commissione finale sia composta dai prof.
- Donato Malerba, Università di Bari
- Fabrizio Lillo, Scuola Normale Superiore
- János Kertész, Budapest University of Technology and Economics
quali membri effettivi e come supplenti da
- Roberto Grossi, Università di Pisa
- Gian-Luigi Ferrari, Università di Pisa
- Pierpaolo Degano, Università di Pisa
Il collegio unanime approva.
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 7
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 6 Argomento: Pratiche studenti
Sono state presentate le domande di proroga da parte di
1. Leonardo Bartoloni
2. Davide Basile
3. Andrea Canciani
4. Paolo Cintia
5. Michele Girolami
6. Barbara Guidi
7. Davide Morelli
8. Antonio Valerio Miceli Barone
9. Suryana Setiawan
10. Simone Zenzaro
Il collegio unanime concede i periodi di proroga richiesti.
È pervenuta la domanda di ammissione al dottorato quale suprannumerario del Dr.
Luigi Fortunati, che viene illustrata. Il candidato presenta un piano di attività di
ricerca, inquadrato nell’ambito del progetto europeo DOREMI, che riguarda lo studio
di algoritmi per il riconoscimento in tempo reale di esercizi fisici e del livello di
qualità di esecuzione, per applicazioni di riabilitazione motoria di anziani e disabili. Il
candidato spiega che intende approfondire a questo scopo l’uso di sensori ambientali
e indossabili combinati con algoritmi di dynamic time warping.
Il Prof. Stefano Chessa assicura che c'è la la copertura finanziaria del dott. Potenziani
per l’intera durata del Dottorato di Ricerca.
Dopo approfondita valutazione, il collegio ritiene che il candidato sia idoneo ad
intraprendere il percorso di studi del dottorato in informatica.
Il collegio pertanto ammette all'unanimità il Dr. Fortunati al dottorato quale
sorannumerario.
È pervenuta la domanda di ammissione al dottorato quale suprannumerario del dott.
Marco Potenziani (Laurea specialistica in Ingegneria Informatica presso l’Università
di Siena nel 2013; da un anno assegnista di ricerca presso CNR-ISTI, con contratto
attivo su fondi del progetto EC “V-MUST.Net”, contratto n. 270404).
Il Consiglio di Dottorato decide di ascoltare il candidato per valutarne motivazione ed
esperienza. La domanda di ammissione viene illustrata dal proponente e,
successivamente, dal suo referente CNR (dott. Roberto Scopigno); quest’ultimo
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
dichiara di garantire la copertura finanziaria del dott. Potenziani per l’intera durata
del Dottorato di Ricerca.
Dopo aver esaminato il candidato, il collegio delibera all'unanimità la sua ammissione
al corso di dottorato quale sorannumerario.
Il Presidente propone di assegnare le borse ai dottorandi cui spettano nel modo
seguente:
- Baldini Francesco – CNR ITT
- Conte Alessio – Pegaso
- De Sensi Daniele – Pegaso
- Di Stefano Marco – CNR ISTI
- Miliou Ioanna – Pegaso
- Piermartini Damiano – Pegaso
- Ugolini Sara – Pegaso
- Vaziri Farzad – Pegaso
Il collegio approva all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 8
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 7 Argomento: Approvazione PU
Vuoto
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano
DOTTORATO DI RICERCA
IN INFORMATICA
Università di Pisa
Anno Accademico 2014-15
Seduta del 20.XI 2014
Deliberazione n. 9
VERBALE DELLA SEDUTA DEL CONSIGLIO DEL DOTTORATO
Ordine del Giorno: 8 Argomento: Varie ed eventuali
Non essendovi altro da discutere il Presidente scioglie l’adunanza alle ore 17.40.
Letto, approvato e sottoscritto seduta stante.
Il Presidente
Prof. Pierpaolo Degano

Download Report