Verbali - Sapienza

Transcript

Verbali - Sapienza

Procedura selettiva di chiamata a n. 1 posti di ricercatore universitario a tempo determinato
tipologia B, indetta con D.R. n. 3465 del 18/12/2014 presso il Dipartimento di INFORMATICA
settore concorsuale 01/B1 settore scientifico disciplinare INF/01
VERBALE N. 2
Alle ore 14:00 del giorno 14 Settembre 2015 i seguenti Professori:
Prof. Paola Velardi
Prof. Pierangela Samarati
Prof. Matteo Sereno
membri della Commissione nominata con D.R. n. 3465
telematici di lavoro collegiali e concordano:
del 18/12/2014 , si avvalgono degli strumenti
La nomina del Presidente nella persona del Prof. Paola Velardi e del Segretario nella persona del Prof.
Matteo Sereno.
La Commissione, accertato che i criteri generali fissati nella precedente riunione sono
stati resi pubblici per più di sette giorni, verifica i nomi dei candidati.
La Commissione, presa visione dell’elenco dei candidati al concorso delle esclusioni
operate dagli uffici e delle rinunce sino ad ora pervenute (Devono essere espressamente
indicati i candidati esclusi e i candidati che hanno rinunciato), prende atto che i candidati da
valutare ai fini del concorso sono n.17, e precisamente:
1. Silvia Bonomi
2. Nicola Capuano
3. Paolo Di Giambardino
4. Gabriele Fici
5. Emanuele Guido Fusco
6. Francesco Gullo
7. Massimo Lauria
8. Gustavo Marfia
9. Federico Mari
10. Francesco Pasquale
11. Fabrizio Silvestri
12. Francesco Silvestri
13. Blerina Sinaimeri
14. Dora Spenza
15. Angelo Spognardi
16. Julinda Stefa
17. Daniele Venturi
La Commissione, quindi, procede ad esaminare le domande di partecipazione al
concorso dei candidati con i titoli allegati e le pubblicazioni.
Per ogni candidato, la Commissione verifica che i titoli allegati alla domanda siano stati
certificati conformemente al bando.
Procede poi ad elencare analiticamente i Titoli.
Procede poi ad elencare analiticamente le Pubblicazioni trasmesse dal candidato
In questa fase non esprime giudizi sui titoli e sulle pubblicazioni.
La Commissione elenca, per ogni candidato, i titoli e le pubblicazioni valutabili (allegato A).
1. Vengono esaminati i titoli
e le pubblicazioni del candidato Silvia Bonomi
e le pubblicazioni del candidato Nicola Capuano
e le pubblicazioni del candidato Paolo Di Giambardino
e le pubblicazioni del candidato Gabriele Fici
e le pubblicazioni del candidato Emanuele Guido Fusco
e le pubblicazioni del candidato Francesco Gullo
e le pubblicazioni del candidato Massimo Lauria
e le pubblicazioni del candidato Gustavo Marfia
e le pubblicazioni del candidato Federico Mari
e le pubblicazioni del candidato Francesco Pasquale
e le pubblicazioni del candidato Fabrizio Silvestri
e le pubblicazioni del candidato Francesco Silvestri
e le pubblicazioni del candidato Blerina Sinaimeri
e le pubblicazioni del candidato Dora Spenza
e le pubblicazioni del candidato Angelo Spognardi
e le pubblicazioni del candidato Julinda Stefa
e le pubblicazioni del candidato Daniele Venturi
La commissione giudicatrice verifica che nessuno dei candidati abbia presentato un
numero di pubblicazioni superiore a 12.
La Commissione viene sciolta alle ore 16:00 e si riconvoca per il giorno 22 Settembre
2015 alle ore 15:00.
Roma, 14 Settembre 2015
Letto approvato e sottoscritto seduta stante.
La Commissione
- Prof. Paola Velardi (per la commissione)
Procedura selettiva di chiamata a n. 1 posti di ricercatore universitario a tempo
determinato tipologia B, indetta con D.R. n. 3465 del 18/12/2014 presso il Dipartimento
di INFORMATICA settore concorsuale 01/B1 settore scientifico disciplinare INF/01
VERBALE N. 3
Alle ore 15:00 del giorno 22 Settembre 2015 i seguenti Professori:
Prof. Paola Velardi
Prof. Matteo Sereno
membri della Commissione nominata con D.R. n. 3465
degli strumenti telematici di lavoro collegiali e concordano:
del 18/12/2014 , si avvalgono
La nomina del Presidente nella persona del Prof. Paola Velardi e del Segretario nella persona
del Prof. Matteo Sereno.
La Commissione inizia la valutazione dei titoli, delle pubblicazioni e delle tesi di
dottorato dei candidati. Si procede seguendo l’ordine alfabetico dei candidati.
Il Presidente ricorda che le pubblicazioni redatte in collaborazione possono essere
valutate sulla base dei criteri individuati nella prima riunione.
Da parte di ciascun commissario, si procede all’esame dei titoli e delle pubblicazioni ai fini
della formulazione dei giudizi.
La Commissione quindi provvede a formulare il giudizio collegiale su ciascun candidato. Tali
giudizi sono allegati al presente verbale quale sua parte integrante (all. B).
La commissione, ai fini della selezione della lista breve dei candidati, ha concordemente
deliberato di assegnare un peso maggiore alla qualità complessiva della loro produzione
scientifica (anche in relazione all’età accademica), alla rilevanza del loro ruolo nella comunutà
scientifica internazionale ed all’ autonomia del candidato, rispetto ad altri indicatori elencati
nel verbale 1 comunque tenuti nella giusta considerazione.
Dopo ampia ed approfondida discussione, e sulla base dei giudizi formulati, la
Commissione seleziona per la prova orale una lista breve di 6 candidati, e precisamente (in
ordine alfabetico):
1.
2.
3.
4.
5.
6.
Gabriele Fici
Francesco Gullo
Massimo Lauria
Gustavo Marfia
Fabrizio Silvestri
Julinda Stefa
La Commissione viene sciolta alle ore 20:00 e si riconvoca per il giorno 2 novembre
2015 alle ore 12:30 .
Roma, 22 Settembre 2015
La Commissione
- Prof. Paola Velardi (per la commissione)
ALLEGATO A)
TITOLI E PUBBLICAZIONI VALUTABILI
CANDIDATO: SILVIA BONOMI
VERIFICA TITOLI VALUTABILI : presa d’atto dei titoli – es. dottorato,
specializzazione, attività didattica, etc – per i quali sia stata presentata idonea
documentazione ai sensi dell’art. 4 del bando
Titolo
Descrizione
Valutabile
Dottorato
Dottorato in Computer Engineering and
Computer Science (in co-tutela) presso le
SI
Università di Roma “La Sapienza” e di
Rennes 1
Attività presso qualificati istituti
Assegno di Ricerca Research Center of
italiani o stranieri
Cyber Intelligence and
Information Security (CIS), short-term visit
Texas A&M University, IRISA
Organizzazione, direzione e
Collaboratrice in 7 progetti nazionali ed
internazionali (uno come activity cocoordinamento di progetti di
leader)
ricerca nazionali e
SI
internazionali, o partecipazione
agli stessi
Attività di curatela,
Co-chair 1 workshop, Org. Comm.
organizzazione convegni,
Member 5 conferenze/workshop, advisor e
SI
revisore a conferenze e
co-advisor di tesisti e dottorandi
convegni
Premi per attività di ricerca
AWS (Amazon Web Services) in
Education Research
SI
Grant award (con 4 co-autori) – PI di un
progetto di Ateneo
Attività didattica
Attività di Tutor/esercitatore/lecturer
SI
Università La Sapienza
VERIFICA PUBBLICAZIONI VALUTABILI
Pubblicazione
G. Ateniese, R. Baldoni, S. Bonomi, G. A. Di Luna, “Fault-Tolerant
Oblivious Assignment with m Slots in Synchronous Systems”, Journal of
Parallel Distributed Computing (JPDC), 74(7), 2648-2661, 2014.
G. A. Di Luna, R. Baldoni, S. Bonomi, I. Chatzigiannakis “Counting in
Anonymous Dynamic Networks under Worst Case Adversary”, Proceedings
of the 34th International Conference on Distributed Computing Systems
(ICDCS), 2014.
Valutabile
SI
SI
R. Baldoni, S. Bonomi, A. Cerocchi, L. Querzoni, “Virtual Tree: A robust
architecture for interval valid queries in dynamic distributed systems”
Journal of Parallel Distributed Computing (JPDC) 73(8): 1135-1145, 2013.
R. Baldoni, S. Bonomi, A. Soltani Nezhad, “A protocol for implementing
byzantine storage in churn-prone distributed systems”, in Theoretical
Computer Science (TCS) Volume 512, 28-40, 2013.
R. Baldoni, S. Bonomi, M. Raynal, “Implementing a Regular Register in an
Eventually Synchronous Distributed System prone to Continuous Churn”,
IEEE Transactions on Parallel and Distributed Systems (TPDS), 23(1):
102-109, 2012.
R. Baldoni, S. Bonomi, M. Platania, L. Querzoni, “Dynamic Message
Ordering for Topic- Based Publish/Subscribe Systems”, in Proceedings of
the 26th IEEE International Parallel & Distributed Processing Symposium
(IPDPS) 2012.
S. Bonomi, A. Klappenecker, H. Lee, J. Welch “Stochastic Modeling of
Dynamic Distributed Systems with Crash Recovery and Its Application to
Atomic Registers”, in Proceedings of the 16th International Conference on
Principles of Distributed Systems (OPODIS), 2012.
S. Montanelli, D. Bianchini, C. Aiello, R. Baldoni, C. Bolchini, S. Bonomi, S.
Castano, T. Catarci, V. De Antonellis, A. Ferrara, M. Melchiori, E.
Quintarelli, M. Scannapieco, F. A. Schreiber, L. Tanca, “The ESTEEM
platform: enabling P2P semantic collaboration through emerging collective
knowledge”, in Journal of Intelligent Information Systems, 36(2) pag. 167 195 (2011).
R. Baldoni, S. Bonomi, A. M. Kermarrek, M. Raynal “Implementing a
Register in a Dynamic Distributed System” In Proceeding of 29th
International Conference on Distributed Computing Systems (ICDCS),
2009.
R. Baldoni, S. Bonomi, M. Raynal “Regular Register: an Implementation in
a Churn Prone Environment”, In Proceeding of 16th International
Colloquium on Structural Information (SIROCCO) 2009.
R. Baldoni, S. Bonomi, L. Querzoni, S. Tucci Piergiovanni, “Investigating
the existence and regularity of logarithmic Haray graphs, in in Theoretical
Computer Science 410(21-23), pag. 2110-2121 (2009).
M. Roy, F. Bonnet, L. Querzoni, S. Bonomi, M. Killijian, D. Powell
“Georegisters: an abstraction for spatial-based distributed computing” In
Proceeding of 12th International Conference On Principles Of DIstributed
Systems (OPODIS), 2008.
SI
SI
SI
SI
SI
SI
SI
SI
SI
SI
TESI DI DOTTORATO: valutabile
CONSISTENZA COMPLESSIVA DELLA PRODUZIONE SCIENTIFICA:
Il candidato presenta una produzione complessiva pari a N. 9 pubblicazioni su riviste
internazionali e 32 conferenze e workshop.
CANDIDATO 2: NICOLA CAPUANO
Titolo
Descrizione
Valutabile
Dottorato
NO
NO
Attività presso qualificati istituti Assegno di Ricerca (Università di Salerno),
collaboratore di ricerca, funzionario tecnicoSI
scientifico (Università di Salerno)
FP5-IST DIOGENE, FP5-IST INTRASEV,
MIUR M&S-SW (Principal investigator),
coordinamento di progetti di
responsabile di linee di ricerca o supervisor
ricerca nazionali e
SI
di 26 progetti internazionali, nazionali o
internazionali, o
regionali
partecipazione agli stessi
Membro del comitato editoriale di 5
riviste/bollettini; attività di revisore di riviste
SI
e conferenze, co-editor di 2 volumi, PC
convegni
member e co-chair di svariate conferenze.
2nd Best Paper Award al 1st World Summit
SI
on the Knowledge Society
Attività didattica
Esercitazioni/seminari docente corsi di Alta
SI
Formazione
Pubblicazione
N. Capuano, G. D’Aniello, A. Gaeta, S. Miranda. A personality based
adaptive approach for information systems. Computers in Human Behavior,
Elsevier, vol. 44, pp. 156-165, March 2015. ISSN: 0747-5632.
N. Capuano, G.R. Mangione, E. Mazzoni, S. Miranda, F. Orciuoli. Wiring
Role Taking in Collaborative Learning Environments. SNA and Semantic
Web can improve CSCL script? International Journal of Emerging
Technologies in Learning, vol. 9, n. 7, pp. 30-38, 2014. ISSN: 1863-0383.
N. Capuano, M. Gaeta, P. Ritrovato, S. Salerno. Elicitation of Latent
Learning Needs Through Learning Goals Recommendation. Computers in
Human Behavior, Elsevier, vol. 30, pp. 663-673, January 2014. ISSN:
0747-5632.
N. Capuano, S. Miranda, P. Ritrovato, G.R. Mangione, A. Pierri. Design
and Execution of Dynamic Collaborative Learning Experiences.
International Journal of e-Collaboration, IGI Global, vol. 9, n. 1, pp. 26-41,
March 2013, ISSN: 1548-3673, e-ISSN: 1548-3681.
G. R. Mangione, N. Capuano, F. Orciuoli, P. Ritrovato. Disaster Education:
a narrative-based approach to support learning, motivation and students’
engagement. Journal of e-Learning and Knowledge Society, vol. 9, n. 2,
pp. 133-156, May 2013. ISSN: 1826-6223, e-ISSN:1971-8829.
N. Capuano, G. R. Mangione, A. Pierri, S. Salerno. Learning Goals
Recommendation for Self Regulated Learning. International Journal of
Engineering Education, vol. 28, n. 6, pp. 1373-1379, November 2012,
ISSN: 0949-149X.
Valutabile
SI
SI
SI
SI
SI
SI
G. Adorni, S. Battigelli, D. Brondo, N. Capuano, M. Coccoli, S. Miranda, F.
Orciuoli, L. Stanganelli, A. Sugliano, G. Vivanet. CADDIE and IWT: Two
Different Ontology-Based Approaches to Anytime, Anywhere and Anybody
Learning. Journal of e-Learning and Knowledge Society, vol. 6, n. 2, pp.
53-66, May 2010, ISSN: 1826-6223, e-ISSN:1971-8829.
N. Capuano, M. Gaeta, A. Marengo, S. Miranda, F. Orciuoli, P. Ritrovato.
LIA: an Intelligent Advisor for e-Learning. Interactive Learning
Environments, Taylor & Francis, vol. 17, n. 3, pp. 221-239, September
2009, ISSN: 1049-4820, e-ISSN: 1744-5191.
N. Capuano, M. Gaeta, P. Ritrovato, S. Salerno. How to Integrate
Technology Enhanced Learning with Business Process Management.
Journal of Knowledge Management, Emerald Group Publisher, vol. 12 no.
6, pp. 56-71, November 2008, ISSN: 1367-3270.
E. Sangineto, N. Capuano, M. Gaeta, A. Micarelli. Adaptive Course
Generation through Learning Styles Representation. Universal Access in
the Information Society International Journal, Springer, vol. 7, no. 1/2, pp.
1-23, April 2008, ISSN: 1615-5289, e-ISSN: 1615-5297.
S. Andreon, G. Gargiulo, G. Longo, R. Tagliaferri, N. Capuano. Wide Field
Imaging, Application of Neural Networks to Object Detection and
Star/Galaxy Classification. Monthly Notices of the Royal Astronomical
Society, Wiley, vol. 319, no. 3, pp. 700-716, December 2000, ISSN: 00358711, e-ISSN: 1365-2966.
R. Tagliaferri, N. Capuano, G. Gargiulo. Automated Labeling for
Unsupervised Neural Networks: a Hierarchical Approach. IEEE transaction
on Neural Networks, IEEE, vol. 10, no. 1, pp. 199-203, January 1999,
ISSN: 1045-9227.
SI
SI
SI
SI
SI
SI
TESI DI DOTTORATO: non dichiara
ABILITAZIONE SCIENTIFICA NAZIONALE PER IL SETTORE CONCORSUALE 01/B1:
valutabile
internazionali N. 23 atti di conferenze internazionali N. 2 capitoli di libri internazionali
CANDIDATO 3: PAOLO DI GIAMBERARDINO
VERIFICA TITOLI VALUTABILI: presa d’atto dei titoli – es. dottorato,
Titolo
Descrizione
Valutabile
Dottorato
Dottorato di Ricerca Europeo In Filosofia
(Roma 3) in cotutela con l’Université d’AixSI
Marseille 2
Attività presso qualificati
istituti italiani o stranieri
ricerca nazionali e
internazionali, o
convegni
Attività didattica
Assegno di ricerca (Matematica, Uni.
Cagliari), visitor presso l’Institut des
Mathematiques de Luminy.
3 progetti MIUR e 1 progetto regionale
(come collaboratore)
SI
SI
Revisore di 9 convegni e 1 rivista
internazionale
Non menziona
Ha tenuto lezioni come esercitatore presso
Sapienza. Certifica anche l'attivita' di
“Attache temporaire d’enseignement et de
recherche” presso il Laboratoire
d’Informatique de Paris Nord, Universite de
Paris 13, dal settembre 2008
all'agosto 2011
SI
NO
SI
Pubblicazione
Paolo Di Giamberardino: Jump from parallel to sequential proofs: exponentials. In
attesa di pubblicazione su Mathematical Structures in Computer Science.
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Vicious circles in contracts and in logic. In attesa di Pubblicazione su Science of
Computer Programming.
Paolo Di Giamberardino, Ugo Dal Lago: On Session Types and Polynomial Time.
In attesa di pubblicazione su Mathematical Structures in Computer Science.
Paolo Di Giamberardino, Claudia Faggian: Proof nets sequentialisation in
multiplicative linear logic. In Annals of Pure and Applied Logic, 155:173-182 2008.
Massimo Bartoletti, Paolo Di Giamberardino, Roberto Zunino: Towards a linear
contract logic. In In 14th Italian Conference on Theoretical Computer Science,
Palermo; 2013.
Ugo Dal Lago, Paolo Di Giamberardino: Soft Session Types. In Proceedings 18th
International Workshop on Expressiveness in Concurrency; 2011.
Paolo Di Giamberardino, Claudia Faggian: Jump from Parallel to Sequential Proofs:
Multiplicatives. In Computer Science Logic, 20th International Workshop, CSL
2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25 -29,
2006, Proceedings; 2006.
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino,
Contract agreements via logic, in Proceedings of 6th Interaction and Concurrency
Experience (ICE 2013) , 2013.
Paolo Di Giamberardino, Jump from Parallel to Sequential Proofs : Additives.
Rapport Interne LIPN, 2011, disponibile su http ://hal.archives-ouvertes.fr/hal00616386/fr/.
Valutabile
NO
NO
NO
SI
SI
SI
SI
SI
NO
Il candidato presenta una produzione complessiva pari a N. 1 rivista internazionale e
N. 3 conferenze e workshop internazionali.
CANDIDATO 4: GABRIELE FICI
Titolo
Descrizione
Valutabile
Dottorato
Dottore di Ricerca in Matematica dell’Università
degli Studi di Palermo e Docteur de recherche
SI
en informatique de l’Université de Marne-laVallée (Francia)
RTD di tipo A presso Dip. Matematica, Palermo
Assegno di Ricerca CNRS & Université Nice
SI
Sophia Antipolis, 8 short visists presso istituti
stranieri
4 progetti MIUR e 1 progetto French ANR
(partecipante)
SI
ricerca nazionali e internazionali, o
Attività di curatela, organizzazione Revisore riviste e conferenze internazionali, coconvegni, revisore a conferenze e organizer e organizer di 2 workshops.
SI
convegni
Non menziona
NO
Attività didattica
Ha tenuto lezioni presso Uni. Palermo e SophiaAntinopolis,
non
specifica
il
ruolo
SI
(esercitatore/tutor/docente)
Pubblicazione
Jean-Marc Fédou and Gabriele Fici. Vertical Representation of C∞ -words.
Theoretical Computer Science, 565:90–101, 2015.
Gabriele Fici. On the Structure of Bispecial Sturmian Words. Journal of Computer
and System Sciences, 80(4):711–719, 2014.
Golnaz Badkobeh, Gabriele Fici, Steve Kroon, and Zsuzsanna Lipták. Binary Jumbled
String Matching for Highly Run-Length Compressible Texts. Information
Processing Letters, 113:604–608, 2013.
Gabriele Fici and Luca Q. Zamboni. On the Least Number of Palindromes
Contained in an Infinite Word. Theoretical Computer Science, 481:1–8, 2013.
Valutabile
SI
SI
SI
SI
Michelangelo Bucci, Alessandro De Luca, and Gabriele Fici. Enumeration and
Structure of Trapezoidal Words. Theoretical Computer Science, 468:12–22, 2013.
Péter Burcsi, Ferdinando Cicalese, Gabriele Fici, and Zsuzsanna Lipták. On
Approximate Jumbled Pattern Matching in Strings. Theory of Computing Systems,
50:35–51, 2012.
Jean-Marc Fédou and Gabriele Fici. Automata and Differentiable Words.
Theoretical Computer Science, 443:46–62, 2012.
Péter Burcsi, Ferdinando Cicalese, Gabriele Fici, and Zsuzsanna Lipták.
Algorithms for Jumbled Pattern Matching in Strings. International Journal of
Foundations of Computer Science, 23:357–374, 2012.
Gabriele Fici. Special Factors and the Combinatorics of Suffix and Factor
Automata. Theoretical Computer Science, 412:3604–3615, 2011.
Clelia De Felice, Gabriele Fici, and Rosalba Zizza. A Characterization of Regular
Circular Languages Generated by Marked Splicing Systems. Theoretical Computer
Science, 410:4937–4960, 2009.
Gabriele Fici, Filippo Mignosi, Antonio Restivo, and Marinella Sciortino. Word
Assembly through Minimal Forbidden Words. Theoretical Computer Science,
359:214–230, 2006.
Marie-Pierre Béal, Maxime Crochemore, and Gabriele Fici. Presentations of
Constrained Systems With Unconstrained Positions. IEEE Transactions on
Information Theory, 51:1891–1900, 2005.
ABILITAZIONE SCIENTIFICA NAZIONALE PER IL SETTORE CONCORSUALE
01/B1: valutabile
Il candidato presenta una produzione complessiva pari a N.16 pubblicazioni su riviste
internazionali, n. 19 congressi o workshop internazionali, N. 1 capitolo di libro.
CANDIDATO 5: EMANUELE GUIDO FUSCO
Titolo
Dottorato
Descrizione
Dottorato di Ricerca presso il Dipartimento
di Informatica dell’Università di Roma La
Sapienza
Valutabile
SI
SI
SI
SI
SI
SI
SI
SI
SI
ricerca nazionali e
agli stessi
convegni
Attività didattica
Max Planck Institute Informatik, Université
du Québec en Outaouais”, Assegnista di
Ricerca presso DIAG- dell’Università di
Roma La Sapienza Brevi visite presso
istituti di ricerca internazionali
Non menziona
SI
NO
Non menziona
NO
Non menziona
Attività di seminari e tutoring presso Univ.
Sapienza
NO
SI
Pubblicazione
Emanuele G. Fusco and Andrzej Pelc. Knowledge, level of symmetry, and
time of leader election.Distributed Computing. December 2014. DOI:
10.1007/s00446-014-0237-0.
Emanuele G. Fusco and Andrzej Pelc. Distributed tree comparison with
nodes of limited memory. Networks, 2012. DOI: 0.1002/net.21463.
Emanuele G. Fusco and Andrzej Pelc. How much memory is needed for
leader election. Distributed Computing, volume 24(2), pages 65-78,
October 2011. DOI: 10.1007/s00446- 011-0131-y.
Emanuele G. Fusco and Andrzej Pelc. Trade-offs between the size of
advice and broadcasting time in trees. Algorithmica, volume 60(4), pages
719–734, August 2011. DOI: 10.1007/s00453-009-9361-9.
Tiziana Calamoneri, Andrea E. F. Clementi, Emanuele G. Fusco, and
Riccardo Silvestri. Maximizing the number of broadcast operations in static
random geometric ad-hoc networks. IEEE Transactions on Parallel and
Distributed Systems, volume 22(2), pages 208–216, 2011. DOI:
10.1109/TPDS.2010.77.
Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa
Massini, and Simone Silvestri. Push & Pull: autonomous deployment of
mobile sensors for a complete coverage. Wireless Networks, volume 16(3),
pages: 607– 625, April 2010. ISSN:1022-0038, DOI: 10.1007/ s11276-0080157-7.
Emanuele G. Fusco and Andrzej Pelc. Broadcasting in UDG radio
networks with missing and inaccurate information. Distributed Computing,
volume 22(3), pages 167–183, March 2010. DOI: 10.1007/ s00446-0100093-5.
Saverio Caminiti, Emanuele G. Fusco, and Rossella Petreschi. Bijective
linear time coding and decoding for k-trees. Theory of Computing Systems,
volume 46(2), pages: 284–300, February 2010. ISSN:1432-4350, DOI:
10.1007/s00224-008-9131-0.
Valutabile
SI
SI
SI
SI
SI
SI
SI
SI
Emanuele G. Fusco and Andrzej Pelc. Acknowledged broadcasting in ad
hoc radio networks. Information Processing Letters, volume 109(2), pages
136–141, 2008. DOI: 10.1016/j.ipl.2008.09.011.
Emanuele G. Fusco, Andrzej Pelc, and Rossella Petreschi. Use knowledge
to learn faster: Topology recognition with advice. In proc. of 27th
International Symposium on Distributed Computing (DISC 2013), Volume
8205 of Lecture Notes in Computer Science, pages 31–45. Springer, 2013.
DOI: 10.1007/978-3-642-41527-2_3.
Emanuele G. Fusco, Andrzej Pelc, and Rossella Petreschi. Learning a ring
cheaply and fast. In proc. of 40th International Colloquium on Automata,
Languages and Program- ming (ICALP 2013), Volume 7966 of Lecture
Notes in Computer Science, pages 557–568. Springer, 2013. DOI:
10.1007/978-3-642-39212-2_49.
Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa
Massini, and Simone Silvestri. Snap and spread: A self-deployment
algorithm for mobile sensor networks. In proc. of International Conference
on Distributed Computing in Sensor Systems (DCOSS 2008), volume 5067
of Lecture Notes in Computer Science, pages 451–456. Springer, 2008.
DOI: 10.1007/978-3-540-69170-9_30.
SI
SI
SI
SI
Il candidato presenta una produzione complessiva pari a N. 9 pubblicazioni e 3 lavori su
convegni internazionali (non allega curriculum completo ma dichiara genericamente di essere
autore di 30 articoli internazionali).
CANDIDATO 6: FRANCESCO GULLO
Titolo
Descrizione
Valutabile
Dottorato
Dottorato di Ricerca presso
SI
l’Università di Calabria
Stage presso George Mason
University,
Fairfax VA, USA, assegnista di
SI
ricerca presso Univ. Calabria,
research scientist a Yahoo! Labs,
Barcelona dal 2013.
Partecipazione in un progetto
europeo, due progetti nazionali (in
coordinamento di progetti di ricerca
SI
Italia e Spagna) ed un progetto
nazionali e internazionali, o
industriale
Attività di curatela, organizzazione
convegni, revisore a conferenze e
convegni
Attività didattica
Co-chair di 3 workshop, 10 PC
membership, editore di un volume,
revisore di numerose riviste e
conferenze internazionali.
SIGMOD 2011 Repeatability and
Workability Evaluation (RWE)
Esercitatore e docente a contratto
presso Univ. di Calabria e Catanzaro,
turor di phd anche presso Yahoo!
Labs
SI
SI
SI
Pubblicazione
Valutabile
F. Bonchi, A. Gionis, F. Gullo, C. Tsourakakis, A. Ukkonen. Chromatic Correlation
Clustering. Transactions on Knowledge Discovery from Data (TKDD), 2015
SI
(ACCEPTED, TO APPEAR, DOI: http://dx.doi.org/10.1145/2728170).
F. Gullo, C. Domeniconi, and A. Tagarelli. Metacluster-based Projective Clustering
Ensembles. Machine Learning, 98(1-2):181-216, 2015 (DOI:
SI
http://dx.doi.org/10.1007/s10994-013-5395-y).
F. Gullo, C. Domeniconi, and A. Tagarelli. Projective Clustering Ensembles. Data
Mining and Knowledge Discovery (DAMI), 26(3):452-511, 2013 (DOI:
SI
http://dx.doi.org/10.1007/s10618-012-0266-x).
F. Gullo, and A. Tagarelli. Uncertain Centroid based Partitional Clustering of
Uncertain Data. Proceedings of the VLDB Endowment (PVLDB), 5(7):610-621,
SI
2012.
F. Gullo, G. Ponti, A. Tagarelli, G. Tradigo, and P. Veltri. A Time Series Approach
for Clustering Mass Spectrometry Data. Journal of Computational Science (JOCS),
SI
3(5):344-355, 2012 (DOI: http://dx.doi.org/10.1016/j.jocs.2011.06.008).
S. Greco, F. Gullo, G. Ponti, and A. Tagarelli. Collaborative Clustering of XML
Documents. Journal of Computer and System Sciences (JCSS), 77(6):988-1008,
SI
2011 (DOI: http://dx.doi.org/10.1016/j.jcss.2011.02.005).
F. Gullo, G. Ponti, A. Tagarelli, and S. Greco. A Time Series Representation Model
for Accurate and Fast Similarity Detection. Pattern Recognition, 42(11):2998- 3014,
SI
2009 (DOI: http://dx.doi.org/10.1016/j.patcog.2009.03.030).
F. Bonchi, F. Gullo, A. Kaltenbrunner, and Y. Volkovich. Core Decomposition of
Uncertain Graphs. In Proceedings of the ACM SIGKDD International Conference on
SI
Knowledge Discovery and Data Mining ( KDD ‘14), pp. 1316-1325. New York City,
New York (USA), August 24-27, 2014.
P. Parchas, F. Gullo, D. Papadias, and F. Bonchi. The Pursuit of a Good Pos - sible
World: Extracting Representative Instances of Uncertain Graphs. In Proceedings of
SI
the ACM SIGMOD International Conference on Management of Data (SIGMOD
‘14), pp. 967-978. Snowbird, Utah (USA), June 22-27, 2014.
C. E. Tsourakakis, F. Bonchi, A. Gionis, F. Gullo, and M. A. Tsiarli. Denser than the
densest subgraph: extracting optimal quasi-cliques with quality guarantees. In
Proceedings of the ACM SIGKDD International Conference on Knowledge DiscovSI
ery and Data Mining (KDD ‘13), pp. 104-112. Chicago, Illinois (USA), August 11-14,
2013.
Bonchi, A. Gionis, F. Gullo, and A. Ukkonen. Chromatic Correlation Clustering. In
Proceedings of the ACM SIGKDD International Conference on Knowledge
Discovery and Data Mining (KDD ‘12), pp. 1321-1329. Beijing, China, August 1216, 2012.
F. Gullo, C. Domeniconi, and A. Tagarelli. Advancing Data Clustering via Projective
Clustering Ensembles. In Proceedings of the 2011 ACM SIGMOD International
Conference on Management of Data (SIGMOD ‘11), pp. 733-744.
Il candidato presenta una produzione complessiva pari a N. 11 riviste internazionali e 25
conferenze internazionali, workshop e capitoli di libri.
CANDIDATO 7: MASSIMO LAURIA
Titolo
Descrizione
Valutabile
Dottorato
Dottorato di Ricerca presso il Dipartimento
SI
di Informatica della Sapienza
Assegno di ricerca presso KTH,
Stoccolma; Assegno di ricerca presso
Institute of Mathematics of the Academy
SI
of Sciences, Praga, per 2 anni Assegno di
ricerca presso il Dip. Informatica,
Sapienza
Non menziona
ricerca nazionali e
NO
agli stessi
PC member 1 conferenza 1 workshop,
reviewer di conferenze e riviste
SI
convegni
Non menziona
NO
Attività didattica
Lecturer e co-lecturer di 2 corsi
SI
universitari presso la KTH
SI
SI
Pubblicazione
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria. Parameterized Complexity
of DPLL Search Procedures. ACM Transaction on Computational Logic
14:20:1–20:21 (2013). (Conference version appeared in SAT 2011).
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria. A Characterization of
Tree-Like Resolution Size. Information Processing Letters 113(18): 666–
671 (2013).
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, Alexander A. Razborov.
Parameterized Bounded- depth Frege is not optimal. ACM Transaction on
Computational Theory 4:7:1–7:16 (2012). (Con- ference version appeared
in ICALP 2011).
Nicola Galesi, Massimo Lauria. Optimality of size-degree trade-offs for
Polynomial Calculus.ACM Transaction on Computational Logic 12:4:1–
4:22, November 2010.
Olaf Beyersdorff, Nicola Galesi, Massimo Lauria. A lower bound for the
pigeonhole princi- ple in tree-like Resolution by asymmetric Prover–
Delayer games. Information Processing Letters 110(23): 1074–1077
(2010).
Nicola Galesi, Massimo Lauria. On the Automatizability of Polynomial
Calculus. Theory of Computing Systems (2):491–506, 2010.
Tiziana Calamoneri, Andrea E. F. Clementi, Miriam Di Ianni, Massimo
Lauria, Angelo Monti, Riccardo Silvestri. Minimum energy Broadcast and
Disk Cover in Grid Wireless Networks. The- oretical Computer Science
399(1–2): 38–53, 2008.
Albert Atserias, Massimo Lauria, Jakob Nordstrom. Narrow Proofs May Be
Maximally Long. To appear in Proc. of the IEEE 29th Conference on
Computational Complexity, 2014.
Massimo Lauria. A rank lower bound for cutting planes proofs of Ramsey
Theorem. In Proc. of the 16th International Conference on Theory and
Applications of Satisfiability Testing, 2013: 351–364.
Massimo Lauria, Pavel Pudlak, Vojtech Rodl and Neil Thapen. The
Complexity of Proving that a Graph is Ramsey. In Proc. of the 40th
International Colloquium on Automata, Languages and Programming,
2013: 684–695.
Yuval Filmus, Massimo Lauria, Jakob Nordstrom, Neil Thapen, Noga RonZewi. Space Complexity in Polynomial Calculus. In Proc. of the IEEE 27th
Conference on Computational Complexity, 2012: 334–344.
Lorenzo Carlucci, Nicola Galesi, Massimo Lauria. Paris-Harrington
Tautologies. In Proc. of the IEEE 26th Conference on Computational
Complexity, 2011: 93–103.
Valutabile
SI
SI
SI
SI
SI
SI
SI
SI
SI
SI
SI
SI
internazionali e N. 9 convegni internazionali.
CANDIDATO 8: GUSTAVO MARFIA
Titolo
Descrizione
Valutabile
Dottorato
Dottorato di ricerca presso la University of
SI
California, Los Angeles (USA).
Visiting scholar e research assistant, UCLA
California; assegno di ricerca e RTD A Univ. Di
Bologna; periodi di 1-3 mesi a Microsoft RC UK,
Los Alamos Nat. Labs USA, Siemens Mobile
SI
Communications
ricerca nazionali e internazionali,
o partecipazione agli stessi
revisore a conferenze e convegni
Presenta lettera di segnalazione di Leonard
Kleinrock
Non menziona (cita però progetti aziendali )
SI
Associate Editor di ACM Computers in
Entertainment ed altri journals internazionali; PC
chair o Session Chair di numerosi convegni; PC
member di numerosi di convegni e workshop,
reviewer di numerose riviste
Non menziona
Attività didattica
2 corsi (come docente responsabile) Uni. Bologna
Pubblicazione
D. Rosner, M. Roccetti, G. Marfia, The Digitization of Cultural Practices,
Communications of the ACM, ACM, Vol. 69, n. 6, June 2014
G. Marfia, M. Roccetti, A. Amoroso, G. Pau, Safe Driving in LA: Report
from the Greatest Intervehicular Accident Detection Test Ever, IEEE
Transactions on Vehicular Technology, IEEE Vehicular Technology
Society, Vol. 62, n. 2, February 2013.
M. Roccetti, G. Marfia, A. Semeraro, Playing into the Wild: A Gesturebased Interface for Gaming in Public Spaces, Journal of Visual
Communication and Image Representation, Elsevier, Vol. 23, n. 3, 2012,
pp. 426-440.
G. Marfia, M. Roccetti, A. Amoroso, A New Traffic Congestion Prediction
Model for Advanced Traveler Information and Management Systems,
Wireless Communications and Mobile Computing, Wiley, Vol. 13, n. 3,
2013, pp. 266-276.
Valutabile
SI
SI
SI
SI
SI
NO
SI
I. Leontiadis, G. Marfia, D. Mack, G. Pau, C. Mascolo, M. Gerla, On the
Effectiveness of an Opportunistic Traffic Management System for Vehicular
Networks, IEEE Transactions on Intelligent Trasportation Systems, IEEE
Intelligent Trasportation Systems Society, Vol. 12, n. 4, December 2011,
pp. 1537-1548.
A. Cattaneo, G. Marfia, A. Sentinelli, A. Vitali, L. Celetto, M. Roccetti, M.
Gerla, Using Digital Fountains in Future IPTV Streaming Platforms:a
Future Perspective, IEEE Communications Magazine, IEEE
Communications Society, Vol. 50, n. 5, pp. 202-207, May 2012.
G. Marfia, M. Roccetti, Vehicular Congestion Detection and Short-Term
Forecasting: A New Model with Results, IEEE Transactions on Vehicular
Technology, IEEE Vehicular Technology Society, Vol. 60, n. 7, September
2011, pp. 2936-2948.
A. Amoroso, G. Marfia, M. Roccetti, Going Realistic and Optimal: A
Distributed Multi-Hop Broadcast Algorithm for Vehicular Safety, Computer
Networks, Elsevier, vol. 55, n. 10, July 2011, pp. 2504-2519.
G. Marfia, M. Roccetti, TCP At Last: Reconsidering TCP's Role for
Wireless Entertainment Centers at Home, IEEE Transactions on Consumer
Electronics, IEEE Consumer Electronics Society, vol. 56, n. 4, November
2010, pp. 2233-2240.
T. Massey, G. Marfia, A. Stoelting, R. Tomasi, M. Spirito, M. Sarrafzadeh,
G. Pau, Leveraging Social System Networks in Ubiquitous High Data Rate
Health Systems, IEEE Transactions on Information Technology in
Biomedicine, IEEE Engineering in Medicine and Biology Society, vol. 15, n.
3, May 2011, pp. 491-498.
G. Marfia, C. E. Palazzi, G. Pau, M. Gerla, M. Roccetti, TCP Libra:
Derivation, Analysis and Comparison with Other RTT-Fair TCPs, Computer
Networks, Elsevier, vol. 54, n. 14, October 2010, pp. 2327-2344.
A. Sentinelli, G. Marfia, M. Gerla, L. Kleinrock, S. Tewari, Will IPTV ride the
peer-to-peer stream?, IEEE Communications Magazine, IEEE
Communications Society, vol. 45, n. 6, June 2007, pp. 86-92.
SI
SI
SI
SI
SI
SI
SI
SI
01/B1: valutabile
internazionali, N. 60 convegni e workshop internazionali e 1 brevetto, inoltre è autore di 9
prodotti software.
CANDIDATO 9: FEDERICO MARI
Titolo
Descrizione
Valutabile
Dottorato
Dottorato di Ricerca presso il
SI
Dipartimento di Informatca, Sapienza.
Visiting PhD student University of
Texas at Austin, USA; assegno di
ricerca e RTD di tipo A presso il
SI
Dipartimento di Informatica della
Sapienza
Ha collaborato a 5 progetti Europei.
SI
Non menziona
NO
convegni
Best paper award at ICSEA 2011
SI
Attività didattica
Docente di un corso presso Dip.
Informatica Sapienza, esercitatore di
SI
altri corsi.
Pubblicazione
Flavio Chierichetti, Silvio Lattanzi, Federico Mari, and Alessandro Panconesi.
On placing skips optimally in expectation. In M. Najork, A.Z. Broder, and S.
Chakrabarti, editors, Web Search and Web Data Mining (WSDM 2008),
pages 15–24. Acm, 2008.
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi,
Allen Clement, and Harry Li. Model checking Nash equilibria in MAD
distributed systems. In A. Cimatti and R. Jones, editors, FMCAD08:
Proceedings of the 2008 International Conference on Formal Methods in
Computer-Aided Design, pp.1–8, USA, 2008. IEEE Press.
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi,
Allen Clement, and Harry Li. Model checking coalition Nash equilibria in
MAD distributed systems. In R. Guerraoui and F. Petit, editors,
Stabilization, Safety, and Security of Distributed Systems, 11th
International Symposium, SSS 2009, Lyon, France, November 3-6, 2009,
proceedings, volume 5873 of Lecture Notes in Computer Science, pages
531–546. Springer, 2009.
Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. Synthesis of
quantized feedback control software for discrete time linear hybrid
systems. In T. Touili, B. Cook, and P. Jackson, editors, Computer Aided
Verification, Edinburgh, UK, July 15-19, 2010, proceedings, volume 6174
of Lecture Notes in Computer Science, pages 180–195. Springer Berlin /
Heidelberg, 2010.
Valutabile
SI
SI
SI
SI
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini,
Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico
Tronci, Roberta Terruggia, and Emilio Zendri. Risk analysis via
heterogeneous models of scada interconnecting power grids and telco
networks. In Proceedings of Fourth International Conference on Risks and
Security of Internet and Systems (CRiSIS), pages 90–97, 2009.
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, and Enrico
Tronci. On model based synthesis of embedded control software. In
Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, and John Regehr,
editors, Proceedings of the 12th International Conference on Embedded
Software, EMSOFT 2012, part of the Eighth Embedded Systems Week,
ESWeek 2012, Tampere, Finland, October 7-12, 2012, pages 227–236.
ACM, 2012.
Tronci. Automatic control software synthesis for quantized discrete time
hybrid systems. In Proceedings of the 51th IEEE Conference on Decision
and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA, pages
6120–6125. IEEE, 2012.
Tronci. A map-reduce parallel approach to automatic synthesis of control
software. In Proc. of International SPIN Symposium on Model Checking of
Software (SPIN 2013), Stony Brook, NY, USA, July 8-9, 2013, volume
7976 of Lecture Notes in Computer Science, pages 43–60. SpringerVerlag, 2013.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and
Enrico Tronci. System level formal verification via model checking driven
simulation. In Proceedings of the 25th International Conference on Computer
Aided Verification. July 13–19, 2013, Saint Petersburg, Russia, volume 8044
of Lecture Notes in Computer Science, pages 296–312. Springer - Verlag,
2013.
Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. Model based
synthesis of control software from system level formal specifications. ACM
TRANSACTIONS ON SOFTWARE ENGINEERING AND
METHODOLOGY, 23(1):Article 6, 2014. I.F.=1.548 (JCR IF list 2013).
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, and Enrico
Tronci. System level formal verification via distributed multi-core hardware
in the loop simulation. In Proc. of the 22nd Euromicro International
Conference on Parallel, Distributed and Network-Based Computing, PDP
2014, Torino, Italy, February 12-14. IEEE Computer Society, 2014.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, and Enrico
Tronci. Sylvaas: System level formal verification as a service. In
Proceedings of the 23rd Euromicro International Conference on Parallel,
distributed and network-based Processing (PDP 2015), special session on
Formal Approaches to Parallel and Distributed Systems (4PAD), 2015.
SI
SI
SI
SI
SI
SI
SI
SI
Il candidato presenta una produzione complessiva pari a N. 1 pubblicazione su riviste
internazionali e N. 12 pubblicazioni su congressi internazionali (non presenta elenco completo
delle pubblicazioni ma dichiara genericamente di essere autore di 37 articoli internazionali).
CANDIDATO 10: FRANCESCO PASQUALE
Titolo
Descrizione
Valutabile
Dottorato
Dottorato
di
Ricerca
“Informatica
e SI
Applicazioni” presso l’Università dell’Aquila.
Attività presso qualificati Assegno di Ricerca Univ. Salerno, Sapienza e SI
Tor Vergata; Collaboratore di Ricerca Univ. Tor
Vergata; shot-term visitor Ben Gurion
University, Univ. Paris Didétot
Collaboratore in 2 progetti MIUR-PRIN, e due SI
Organizzazione, direzione e progetti europei.
ricerca nazionali e
internazionali, o
Attività
di
curatela, Reviewer e referee di alcune riviste e SI
organizzazione
convegni, conferenze internazionali
convegni
Best Poster Award at TCPP PhD Forum 2009 SI
IPDPS
Attività didattica
Esercitatore di corsi universitari a Salerno, SI
Sapienza, Tor Vergata
Pubblicazione
Andrea E.F. Clementi, Angelo Monti, Francesco Pasquale, and Riccardo
Silvestri, Broadcasting in Dynamic Radio Networks, Journal of Computer
and System Sciences, 75(4):213-230, 2009.
Andrea E.F. Clementi, Claudio Macci, Angelo Monti, Francesco Pasquale,
and Riccardo Silvestri Flooding Time of Edge-Markovian Evolving Graphs,
SIAM Journal on Discrete Mathematics, 24(4):1694-1712, 2010.
Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Paolo Penna,
and Giuseppe Persiano, Convergence to Equilibrium of Logit Dynamics
for Strategic Games, In Proc. of the 23rd ACM Symp. on Parallelism in
Algorithms and Architectures (SPAA'11), pp. 197-206. ACM, 2011.
Valutabile
SI
SI
SI
Silvestri, Information Spreading in Stationary Markovian Evolving Graphs,
IEEE Transactions on Parallel and Distributed Systems, 22(9):1425-1432,
2011.
Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, and Giuseppe
Persiano, Metastability of Logit Dynamics for Coordination Games, In
Proc. of the ACM-SIAM Symp. on Discrete Algorithms (SODA'12), pp.
1006-1024. SIAM, 2012.
Silvestri, Optimal gossiping in geometric radio networks in the presence of
dynamical faults, Networks, 59(3):289-298, 2012.
Chen Avin, Zvi Lotker, Francesco Pasquale, Yvonne-Anne Pignolet
A note on uniform power connectivity in the physical signal to interference
plus noise (SINR) model, Theoretical Computer Science, 453:2-13, 2012.
Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, and Giuseppe
Persiano, Mixing Time and Stationary Expected Social Welfare of Logit
Dynamics, Theory of Computing Systems, 53(1):3-40, 2013.
Andrea Clementi, Francesco Pasquale, and Riccardo Silvestri,
Opportunistic MANETs: Mobility Can Make Up for Low Transmission
Power, IEEE/ACM Transactions on Networking, 21(2):610-620, 2013.
Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale,
Riccardo Silvestri, and Luca Trevisan, Simple Dynamics for Plurality
Consensus, In Proc. of the 26th ACM Symp. on Parallelism in Algorithms
and Architectures (SPAA'14), pp. 247-256. ACM, 2014.
Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Paolo Penna,
and Giuseppe Persiano, Logit Dynamics with Concurrent Updates for
Local Interaction Potential Games, Algorithmica, 2014.
Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale,
and Riccardo Silvestri, Plurality Consensus in the Gossip Model, In Proc.
of the ACM-SIAM Symp. on Discrete Algorithms (SODA'15), pp. 371-390.
SIAM, 2015.
SI
SI
SI
SI
SI
SI
SI
SI
SI
Il candidato presenta una produzione complessiva pari a N. 8 pubblicazioni su rivista
internazionale e N. 4 su convegni internazionali (non presenta elenco completo delle
pubblicazioni, ma menziona genericamente di essere autore di 22 pubblicazioni
internazionali).
CANDIDATO 11: FABRIZIO SILVESTRI
Titolo
Descrizione
Valutabile
Dottorato di Ricerca in Informatica presso l’
Dottorato
SI
Univ. di Pisa
Assegno di Ricerca e ricercatore a ISTI-CNR
Attività presso qualificati
(Pisa); Visiting scholar e Senior Researcher SI
presso Yahoo! Labs, Barcelona
coordinamento di progetti di Activity leader di una Network of Excellence
ricerca nazionali e
(FP7); partecipante in 5 FP6 e FP7, e 6 progetti SI
internazionali, o
nazionali e regionali
Attività
di
curatela,
10 invited presentations; organizing committee
organizzazione
convegni,
di numerose conferenze; PC member e PC SI
chair di numerose conferenze;
convegni
3 Best paper Awards, vari research awards a
SI
Yahoo!, vari brevetti
Esercitatore di 1 corso e docente di 3 corsi
Attività didattica
presso l’Univ. di Pisa, advisor di numerosi SI
studenti PhD e M. Sc
Pubblicazione
Giacomo Berardi, Andrea Esuli, Fabrizio Sebastiani, Fabrizio Silvestri:
Endorsements and rebuttals in blog distillation. Inf. Sci. 249: 38-47 (2013).
Roi Blanco, Gianmarco De Francisci Morales, Fabrizio Silvestri: IntoNews:
Online news retrieval using closed captions. Inf. Process. Manage. 51(1):
148-162 (2015).
Claudio Lucchese, Salvatore Orlando, Raffaele Perego, Fabrizio Silvestri,
Gabriele Tolomei, Discovering tasks from search engine query logs. ACM
Trans. Inf. Syst. 31(3): 14 (2013).
Daniele Broccolo, Lorenzo Marcon, Franco Maria Nardini, Raffaele
Perego, Fabrizio Silvestri, Generating suggestions for queries in the long
tail with an inverted index. Inf. Process. Manage. 48(2): 326-339 (2012).
Gabriele Capannini, Fabrizio Silvestri, Ranieri Baraglia, Sorting on GPUs
for large scale datasets: A thorough comparison. Inf. Process. Manage.
48(5): 903-917 (2012).
Valutabile
SI
SI
SI
SI
SI
Gabriele Capannini, Franco Maria Nardini, Raffaele Perego, Fabrizio
Silvestri, Efficient Diversification of Web Search Results. PVLDB 4(7):
451-459 (2011).
Diego Puppin, Fabrizio Silvestri, Raffaele Perego, Ricardo A. BaezaYates, Tuning the capacity of search engines: Load-driven routing and
incremental caching to reduce and balance the load. ACM Trans. Inf. Syst.
28(2) (2010).
Fabrizio Silvestri, Mining Query Logs: Turning Search Usage Data into
Knowledge. Foundations and Trends in Information Retrieval 4(1-2): 1174 (2010).
Ricardo A. Baeza-Yates, Aristides Gionis, Flavio Junqueira, Vanessa
Murdock, Vassilis Plachouras, Fabrizio Silvestri, Design trade-offs for
search engine caching. TWEB 2(4) (2008).
Ranieri Baraglia, Fabrizio Silvestri, Dynamic personalization of web sites
without user intervention. Commun. ACM 50(2): 63-67 (2007).
Tiziano Fagni, Raffaele Perego, Fabrizio Silvestri, Salvatore Orlando,
Boosting the performance of Web search engines: Caching and
prefetching query results by exploiting historical usage data. ACM Trans.
Inf. Syst. 24(1): 51-78 (2006).
Fabrizio Silvestri, Diego Puppin, Domenico Laforenza, Salvatore Orlando,
Toward a search architecture for software components. Concurrency and
Computation: Practice and Experience 18(10): 1317-1331 (2006).
SI
SI
SI
SI
SI
SI
SI
01/B1: valutabile
Il candidato presenta una produzione complessiva pari a N. 14 pubblicazioni su
riviste internazionali N. 77 convegni e workshop internazionali N. 9 capitoli di libri internazionali
CANDIDATO 12: FRANCESCO SILVESTRI
Titolo
Descrizione
Valutabile
Dottorato
Dottorato di Ricerca in Ingegneria
Informatica presso l’Università di
SI
Padova.
Attività presso qualificati istituti italiani o
stranieri
convegni
Attività didattica
Assegno di Ricerca IT Univ. Of
Copenhagen, Assegno di Ricerca
presso l’Univ. di Padova, short visit
presso Aaehus University e Univ.
of Texas Austin
Task leader MIUR-PRIN, principal
investigator Amazon Web Services
in Education research (2011 e
2013), ha collaborato a diversi
progetti nazionali ed internazionali
PC member e organizing committee
in convegni e workshop, revisore di
diverse riviste e conferenze, alcune
invited presentations
Best Paper Award 24th IEEE Int.
Symp. Parallel & Distributed
Processing
Docente di un corso a IT
Copenhagen, esercitatore di vari
corsi Copenhagen e Padova
Pubblicazione
Pietracaprina, G. Pucci, F. Silvestri, F. Vandin. Space-Efficient Parallel
Algorithms for Combinatorial Search Problems. Special issue of Journal of
Parallel and Distributed Computing on irregular computations, 2015
R. A. Chowdhury, V. Ramachandran, F. Silvestri, B. Blakeley. Oblivious
Algorithms for Multicores and Networks of Processors. Special Issue of
Journal of Parallel and Distributed Computing dedicated to selected
IPDPS'10 papers, Volume 73, Issue 7, Pages 911-925, July 2013.
S. Nasso, F. Silvestri, F. Tisiot, B. Di Camillo, A. Pietracaprina, G. M. Toffolo.
An Optimized Data Structure for High Throughput 3D Proteomics Data:
mzRTree. Journal of Proteomics, Volume 73, Issue 6, Pages 1043-1282,
April 2010.
F. Silvestri. On the Limits of Cache-Oblivious Rational Permutations, Special
Issue of Theoretical Computer Science for selected TGC'06 papers, Volume
402, Issues 2-3, Pages 221-233, August 2008.
M. Ceccarello and F. Silvestri. Experimental Evaluation of Multi-Round
Matrix Multiplication on MapReduce, Proc. of 17th SIAM Meeting on
Algorithm Engineering & Experiments (ALENEX), pages 119-132, San Diego
(CA), USA, 2015.
H.M. Park, F. Silvestri, U Kang, and R. Pagh. MapReduce Triangle
Enumeration With Guarantees. Proc. of 23rd ACM International Conference
on Information and Knowledge Management (CIKM), pages 1739-1748,
Shangai, China, 2014.
SI
SI
SI
SI
SI
Valutabile
SI
SI
SI
SI
SI
SI
R. Pagh, F. Silvestri. The Input/Output Complexity of Triangle Enumeration.
Proc. of 33rd ACM Symposium on Principles of Database Systems (PODS),
pages 224-233, Snowbird (UT), USA, 2014.
M. Scquizzato and F. Silvestri. Communication Lower Bounds for DistributedMemory Computations. Proc. of 31st Symposium on Theoretical Aspects of
Computer Science (STACS), LIPIcs 25, pages 627-638, 2014.
G. Bilardi, M. Scquizzato, and F. Silvestri. A lower bound technique for
communication on BSP with application to the FFT. Proc. of 18th
International Conference Euro-Par (EURO-PAR), LNCS 7484, pages 676687, 2012.
Pietracaprina, G. Pucci, M. Riondato, F. Silvestri, and E. Upfal. Space-Round
Tradeoffs for MapReduce Computations. Proc. of 26th ACM International
Conference on Supercomputing (ICS), pages 235-244, Venice, Italy, 2012.
S. Caminiti, I. Finocchi, E.G. Fusco, and F. Silvestri. Dynamic programming
in faulty memory hierarchies (cache-obliviously). Proc. of 31st Conference on
Foundations of Software Technology and Theoretical Computer Science
(FSTTCS), LIPIcs 13, pages 433-444, Mumbai, India, 2011.
G. Bilardi, A. Pietracaprina, G. Pucci, and F. Silvestri. Network-Oblivious
Algorithms. In Proc. of the 21st IEEE International Parallel and Distributed
Processing Symposium (IPDPS), pages 1-10, Long Beach, California, USA,
March 2007.
SI
SI
SI
SI
SI
SI
Il candidato indica una produzione complessiva pari a N. 5 pubblicazioni su riviste
internazionali, N. 16 pubblicazioni su convegni internazionali
CANDIDATO 13: BLERINA SINAIMERI
Titolo
Descrizione
valutabile
Dottorato
Dottorato di Ricerca presso l’Università di si
Roma “La Sapienza”
Attività presso qualificati Assegno di Ricerca Dip. Informatica, si
Sapienza
Assegno di Ricerca INRIA
Grénoble
Organizzazione, direzione
e coordinamento di progetti
di ricerca nazionali e
internazionali, o
Partecipante ad 1 progetto di Ateneo e ad 1 si
ERC Starting Grant
Attività
di
curatela, Program chair di 1 workshop, reviewer di si
organizzazione convegni, diversi convegni ed conferenze
convegni
1 nazionale, 1 locale (best PhD student si
Premi per attività di ricerca paper, Dip. Informatica, Sapienza)
Attività didattica
“Co-professor “ (8 ore) presso l’ Institut
si
National des Sciences Appliqués (INSA),
Lyon; esercitatore di corsi universitari
presso il Dip. Informatica, Sapienza,
supervisore di PhD e laureandi
Pubblicazione
C. Baudet, B.Donati, B. Sinaimeri, P. Crescenzi, C. Gautier, C.
Matias and M. -F. Sagot, Cophylogeny Reconstruction via an
Approximate Bayesian Computation, Systematic Biology 2015,
available online doi: 10.1093/sysbio/syu129
B. Donati, C. Baudet, B. Sinaimeri, P. Crescenzi and M-F. Sagot,
EUCALYPT: Efficient tree reconciliation enumerator, Algorithms for
Molecular Biology, 10(3), 2015.
G. Sacomoto, B. Sinaimeri, C. Marchet, V. Miele, M-F. Sagot and V.
Lacroix, Navigating in a sea of repeats in RNA-seq without drowning,
WABI 2014, 14th Workshop on Algorithms in Bioinformatics, LNCS
vol.8701, 82–96, Wroclaw, Poland 2014.
T. Calamoneri, A. Frangioni and B. Sinaimeri, Pairwise Compatibility
Graphs of Caterpillars, The Computer Journal 57(11), 1616–1623, 2014.
T. Calamoneri, E. Montefusco, R. Petreschi and B. Sinaimeri, Exploring
Pairwise Compatibility graphs, Theoretical Computer Science 468: 23–36,
2013.
valutabile
Si
Si
Si
Si
Si
T. Calamoneri and B. Sinaimeri, L(2,1)-labeling of oriented planar graphs,
Discrete Applied Mathematics 161(12): 1719–1725, 2013.
Si
T. Calamoneri, D. Frascaria and B. Sinaimeri, All graphs with at most
seven vertices are Pairwise Compatibility Graphs, The Computer Journal
56(7): 882–886, 2013.
Si
T. Calamoneri, R. Petreschi and B. Sinaimeri, On relaxing the constraints Si
in Pairwise Compatibility graphs, WALCOM 2012, In: Md. S. Rahman and
S.-i. Nakano (Eds.), LNCS vol. 7157,124–135, Springer, Berlin (2012).
A Monti and B. Sinaimeri, Rainbow Graph Splitting, Theoretical
Computer Science 412(39): 5315-5324, 2011.
si
Z. Fűredi, I. Kantor, A. Monti and B. Sinaimeri, On Reverse-Free Codes
and Permutations, SIAM Journal on Discrete Mathematics 24(3): 964–
978, 2010.
Si
J. Korner, G. Simonyi and B. Sinaimeri, On types of growth for graphdifferent permutations, Journal of Combinatorial Theory Series A 116:
713–723, 2009.
Si
J. Korner, B. Sinaimer, On cancellative set families, Combinatorics,
Probability and Computing, 16(4): 767-773, 2007.
Si
riviste internazionali N. 5 workshop e convegni internazionali ed inoltre alcune pubblicazioni
nazionali e poster (non presenta elenco completo delle pubblicazioni).
CANDIDATO 14: DORA SPENZA
Titolo
Descrizione
valutabile
Dottorato
Dottorato di Ricerca in Informatica presso si
l’Università di Roma “La Sapienza”
Attività presso qualificati Assegno di Ricerca Dip. Informatica, Sapienza, si
short visits presso la Penn State Univ. e presso
Sandia National Lab (Albuquerque, NM)
Collaboratore di 3 progetti Europei, 1 progetto si
Organizzazione, direzione e nazionale
ricerca nazionali e
internazionali, o
Attività
di
curatela,
organizzazione
convegni,
convegni
Attività didattica
Membro di 3 organizing committees, e PC si
member di alcune conferenze internazionali,
revisore di diverse riviste e conferenze
internazionali
N2Women Young Researcher Fellowships per si
IEEE INFOCOM 2015, 2010 GOOGLE
European Doctoral Fellowship in Wireless
Networking, Best student poster a IEEE
INFOCOM 2013
Esercitatore in corsi universitari presso Dip. si
Informatica, Sapienza
Pubblicazione
T. L. Porta, C. Petrioli, C. Phillips, and D. Spenza, “Sensor mission
assignment in rechargeable wireless sensor networks,” ACM
Transactions on Sensor Networks, vol. 10, no. 4, pp. 60:1–60:39, Jun.
2014. Impact Factor: 1.463
D. Porcarelli, D. Spenza, D. Brunelli, A. Cammarano, C. Petrioli, and L.
Benini, “Adaptive rectifier driven by power intake predictors for energy
harvesting sensor networks,” IEEE Journal of Emerging and Selected
Topics in Power Electronics, 2014.
valutabile
Si
Si
G. Bianchi, A. T. Capossele, C. Petrioli, and D. Spenza, “AGREE:
exploiting energy harvesting to support data-centric access control in
WSNs,” Elsevier Ad Hoc Networks, vol. 11, no. 8, pp. 2625 – 2636,
2013. Impact Factor: 1.943
Si
S. Basagni, M. Y. Naderi, C. Petrioli, and D. Spenza, “Wireless Sensor
Networks with Energy Harvesting,”in Mobile Ad Hoc Networking: The
Cutting Edge Directions, ser. IEEE Series on Digital and Mobile
Communication. Hoboken, NJ: John Wiley and Sons, Inc., March 2013,
ch. 20, pp. 701–736.
Si
D. Spenza, M. Magno, S. Basagni, L. Benini, M. Paoli, and C. Petrioli,
“Beyond Duty Cycling: Wake-up Radio with Selective Awakenings for
Long-lived Wireless Sensing Systems,” in Proceedings of IEEE
INFOCOM 2015 (to appear), Apr 2015. Acceptance Rate: 19%
Si
C. Petrioli, D. Spenza, P. Tommasino, and A. Trifiletti, “A Novel wake-up
Receiver with Addressing Capability for Wireless Sensor Nodes,” in
Proceedings of IEEE DCoSS 2014, Marina Del Rey, USA, May 26-28
2014.
Si
D. Benedetti, C. Petrioli, and D. Spenza, “GreenCastalia: An Energyharvesting-enabled Framework for the Castalia Simulator,” in
Proceedings of ACM ENSSys 2013. New York, NY, USA: ACM, 2013,
pp. 7:1–7:6.
SI
A. A Cammarano, D. Spenza, and C. Petrioli, “Energy-harvesting WSNs for
structural health monitoring of underground train tunnels,” in Proceedings
of IEEE INFOCOM WKSHPS 2013, Torino, Italy, April, 14-19 2013, pp.
9–10, Best Student Poster Award. Acceptance Rate: 14%
Si
A Cammarano, C. Petrioli, and D. Spenza, “Improving Energy
Predictions in EH-WSNs with Pro-Energy-VLT,” in Proceedings of ACM
SenSys 2013, Poster Session. New York, NY, USA: ACM, 2013, pp.
41:1–41:2
A Cammarano, C. Petrioli, and D. Spenza, “Pro-Energy: a novel energy
prediction model for solar and wind energy harvesting WSNs,” in
Proceedings of IEEE MASS 2012, Las Vegas, Nevada, October 8-11
2012, pp. 75–83.
Si
T. La Porta, C. Petrioli, and D. Spenza, “Sensor-mission assignment in
wireless sensor networks with energy harvesting,” in Proceedings of
IEEE SECON 2011, Salt Lake City, UT, June 27-30, 2011, pp. 413–421.
si
si
internazionali N. 7 convegni o workshop internazionali ed 1 capitolo di libro.
CANDIDATO 15: ANGELO SPOGNARDI
VERIFICA TITOLI VALUTABILI : presa d’atto dei titoli – es. dottorato, specializzazione, attività
didattica, etc – per i quali sia stata presentata idonea documentazione ai sensi dell’art. 4 del
bando
Titolo
Descrizione
valutabile
Dottorato
l’Università di Roma “La Sapienza”
Attività presso qualificati Assegno di Ricerca IIT-CNR Pisa, INRIA si
Rhône-Alpes, e Dip. Informatica, Sapienza,
short visit presso University of California Irvine
Non menziona
no
ricerca nazionali e
internazionali, o
Attività
di
curatela, Non menziona
no
organizzazione
convegni,
convegni
Non menziona
no
Attività didattica
Esercitatore in corsi universitari presso Dip. si
Informatica, Sapienza, Roma 3, Univ. Del
Molise e IMT di Lucca
Pubblicazione
Large-Scale Traffic Anomaly Detection: Analysis of Real Netflow Datasets,
with D. Vitali, A.Villani, R. Battistoni and L. V. Mancini. In Springer E-Business
and Telecommunications: Communications in Computer and Information
Science, Volume 455, 2014, pp 192-208. ISSN:18650929
Clone Wars: Clone wars: Distributed detection of clone attacks in mobile
WSNs, with M. Conti, R. Di Pietro. In Elsevier Journal of Computer and
System Sciences, vol. 80, issue 3, April 2013. ISSN:00220000
Intrusion-resilient Integrity in Data-Centric Unattended WSNs, with R. Di
Pietro, C. Soriente, G. Tsudik. In Elsevier Pervasive and Mobile Computing.
Volume 7, Issue 4, August 2011. ISSN:15741192
Who counterfeited my Viagra? (Probabilistic item removal detection via RFID
tag cooperation), with M. Conti, R. Di Pietro. In EURASIP Journal on
Wireless Communications and Networking, special issue in Security and
Resilience for Smart Devices and Applications. Volume 2011.
ISSN:16871472
Enforcing Privacy and Security in RFID, with M. Conti, R. Di Pietro, L. V.
Mancini. In Wiley-Blackwell Security and Communication Networks Journal.
Voume 3, Issue 1, January/February 2010. ISSN:20760930
Playing Hide-and-Seek with a Focused Mobile Adversary in Unattended
Wireless Sensor Networks, with R. Di Pietro, L. V. Mancini, C. Soriente, G.
Tsudik. In Elsevier Journal Ad-Hoc Networks. Volume 7, Issue 8, November
2009. ISSN:15519899
Data Security in Unattended Sensor Networks, with R. Di Pietro, L. V.
Mancini, C. Soriente, G. Tsudik. In IEEE Transactions on Computers, Special
Issue on Autonomic Network Computing. Volume 58, Issue 11, November
2009. ISSN:00189340
valutabile
Si
si
Si
Si
si
Si
si
Collaborative Authentication in Unattended Sensor Networks, with R. Di
Pietro, C. Soriente, G. Tsudik. ACM Conference on Wireless Network
Security (ACM WiSec'09). March 2009. Zurich, Swiss.
Catch Me (If You Can): Data Survival in Unattended Sensor Networks, with
R. Di Pietro, L. V. Mancini, C. Soriente, G. Tsudik. IEEE International
Conference on Pervasive Computing and Communications (IEEE
PerCom'08). March 2008. Hong Kong, China.
A Robust Key Pre-distribution Protocol for Multi-Phase Wireless Sensor
Networks, with C. Castelluccia. 3rd International Conference on Security and
Privacy in Communication Networks (IEEE SecureComm '07). September
2007. Nice, France.
An RFID Identification, Privacy Preserving protocol with Forward Secrecy,
with M. Conti, R. Di Pietro, L. V. Mancini. 4th IEEE International Workshop on
Pervasive Computing and Communication Security (IEEE PerSec '07 PerCom '07). March 2007. New York, USA.
A methodology for P2P file-sharing traffic detection, with A. Lucarelli, R. Di
Pietro. 2nd International Workshop on Hot Topics in Peer-to-Peer Systems
(IEEE Hot-P2P '05). July 2005. San Diego, California, USA.
si
si
si
si
si
internazionali e N. 5 pubblicazioni su conferenze e workshop internazionali. Dichiara di
essere autore di 8 pubblicazioni su rivista e 16 conferenze (ma non presenta elenco completo
delle pubblicazioni).
CANDIDATO 16: JULINDA STEFA
Titolo
Descrizione
valutabile
Dottorato
l’Università di Roma “La Sapienza”.
Attività presso qualificati Assegno di Ricerca Dip. Informatica, Sapienza si
short visits presso MICROSOFT Research,
UNC-Chapel Hill, GOOGLE, Engineering
Intern, Zürich
ricerca nazionali e
internazionali, o
Activity leader 1 FP 7, partecipante a diversi si
progetti Europei e nazionali, destinatario di
fondi di Ateneo e principal investigator di un
progetto finanziato Telecom (Working Capital)
Attività
di
curatela, Co-chair e TCP member di diversi convegni, si
organizzazione
convegni, revisore di numerose riviste e conferenze
convegni
Alcuni premi interni Sapienza, Best IEEE si
SECON 2013 demo award, Best IEEE
INFOCOM 2013 demo award, Working
Capital–Premio Nazionale Innovazione 2011,
Telecom Italia
Attività didattica
Esercitatore di corsi universitari presso il Dip.
si
Informatica, Sapienza, docente Scuola
Superiore dell’Amministrazione
dell’Interno, supervisione dottorandi e studenti
Pubblicazione
A. Mei and J. Stefa. SWIM: A Simple Model to Generate Small Mobile Worlds.
In IEEE INFOCOM 09: Proceedings of the 28th IEEE Conference on
Computer Communications, 2009.
valutabile
Si
A. Mei, G. Morabito, P. Santi, and J. Stefa. Social-Aware Stateless Routing
in Pocket Switched Networks. IEEE Transactions on Parallel and Distributed
Systems, 26(1), 2015.
Si
M. V. Barbera, S. Kosta, A. Mei, and J. Stefa. To Offload or Not to Offload?
The Bandwidth and Energy Costs of Mobile Cloud Computing. In IEEE
INFOCOM ’13: Proceedings of the 32th IEEE Conference on Computer
Communications, 2013.
Si
A. Mei and J. Stefa. Routing in Outer Space: Fair Traffic Load in MultiHop Wireless Networks. IEEE Transactions on Computers, 58(6), 2009.
Si
A. Mei and J. Stefa. Give2Get: Forwarding in Social Mobile Wireless
Networks of Selfish Individuals. IEEE Transactions on Dependable and
Secure Computing, 9(4), 2012.
Si
S. Kosta, A. Mei, and J. Stefa. Large–Scale Synthetic Social Mobile Networks
with SWIM. IEEE Transactions on Mobile Computing, 13(1), 2014.
Si
M. V. Barbera, J. Stefa, A. C Viana, and M. D. De Amorim. Data Offloading in
Social Mobile Networks Through VIP Delegation. Elsevier Ad-Hoc Networks,
19, 2014.
Si
S. Kosta, C.V. Perta, J. Stefa, P. Hui, and A. Mei. Clone2Clone (C2C):
Peer-to-Peer Networking of Smartphones on the Cloud. In USENIX
HOTCLOUD ’13: Proceedings of the 5th USENIX Workshop on Hot Topics in
Cloud Computing, 2013.
Si
M. V. Barbera, S. Kosta, A. Mei, V. C. Perta, and J. Stefa. Mobile Offloading
in the Wild: Findings and Lessons Learned Through a Real-life Experiment
with a New Cloud-aware System. In IEEE INFOCOM ’14: Proceedings of the
33rd IEEE Conference on Computer Communications, 2014.
Si
M. V. Barbera, S. Kosta, J. Stefa, P. Hui, and A. Mei. CloudShield: Efficient
Anti-Malware Smartphone Patching with a P2P Network on the Cloud. In IEEE
P2P ’12: Proceedings of the IEEE International Conference on Peer-to-Peer
Computing, 2012.
Si
C. A. Ardagna, M. Conti, M. Leone, and J. Stefa. An Anonymous End-to-End
Communication Protocol for Mobile Cloud Environments. IEEE Transactions
on Services Computing, 7(3), 2014.
Si
M. V. Barbera, A. Epasto, A. Mei, V. C. Perta, and J. Stefa. Signals
from the Crowd: Uncovering Social Relationships through Smartphone
Probes. In ACM/USENIX IMC ’13: Proceedings of the 2013 ACM/USENIX
Internet Measurement Conference, 2013.
Si
internazionali, N. 21 conferenze e workshop internazionali N. 3 capitoli di libri internazionali.
CANDIDATO 17: DANIELE VENTURI
Titolo
Descrizione
valutabile
Dottorato
Dottorato in Ingegneria dell'Informazione e della si
Comunicazione Univ. la Sapienza
Attività presso qualificati Assegno di Ricerca presso Aarhus Univ. e Univ. si
Sapienza, short visit presso CWI Amsterdam,
TU Darmstadt
ricerca nazionali e
internazionali, o
Partecipazione a 3 progetti europei
nazionale (Danimarca)
e 1 si
Attività
di
curatela, Non menziona
no
organizzazione
convegni,
convegni
Best paper award Eurocrypt 2011
si
Attività didattica
Esercitatore e guest lectures DIET e DI, si
Sapienza
Pubblicazione
Francesco Davi, Stefan Dziembowski, and Daniele Venturi. LeakageResilient Storage. Proceedings of the 7th International Conference on
Security and Cryptography for Networks (SCN 2010), 121-137, Lecture
Notes in Computer Science 6280.
.
Eike Kiltz, Krzysztof Pietrzak, David Cash, Abishek Jain, and Daniele
Venturi. Efficient Authentication from Hard Learning Problems.
Proceedings of the 30th Annual International Conference on the Theory
and Applications of Cryptographic Techniques (Eurocrypt 2011), 7-26,
Lecture Notes in Computer Science 6632.
valutabile
Si
Si
Sebastian Faust, Krzysztof Pietrzak, and Daniele Venturi. Tamper-Proof
Si
Circuits: How to Trade Leakage for Tamper-Resilience. Proceedings of
the 38th International Colloquium on Automata, Languages and
Programming (ICALP 2011), 391-402, Lecture Notes in Computer Science
6755.
Sebastian Faust, Markulf Kohweiss, Giorgia Azzurra Marson, and
Daniele Venturi. On the Non-malleability of the Fiat-Shamir Transform.
Proceedings of the 13th International Conference on Cryptology in
India (lndocrypt 2012), 60-79, Lecture Notes in Computer Science
7668.
Si
Bzgur Dagdelen, Payman Mohassel, and Daniele Venturi. Rate-Limited
Secure Function Evaluation . Proceedings of the 16th International
Conference on Practice and Theory in Public-Key Cryptography (PKC
2013), 461-478, Lecture Notes in Computer Science 7778.
Si
Jesper Buus Nielsen, Daniele Venturi, and Angela Zottarel. On the
Connection between Leakage Tolerance and Adaptive Security.
Proceedings of the 16th International Conference on Practice and
Theory in Public-Key Cryptography (PKC 2013), 497-515, Lecture Notes
in Computer Science 7778.
si
Sebastian Faust, Carmit Hazay, and Daniele Venturi. Outsourced Pattern
Matching. Proceedings of the 40th International Colloquium on
Automata, Languages, and Programming (ICALP 2013), 545- 556,
Si
Markulf Kohlweiss, Ueli Maurer, Cristina Onete, Bjorn Tackmann, and
Daniele Venturi. Anonymity-Preserving Public Key Encryption: A
Constructive Approach. Proceedings of the 13th International
Symposium on Privacy Enhancing Technologies (PETS 2013), 19-39,
Si
Ivan Damgftrd, Sebastian Faust, Pratyay Mukherjee, and Daniele
Venturi. Bounded Tamper Resilience: How to go beyond the Algebraic
Barrier. Proceedings of the 19th International Conference on the Theory
and Application of Cryptology and Information Security (Asiacrypt
2013), 140-160, Lecture Notes in Computer Science 8270.
Si
Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, and
Daniele Venturi. Continuous Non-Malleable Codes. Proceedings of
the 11th Theory of Cryptography Conference (TCC 2014), 465-488,
Si
Jesper Buus Nielsen, Daniele Venturi, and Angela Zottarel.
Leakage-Resilient Signatures with Graceful Degradation.
Proceedings of the 17th International Conference on Practice and
Theory in Public-Key Cryptography (PKC 2014), 362-379, Lecture
Notes in Computer Science 8383.
Si
Si
Sebastian Faust, Pratyay Mukherjee, Daniele Venturi, and Daniel Wichs.
Efficient Non-Malleable Codes and Key-Derivation tor Poly-Size
Tampering Circuits . Proceedings of the 33rd Annual International
Conference on the Theory and Applications of Cryptographic Techniques
(Eurocrypt 2014), 111-128, Lecture Notes in Computer Science 8441.
convegni internazionali. Il candidato inoltre indica di essere autore di 19 pubblicazioni , 1 libro
di natura scientifica e 2 di natura didattica, senza fornire dettagli.
ALLEGATO B)
GIUDIZI INDIVIDUALI E COLLEGIALI
1. CANDIDATO: Silvia Bonomi
Il candidato ha conseguito il dottorato in Computer Engineering and Computer Science (in cotutela) presso le Università di Roma “La Sapienza” e di Rennes 1. Attualmente è titolare di
borsa post-doc presso il Research Center of Cyber Intelligence and Information Security (CIS)
del Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti -”La
Sapienza”. Dal CV risultano due brevi soggiorni presso istituzioni di ricerca estere. Per quanto
riguarda l’attività didattica, il candidato documenta una consistente attività di supporto alla
didattica (tutoring e di docenza) a partire dal 2007 a tutt’oggi presso l’Università di Roma “La
Sapienza”. Inoltre è stata advisor di studenti da Laurea magistrale presso l’Università di Roma
“La Sapienza”.
Dal CV e dalle pubblicazioni del candidato si evince che le tematiche oggetto della sua attività
di ricerca sono le seguenti: Algoritmi Distribuiti Dinamici, Cloud Computing, Fault Tolerance e
Publish/Subscribe Systems.
Il candidato, inoltre, documenta la partecipazione a diverse conferenze in qualità di relatore e
dichiara di aver esercitato attività di referee, ed ha servito in qualità di co-chair o comitato
organizzatore di conferenze e workshop. Inoltre, ha partecipato a numerosi progetti europei e
nazionali, ed è stata titolare di un progetto di Ateneo per giovani ricercatori.
Il candidato inoltre segnala di aver vinto con altri autori un premio AWS (Amazon Web
Services) per un progetto di ricerca.
Dal CV risulta che, dal 2006 al 2015, il candidato è autore di N. 9 pubblicazioni su riviste
internazionali e 32 conferenze e workshop internazionali.
GIUDIZIO DELLA COMMISSIONE
Sulla base del curriculum e delle pubblicazioni presentate, la commissione giudica molto
buona la consistenza e continuità della produzione scientifica del candidato, molto buona la
qualità complessiva delle sedi di pubblicazione, e buono l’impatto dei risultati conseguiti sulla
comunità internazionale, come emerge dagli indicatori bibliometrici. La commissione valuta
inoltre buona la visibilità internazionale del candidato, conseguita attraverso le varie attività di
servizio scientifico, e molto buona l’entità della partecipazione, in ruoli primari o di supporto,
in progetti finanziati. Infine, l’esperienza didattica del candidato è buona per il ruolo.
2. CANDIDATO: Nicola Capuano
Il candidato non documenta il conseguimento del titolo di Dottore di Ricerca. E’ stato titolare
di un Assegno di Ricerca presso il Dipartimento di Ingegneria dell’Informazione e Matematica
Applicata (DIIMA) dell’Università di Salerno, ed attualmente ricopre l’incarico di Funzionario
area Tecnico-Scientifica (categoria D3) presso il Dipartimento di Ingegneria dell'Informazione,
Ingegneria Elettrica e Matematica Applicata (DIEM). Nel curriculum documenta il
conseguimento dell’ Abilitazione Scientifica Nazionale per il Settore
Concorsuale 01/B1, Informatica, II fascia.
Il candidato documenta di essere membro del comitato editoriale di 5 riviste, e la
partecipazione a numerosi comitati di programma o co-chair di conferenze internazionali.
Documenta inoltre una buona esperienza didattica come responsabile di corso (Alta
Formazione Post-Laurea), tutoring e docenza in corsi rivolti alle scuole superiori , enti esterni
o personale tecnico/amministrativo dell’università di Salerno. Ha conseguito un 2nd Best
Paper Award al 1st World Summit on the Knowledge Society. E’ primo responsabile di alcuni
progetti finanziati europei e nazionali, ed è project manager o partecipante ad altri numerosi
progetti.
Il candidato indica come proprie aree di competenza scientifica il Soft Computing ed
Architetture Distribuite, Artificial Intelligence in Education, e Knowledge-Based Systems. Dal
CV risulta che, dal 1999 al 2015, il candidato è autore di N. 16 pubblicazioni su riviste
internazionali e 25 conferenze, workshop e capitoli di libri internazionali.
buona la consistenza e continuità della produzione scientifica del candidato, discreta la qualità
complessiva delle sedi di pubblicazione, e molto buono l’ impatto dei risultati conseguiti sulla
inoltre molto buona la visibilità internazionale del candidato, conseguita attraverso le varie
attività di servizio scientifico, ed ottima l’entità della partecipazione, in ruoli primari o di
supporto, in progetti finanziati. Infine, l’esperienza didattica del candidato è buona per il
ruolo.
3. CANDIDATO: Paolo Di Giambardino
Il candidato ha conseguito nel 2008 il titolo di Dottore di Ricerca europeo in Filosofia presso
l’Università Roma Tre in cotutela con l’Université d’Aix-Marseille 2
(specialité Mathématiques). E’ stato Attaché temporaire d’enseignement et de recherche
presso presso il Laboratoire d’Informatique de Paris Nord, assegnista di ricerca presso
lUniversità di cagliari ed attualmente ricopre l’incarico di Borsista di ricerca presso il
dipartimento di Matematica ed Informatica dell’Università di Cagliari. Documenta attività
didattica come esercitatore presso l’Università di Cagliari e precedentemente presso l’
Universté Paris 13, e ripetuti soggiorni presso l’equipe Logique De la Programmation de
l’Institut des Mathematiques de Luminy.
Il candidato documenta di essere revisore di alcune conferenze e workshop. Ha partecipato
come collaboratore a 4 progetti finanziati nazionali.
Il candidato indica come proprie aree di competenza scientifica la teoria della dimostrazione,
la semantica denotazionale, la ludica e semantica dei giochi, e il pi-calcolo. Dal CV risulta
che, dal 2008 al 2015, il candidato è autore di N. 1 pubblicazioni su riviste internazionali e 3
conferenze e workshop internazionali.
Sulla base del curriculum e delle pubblicazioni presentate, la commissione giudica discreta la
consistenza e continuità della produzione scientifica del candidato, discreta la qualità
complessiva delle sedi di pubblicazione, e discreto l’ impatto dei risultati conseguiti sulla
inoltre discreta la visibilità internazionale del candidato, conseguita attraverso le varie attività
di servizio scientifico, e discreta l’entità della partecipazione, in ruoli primari o di supporto, in
progetti finanziati. Infine, l’esperienza didattica del candidato è buona per il ruolo.
4. CANDIDATO: Gabriele Fici
Il candidato ha conseguito nel 2006 il titolo di Dottore di Ricerca in Matematica dell’Università
di Palermo e di Dottore di Ricerca in Informatica dell’Université Paris-Est Marne-la-Vallée,
Francia (in co-tutela di tesi). E’ stato assegnista di ricerca presso l’Università di Salerno e
presso l’Université Nice-Sophia Antipolis. Attualmente è ricercatore a tempo determinato (art.
24 comma 3-a Legge 240/10) presso l’Università degli Studi di Palermo. Nel Gennaio 2015
ha conseguito l’Abilitazione Scientifica Nazionale per professore di II fascia nel settore 09/H1
– Sistemi di elaborazione delle informazioni. Ha trascorso periodi di ricerca di 4, 6 e 2 mesi
presso Laboratoire d’Informatique, Signaux et Systèmes di Sophia-Antipolis. Inoltre ha
trascorso periodi brevi presso altre istituzioni di ricerca straniere. Ha svolto in qualità di
ricercatore RTD attività didattica (presumibilmente, anche se non specifica chiaramente, nel
ruolo di esercitatore), ed altre attività didattiche come attaché de reserche presso l’ Université
Nice Sophia Antipolis. Nel curriculum il candidato elenca diverse attività organizzative e di
servizio scientifico, tra cui PC member, organizzazione di seminari e workshop, revisore di
conferenze e riviste, ed esperto per la selezione di progetti scientifici per enti di ricerca. Inoltre
ha partecipato ad alcuni progetti finanziati nazionali.
Il candidato riporta di occuparsi delle seguenti aree di ricerca: Algoritmica e combinatoria delle
stringhe, strutture di indicizzazione di testi, pattern matching, automi a stati finiti, linguaggi
formali, splicing systems, sistemi dinamici simbolici. Il candidato presenta una produzione
complessiva fra il 2004 ed il 2015 pari a N.16 pubblicazioni su riviste internazionali, n. 19
congressi o workshop internazionali, N. 1 capitolo di libro. Il candidato elenca alcuni rapporti
e/o pubblicazioni di altra natura.
qualità complessiva delle sedi di pubblicazione, e molto buono l’ impatto dei risultati conseguiti
sulla comunità internazionale, come emerge dagli indicatori bibliometrici. La commissione
valuta inoltre buona la visibilità internazionale del candidato, conseguita attraverso le varie
attività di servizio scientifico, e buona l’entità della partecipazione, in ruoli primari o di supporto,
in progetti finanziati. Infine, l’esperienza didattica del candidato è buona per il ruolo.
5. CANDIDATO: Emanuele Guido Fusco
Il candidato ha conseguito il Dottorato di Ricerca presso il Dipartimento di Informatica
dell’Università di Roma La Sapienza nel 2005. Presso la medesima Università ha svolto il
ruolo di assegnista di ricerca. Per brevi periodi ha visitato il Département d’informatique et
d’ingénierie, Université du Québec en Outaouais, Gatineau, Québec, Canada. Ha svolto
attività didattica come tutor e esercitatore. Si è occupato dei seguenti argomenti di ricerca:
Symmetry breaking, network communication, Advice paradigm, bounded memory,
anonymous networks, Advice paradigm, Faulty memories, bounded memory, anonymous
networks e big data. Non elenca nel curriculum attività di servizio della comunità scientifica né
partecipazione a progetti finanziati.
Complessivamente, il candidato presenta una produzione scientifica di 9 riviste e 3 conference
proceedings, e dichiara altresì di essere autore di 30 articoli senza però riportarne la lista.
Sulla base del curriculum e delle pubblicazioni presentate, la commissione giudica buona la
consistenza e continuità della produzione scientifica del candidato, buona la qualità
progetti finanziati. Infine, l’esperienza didattica del candidato è discreta per il ruolo.
6. CANDIDATO: Francesco Gullo
Il candidato ha conseguito il Dottorato di Ricerca presso l’Università di Calabria nel 2010.
Durante il dottorato, ha effettuato uno stage presso la George Mason University. E’ stato postdoc presso l’Università di Calabria, e, dal settembre 2011, è stato post-doc e quindi research
scientist presso i Yahoo! Labs di Barcellona.
Il candidato elenca come principali interessi di ricerca data mining e basi di dati.
L’attività didattica (svolta sia presso l’Università di Calabria che a Yahoo!) è molto consistente
ed adeguata al ruolo, avendo svolto attività di professore a contratto per vari anni e vari
insegnamenti. Ha inoltre seguito numerosi dottorandi o vising scholars.
E’ stato co-chair e membro del comitato di programma delle principali conferenze del settore.
E’ stato revisore per le principali riviste e conferenze del settore. Ha partecipato ad un progetto
europeo, due progetti nazionali (in Italia e Spagna) ed un progetto industriale finanziato da
Enel. Elenca svariati progetti interni cui ha partecipato durante il periodo a Yahoo!
Il candidato è autore di diversi prodotti software.
Dal CV risulta che, dal 2007 al 2015, il candidato è autore di 11 articoli su riviste internazionali
e 25 articoli su conferenze internazionali, workshop e capitoli di libri.
qualità complessiva delle sedi di pubblicazione, e molto buono l’impatto dei risultati conseguiti
valuta inoltre ottima la visibilità internazionale del candidato, conseguita attraverso le varie
attività di servizio scientifico, e buona l’entità della partecipazione, in ruoli primari o di
supporto, in progetti finanziati. Infine, l’esperienza didattica del candidato è molto buona per il
ruolo.
7. CANDIDATO: Massimo Lauria
Il candidato ha conseguito il Dottorato di Ricerca presso il Dipartimento di Informatica della
Sapienza nel 2009. In seguito, è stato titolare di assegno di ricerca presso il Dipartimento di
Informatica della Sapienza per due anni, presso l’istituto di Matematica dell’ Academy of
Sciences della repubblica Cecoslovacca, e dal 2012, presso la Scuola di Computer Science
dell’Università KTH di Stoccolma. Ha svolto attività didattica come lettore o co-lettore in due
corsi nel 2012 e 2014. E’ stato nel comitato di programma di una conferenza ed un workshop,
ed è revisore delle principali conferenze e riviste del settore.
e 9 articoli su conferenze internazionali.
consistenza e continuità della produzione scientifica del candidato, molto buona la qualità
complessiva delle sedi di pubblicazione, e molto buono l’ impatto dei risultati conseguiti sulla
servizio scientifico, e discreta l’entità della partecipazione, in ruoli primari o di supporto, in
8. CANDIDATO: Gustavo Marfia
Il candidato ha conseguito il Dottorato di Ricerca presso la University of California, Los
Angeles nel 2009. Presso questa Università ha svolto funzioni di Graduate Research assistant
nel 2009, e visiting scholar nel 2014 (per periodi di un mese). Dal 2009 al 2012 è stato titolare
di un assegno di ricerca presso l’Università di Bologna, dove attualmente ricopre l’incarico di
Ricercatore a Tempo Determinato, tipologia A.
Ha inoltre trascorso brevi soggiorni presso la Siemens Mobile Communications, i Los Alamos
National Laboratories, e Microsoft Research UK. E’ titolare di due corsi sul tema delle
tecnologie informatiche per la moda presso l’Università di Bologna.
Nel CV, elenca come propri interessi di ricerca applicativi ICT for transportation, ICT for ehealth e ICT for cultural problems. Le tematiche di ricerca sono wireless networks, vehicular
networking, human-computer interaction.
Il candidato elenca numerose attività di servizio della comunità scientifica, fra cui è editore
associato di 3 riviste internazionali, co-chair, session chair, o technical program committee di
un elevato numero di conferenze e workshop. E’ inoltre revisore numerose di riviste e
conferenze del settore.
Il candidato è autore di diversi prodotti software.
e 60 articoli su conferenze e workshop internazionali. Il candidato acclude una lettera di
referenza del Prof. Leonard Kleinrock, University of California.
Sulla base del curriculum e delle pubblicazioni presentate, la commissione giudica ottima la
complessiva delle sedi di pubblicazione, e ottimo l’impatto dei risultati conseguiti sulla
inoltre ottima la visibilità internazionale del candidato, conseguita attraverso le varie attività di
progetti finanziati. Infine, l’esperienza didattica del candidato è molto buona per il ruolo.
9. CANDIDATO: Francesco Mari
Il candidato ha conseguito il Dottorato di Ricerca presso il Dipartimento di Informatica della
Sapienza nel 2010. In seguito, è stato titolare di assegno di ricerca presso il Dipartimento di
Informatica della Sapienza, dove attualmente ricopre l’incarico di Ricercatore a Tempo
Determinato, tipologia A. E’ stato visiting student durante il dottorato, presso la University of
Austin, Texas.
Il candidato elenca numerose attività di supporto alla didattica e, dal 2012, è docente
responsabile del corso di Basi di Dati presso il Dipartimento di Informatica della Sapienza.
Ha collaborato a 5 progetti di ricerca finanziati dalla Comunità Europea.
Fra i propri interessi di ricerca, il candidato cita Model Checking, Automatic Verification, MAD
Distributed Systems, Nash Equilibria, Risk Analysis e Data Mining,
Il candidato dichiara di essere autore di 37 articoli internazionali, di cui però non fornisce un
elenco.
complessiva delle sedi di pubblicazione, e discreto l’impatto dei risultati conseguiti sulla
10. CANDIDATO: Francesco Pasquale
Il candidato nel 2005 ha conseguito la laurea Magistrale in Matematica presso l’Università di
Roma “Tor Vergata” e nel 2009 il Dottorato di Ricerca “Informatica e Applicazioni” presso
l’Università dell’Aquila. Dal maggio 2005 ad ottobre dello stesso anno è stato titolare di un
contratto di collaborazione all'attività di ricerca presso l’Università di Roma “Tor Vergata”
(Supervisor: Prof. Andrea Clementi). Da giugno 2009 a settembre 2012 è stato titolare di un
assegno di ricerca presso l’Università di Salerno (Supervisor: Prof. Giuseppe Persiano), da
dicembre 2012 a novembre 2014 è stato titolare di un assegno di ricerca presso l’Università
di Roma “La Sapienza” (Supervisor: Prof. Alessandro Panconesi), da dicembre 2014 a
tutt’oggi è titolare di un assegno di ricerca presso l’Università di Roma “Tor Vergata”
(Supervisor: Prof. Andrea Clementi).
Dal CV risultano due brevi soggiorni presso istituzioni di ricerca estere.
Per quanto riguarda l’attività didattica, il candidato documenta un’attività di supporto alla
didattica (tutoring) a partire dal 2006 a tutt’oggi (con interruzioni in corrispondenza degli anni
2011, 2012) presso le Università di Roma “Tor Vergata”, di Salerno e di Roma “La Sapienza”.
di ricerca sono le seguenti: Algoritmi Distribuiti, Teoria dei Giochi, e Modelli Stocastici.
Inoltre risulta aver partecipato a diverse conferenze in qualità di relatore e di aver esercitato
attività di referee.
Dal CV risulta che, dal 2007 al 2015, il candidato è autore di 22 articoli internazionali (non
viene citata la differenziazione tra riviste e conferenze). Nella lista delle 12 pubblicazioni
selezionate dal candidato per questa valutazione sono presenti 8 riviste e 4 conferenze.
complessiva delle sedi di pubblicazione, e discreto l’impatto dei risultati conseguiti sulla
di servizio scientifico, e buona l’entità della partecipazione, in ruoli primari o di supporto, in
11 CANDIDATO: Fabrizio Silvestri
Il candidato nel 2000 ha conseguito la laurea in Informatica e nel 2004 il Dottorato di Ricerca
in Informatica entrambi presso l’Università di Pisa. Nel 2006 (per tre mesi) è stato visiting
scholar presso i Laboratori di Ricerca di Yahoo a Barcellona (Spagna), da gennaio 2004 a
febbraio 2009 ha avuto una posizione di post doc presso l’Istituto di Scienza e Tecnologia
dell’Informazione (ISTI) (Advisor: dr. Raffaele Perego), da novembre 2011 ad ottobre 2013 è
stato visiting scholar presso i Laboratori di Ricerca di Yahoo a Barcellona (Spagna), da
febbraio 2009 a ottobre 2013 è stato ricercatore presso l’Istituto di Scienza e Tecnologia
dell’Informazione (ISTI), da ottobre 103 a tutt’oggi è ricercatore senior presso i Laboratori di
Ricerca di Yahoo a Barcellona (Spagna).
Il candidato è stato advisor di 5 studenti di Ph.d e di 17 studenti di laurea magistrale, ed è
stato docente presso l’Università Pisa.
Come attività professionale il candidato documenta la sua presenza in numerosi program
committee (in alcuni casi con il ruolo di chair), steering committee, phd committee, ed editorial
board.
Cospicua risulta essere la presenza del candidato in progetti di ricerca di varia natura
(regionali, nazionali ed internazionali). In un caso con il ruolo di membro dello steering
commettee del progetto.
di ricerca sono le seguenti: Data Mining, Web mining, e Big data.
Notevole è la produzione scientifica del candidato: nel CV sono elencate 14 riviste e 37
conferenze e 9 capitoli di libro, in aggiunta, nel CV, vengono menzionate altre 40 pubblicazioni
a workshop e convegni vari (short paper, poster, ecc.).
Il candidato documenta anche la presenza di relazioni invitate a convegni e di 10 premi e
riconoscimenti di varia natura (best paper, riconoscimenti per patent, per attività di ricerca e
altro). Il candidato è inoltre titolare di 7 brevetti.
consistenza e continuità della produzione scientifica del candidato, ottima la qualità
servizio scientifico, e ottima l’entità della partecipazione, in ruoli primari o di supporto, in
12 CANDIDATO: Francesco Silvestri
Il candidato ha conseguito la laurea in Ingegneria Informatica nel 2005 (laurea quinquennale),
e nel 2009 il Dottorato di Ricerca in Ingegneria Informatica entrambi presso l’Università di
Padova.
Nel 2005 è stato per un breve periodo (1 mese) reasearch assistant presso l’Università di
Padova, dal 2007 al 2008 (per la durata di 6 mesi) è stato visiting scholar presso l’Università
del Texas ad Austin, dal febbraio 2009 al dicembre 2012 ha avuto due assegni di ricerca
presso l’Università di Padova (supervisor: prof. Andrea Pietracaprina). Nel 2011 per un breve
periodo (1 mese) è stato visiting scholar presso l’Università di Aarhus (Danimarca). Dal
gennaio 2013 al dicembre 2014 2012 ha avuto un assegno di ricerca presso l’Università di
Padova (supervisor: prof. Andrea Pietracaprina). Dal 2013 al 2014 (durata 5 mesi) è stato in
visita presso l’Università di Cophenagen (Danimarca) con il ruolo di visiting scholar e parttime lecturer. Dal gennaio 2015 (e fino a dicembre 2016) ha un assegno di ricerca presso
l’Università di Cophenagen (Danimarca).
Il candidato è stato advisor di 6 studenti di laurea master/laurea magistrale.
Come attività professionale il candidato documenta la sua presenza in alcuni program.
Dal CV presentato risulta che il candidato ha partecipato ad alcuni progetti di ricerca di varia
natura (locali dell’università di Padova, regionali, nazionali ed internazionali).
di ricerca sono le seguenti: Algoritmi, Algoritmi Paralleli.
Per quanto riguarda l’attività didattica, il CV del candidato cita attività seminariale, di
esercitatore e anche docente di corsi Universitari, e viene riportato il possesso di un “giudizio
positivo” per carica di professore associato e assistant professor in Danimarca.
Nel CV il candidato dichiara di essere autore di 5 articoli su rivista e 16 pubblicazioni su
convegni internazionali. Nel CV sono citati anche 5 articoli in fase di revisione e 3 librerie
software. Il candidato è inoltre titolare di 1 brevetto. Dal CV presentato dal candidato risultano
3 premi: un best paper (premio per attività di ricerca), e due “travel award”.
complessiva delle sedi di pubblicazione, e buono l’ impatto dei risultati conseguiti sulla
13 CANDIDATO: Blerina Sinaimeri
Il candidato nel 2004 ha conseguito la laurea in Informatica e nel 2010 il titolo dottorato di
Ricerca sempre presso l’Università di Roma “La Sapienza” (advisor: J. Korner). Da febbraio
2010 a febbraio 2012 è stato titolare di un assegno di ricerca presso l’Università di Roma “La
Sapienza”. Da febbraio 2012 a settembre 2015 è stato postdoc presso INRIA Grenoble Rhône-Alpes – (Francia).
didattica (tutoring) negli anni 2005, 2007, 2009, e 2011 presso l’ Università di Roma “La
Sapienza”. Dal 2012 al 2015 ha svolto attività didattica come titolare di corso presso università
e istituzioni di ricerca francesi.
Dal CV risulta inoltre che ha svolto il ruolo di advisor per 3 studenti di Ph.D 6 studenti di master.
di ricerca sono le seguenti: Computational Biology, Next Generation Sequencing, e
Theoretical Computer Science.
attività di referee. Limitata (ad un caso) la presenza in comitati di programma.
Dal CV risulta che il candidato è autore di 11 articoli su rivista e 5 articoli pubblicati in atti di
convegni/workshop, più alcuni poster. È inoltre autore di due prodotti software di ricerca.
Il candidato ha avuto 2 premi riconoscimenti: nel 2010 il premio dell’associazione EATCS per
la migliore tesi in informatica teoria e nel 2009 il premio come best PhD student paper
(assegnato dal Dipartimento di Informatica dell’Università di Roma “La Sapienza”).
Dal CV risulta che ha collaborato a due progetti di ricerca (uno italiano e l’altro un ERC
Advanced grant).
14 CANDIDATO: Dora Spenza
Il candidato nel 2006 ha conseguito la laurea triennale in Informatica, nel 2009 la laurea
magistrale in Informatica, e nel 2013 il Dottorato di Ricerca in Informatica presso l’Università
di Roma “La Sapienza”. Da febbraio 2010 a luglio 2010 è stato titolare di un Contratto di
Prestazione Occasionale, Consorzio Ferrara Ricerche, dal dicembre 2010 a tutt’oggi ha un
assegno di ricerca presso l’Università di Roma “La Sapienza”.
didattica (tutoring) a partire dall’anno 2011 a tutt’oggi.
Il candidato ha avuto 3 premi/riconoscimenti: nel 2015 il riconoscimento “N2Women Young
Researcher Fellowships a INFOCOM 2015”, nel 2013 il premio come “Best Student Poster”
a Infocom 2013, mentre nel 2010 è stata selezionata come da Google per “European Doctoral
Fellowship in Wireless Networking”.
di ricerca sono le seguenti: Reti radiomobili e reti di sensori, Internet of Things, e sistemi
embedded.
attività di referee. Il CV riporta anche la presenza in diversi comitati di programma di
conferenze internazionali ed in uno comitato organizzatore di una conferenza.
convegni/workshop ed 1 capitolo di libro.
Dal CV risulta che ha partecipato a 4 progetti di ricerca.
15 CANDIDATO: Angelo Spognardi
Il candidato nel 2004 ha conseguito la laurea in Informatica e nel 2008 il titolo dottorato di
Ricerca in Informatica sempre presso l’Università di Roma “La Sapienza”. Dal 2007 a tutt’oggi
è stato titolare di diversi assegni di ricerca (per un totale di 7 anni) presso l’Università di Roma
“La Sapienza”, il centro di ricerca INRIA Rhône-Alpes (Francia), e l’Istituto di Informatica e
Telematica del CNR di Pisa.
didattica (tutoring) nel periodo 2005-2009 presso le Università di Roma “La Sapienza” e di
Roma Tre. Dal 2009 al 2015 ha svolto attività didattica come titolare di corso presso le
Università di Roma “La Sapienza”, del Molise, e presso l’IMT di Lucca.
di ricerca sono le seguenti: Secure routing, Bio-inspired security models, Mobile network user
profiling, Network anomaly detection, Security of resource constrained devices, e Information
quality.
convegni/workshop (non allega elenco completo delle pubblicazioni). È inoltre autore di due
prodotti software di ricerca.
16 CANDIDATO: Julinda Stefa
Il candidato nel 2006 ha conseguito la laurea in Informatica (laurea quinquennale) e nel 2010
il Dottorato di Ricerca in Informatica entrambi presso l’Università di Roma “La Sapienza”. Da
dicembre 2009 a novembre 2011 e da febbraio 2012 a gennaio 2016 ha avuto (e tutt’ora ha)
degli assegni di ricerca presso il Dipartimento di Informatica, Università di Roma “La Sapienza”.
Nel 2011 (per tre mesi) è stato in visita presso il centro di ricerca Microsoft a Cambridge (UK),
da novembre 2008 ad aprile 2009 è stato visiting researcher presso l’UNC-Chapel Hill, Chapel
Hill, (USA), da ottobre 2005 a dicembre 2005 è stato in visita al centro di Google a Zürigo
(Svizzera).
didattica (tutor/esercitatore) nel periodo 2003-2012 (per 7 a.a.). Negli anni 2014-2015, e 20132014 il candidato è stato Co-Docente (in un corso di Introduzione all’Informatica per studenti
e docenti delle Superiori), e presso la Scuola Superiore dell’Amministrazione dell’Interno,
Ministero degli Interni. Il candidato menziona anche di interventi didattici (seminari) in corsi
presso istituti di ricerca stranieri.
Il candidato è stato co-advisor di 3 studenti di Ph.d e di 3 studenti di laurea magistrale (insieme
al prof. A. Mei nel ruolo di advisor) e di 17 studenti di laurea magistrale.
Come attività professionale il candidato documenta la sua presenza in numerosi program
committee (in un casi con il ruolo di co-chair) ed una continua e cospicua attività di revisore
per conferenze e riviste internazionali.
Dal CV risulta inoltre la partecipazione del candidato in molti progetti di ricerca di varia natura
(nazionali ed internazionali). Il candidato risulta essere leader in diversi progetti (per lo più
progetti dell’Università di Roma, ma in qualche caso anche progetti EU o nazionali). In un caso
il candidato è coinvolto in progetti europei come valutatore.
di ricerca sono le seguenti: Sistemi Distribuiti e Cloud, Mobile Cloud Computing, Sicurezza,
Reti Sociali, Reti Wireless Mobili.
Dal CV risulta che il candidato è autore di 6 riviste internazionali (più un magazine in corso di
pubblicazione con “minor revisions”), 21 pubblicazioni in atti di conferenze e workshop, e 3
capitoli di libro. In aggiunta, nel CV, viene menzionato anche un prodotto software.
Il candidato documenta anche la presenza di 7 premi/riconoscimenti di varia natura (premi per
l’avvio alla ricerca, premio per il miglior articolo di un Dottorando, dell’Università di Roma, best
demo paper di conferenze internazionali prestigiose, e Working Capital–Premio Nazionale
Innovazione 2011, Telecom Italia).
qualità complessiva delle sedi di pubblicazione, e ottimo l’impatto dei risultati conseguiti sulla
attività di servizio scientifico, e molto buona l’entità della partecipazione, in ruoli primari o di
supporto, in progetti finanziati. Infine, l’esperienza didattica del candidato è buona per il
ruolo.
17 CANDIDATO: Daniele Venturi
Il candidato nel 2003 ha conseguito la laurea triennale in Ingegneria Elettrica presso
l’Università di Roma Tre, nel 2007 la laurea magistrale in Ingegneria delle comunicazione
presso in Informatica l’Università di Roma “La Sapienza”, e nel 2012 il dottorato di ricerca in
Ingegneria dell'Informazione e della Comunicazione. Da febbraio 2012 a settembre 2013 ha
avuto una posizione di post-doc presso l’Università di Aarhus (Danimarca).
Per quanto riguarda l’attività didattica, il candidato menziona un’attività didattica di supporto
(intervento seminariale in corsi di altri docenti) nel periodo 2010-2012 presso l’Università di
Roma “La Sapienza” e l’Università di Aarhus (Danimarca). Per gli anni 2014 e 2014 cita
un’attività di teaching assistant presso il Dipartimento di Informatica dell’Università di Roma
“La Sapienza”. Sempre presso la stessa università per gli a.a. 2013-2014 e 2014-2015 ha
tenuto un brevi corso (15 ore ciascuno) per la laurea specialistica.
Dal CV risulta inoltre la partecipazione (livello partecipant) del candidato in quattro progetti di
ricerca di varia natura (uno danese e tre europei).
di ricerca sono le seguenti: Crittografia e Sicurezza.
Il candidato presenta una lista di pubblicazioni che include 12 convegni internazionali.
Nel CV il candidato dichiara di essere autore di 19 pubblicazioni in atti di conferenze, e 1 libro
(capitolo di libro) e 2 libri (o capitoli) di tipo didattico, non ulteriormente specificati.
Il candidato documenta anche la presenza di un premio per l’eccellente curriculum di studi
presso l’Università di Roma “La Sapienza”, un paper come “best paper” alla conferenza
Eurocrypt 2011, e nel 2013 un premio come migliore tesi di dottorato presso l’Università di
Roma “La Sapienza” (i premiati in totale sono stati 6). Presenta inoltre una lettera di
segnalazione del Prof. Ivan Damgaard.
complessiva delle sedi di pubblicazione, e discereto l’impatto dei risultati conseguiti sulla
determinato tipologia B, indetta con D.R. n. 3465 del 18/12/2014 presso il Dipartimento di
INFORMATICA settore concorsuale 01/B1 settore scientifico disciplinare INF/01
VERBALE N. 4
Alle ore 13:00 del giorno 2 Novembre 2015 presso la sede di via Salaria 113 del
Dipartimento di Informatica della Università Degli Studi di Roma si sono riuniti i seguenti
Professori:
Prof. Paola Velardi
Prof. Matteo Sereno
membri della Commissione nominata con D.R. n. 3465 del 18/12/2014.
La Commissione procede all’appello dei candidati, in seduta pubblica.
Sono presenti i seguenti candidati dei quali viene accertata l’identità personale.
7. Francesco Gullo
8. Gustavo Marfia
9. Julinda Stefa
Non sono presenti i candidati Gabriele Fici, Massimo Lauria, Fabrizio Silvestri.
Alle ore 13:30 inizia la discussione dei titoli e delle pubblicazioni da parte dei candidati
1. Viene chiamato il candidato Francesco Gullo
2. Viene chiamato il candidato Gustavo Marfia
3. Viene chiamato il candidato Julinda Stefa
I singoli candidati sono chiamati a discutere pubblicamente con la Commissione i titoli e le
pubblicazioni. Contestualmente la Commissione accerta la conoscenza della lingua inglese.
Alle ore 15:30, avendo tutti i candidati terminato la discussione dei propri titoli e
pubblicazioni, la Commissione decide di riconvocarsi per il giorno 2 Novembre alle ore 15:40
nella medesima sede per la valutazione.
Roma, 2 Novembre 2015
La Commissione
- Prof. Paola Velardi
- Prof. Pierangela Samarati
- Prof. Matteo Sereno
determinato tipologia B, indetta con D.R. n. 3465 del 18/12/2014 presso il Dipartimento di
INFORMATICA settore concorsuale 01/B1 settore scientifico disciplinare INF/01
VERBALE N. 5
Alle ore 15.40 del giorno 2 Novembre 2015 presso della Università Degli Studi di
Roma la sede di via Salaria 113 del Dipartimento di Informatica della Università Degli Studi di
Roma si sono riuniti i seguenti Professori:
Prof. Paola Velardi
Prof. Matteo Sereno
membri della Commissione nominata con D.R. n. 3465 del 18/12/2014.
La Commissione sulla base delle valutazioni collegiali riportate da ogni candidato
esprime i giudizi complessivi comparativi sui candidati. I giudizi complessivi formulati dalla
Commissione sono allegati al presente verbale quale sua parte integrante (allegato C).
Terminata la valutazione complessiva comparativa dei candidati, il Presidente invita la
Commissione ad indicare il vincitore.
Ciascun commissario, dunque, esprime una preferenza su uno solo dei candidati; è
dichiarato vincitore il candidato che ha ottenuto un maggior numero di voti preferenze.
CANDIDATO Julinda Stefa Voti 3
Pertanto la Commissione, all’unanimità dei componenti, indica il CANDIDATO Julinda Stefa
vincitore della procedura selettiva di chiamata per la copertura di n. 1 posto di Ricercatore a
tempo determinato tipologia B per il settore concorsuale 01/B1 settore scientifico disciplinare
INF/01 del Dipartimento di Informatica indetta D.R. n. 3465 del 18/12/2014.
Il Presidente, dato atto di quanto sopra invita la Commissione a redigere collegialmente
la “relazione riassuntiva” (allegato 3) controllando gli allegati che ne fanno parte integrante; la
“relazione riassuntiva” viene, infine, riletta dal Presidente ed approvata senza riserva alcuna dai
Commissari, che la sottoscrivono.
Roma, 2 Novembre, 2015
La Commissione
- Prof. Paola Velardi
- Prof. Pierangela Samarati
- Prof. Matteo Sereno
Allegato 3 - Relazione Riassuntiva
Il giorno 2 Novembre 2015 alle ore 16:00 si riunisce presso il Dipartimento di Informatica la
Commissione giudicatrice della suddetta procedura selettiva, nelle persone di:
Prof. Paola Velardi
Prof. Matteo Sereno
per redigere la seguente relazione finale.
La Commissione ha tenuto complessivamente n. 5 riunioni iniziando i lavori il 3 Agosto 2015
e
concludendoli il 2 Novembre 2015.
Nella prima riunione del 3 Agosto 2015 – tenuta per via telematica – la Commissione ha
provveduto alla nomina del Presidente nella persona del Prof. Paola Velardi e del Segretario
nella persona del Prof. Matteo Sereno. La commissione ha provveduto a predeterminare i
criteri per procedere alla valutazione preliminare dei titoli, del curriculum e della produzione
scientifica, ivi compresa la tesi di dottorato, dei candidati. Tali criteri sono stati elencati
nell’Allegato 1 del Verbale. La Commissione, al termine della seduta, ha consegnato il verbale
contenente i criteri stabiliti al responsabile della procedura, affinché provvedesse alla
pubblicazione sul sito Web dell’Università.
La Commissione ha successivamente preso visione dell’elenco dei candidati fornito
dall’Amministrazione e ciascun commissario ha dichiarato la non sussistenza di situazioni di
incompatibilità, ai sensi degli artt. 51 e 52 del c.p.c e dell’art. 5 – comma 2 – del D.Lgs.
1172/1948, con i candidati e con gli altri membri della Commissione.
Nella seduta del 14 settembre 2015 alle ore 14:00, svoltasi per via telematica, la
Commissione, presa visione dell’elenco dei candidati alla procedura di valutazione
comparativa trasmesso dall’Amministrazione, delle pubblicazioni effettivamente inviate, delle
esclusioni operate dagli uffici e delle rinunce pervenute, ha indicato i candidati da valutare:
18. Silvia Bonomi
19. Nicola Capuano
20. Paolo Di Giambardino
21. Gabriele Fici
22. Emanuele Guido Fusco
23. Francesco Gullo
24. Massimo Lauria
25. Gustavo Marfia
26. Federico Mari
27. Francesco Pasquale
29. Francesco Silvestri
30. Blerina Sinaimeri
31. Dora Spenza
32. Angelo Spognardi
33. Julinda Stefa
34. Daniele Venturi
La Commissione ha successivamente enucleato per ogni candidato i titoli valutabili, elencati
nell’allegato A del Verbale 2.
Nella terza riunione, svoltasi per via telematica alle ore 15:00 del giorno 22 Settembre 2015,
la Commissione ha proceduto alla valutazione dei titoli dei 17 candidati. La Commissione ha
analizzato le pubblicazioni e i titoli presentati da ciascun candidato ed ha poi proceduto ad
effettuare la valutazione preliminare di tutti i candidati con motivato giudizio analitico sui titoli,
sul curriculum e sulla produzione scientifica, ivi compresa la tesi di dottorato (Allegato B al
Verbale 3). Dopo ampia ed approfondita discussione, e sulla base dei giudizi formulati, la
Commissione ha selezionato per la prova orale una lista breve di 6 candidati, e precisamente
(in ordine alfabetico):
10. Gabriele Fici
11. Francesco Gullo
12. Massimo Lauria
13. Gustavo Marfia
15. Julinda Stefa
La Commissione, al termine della seduta, ha consegnato i verbali 2 e 3 al responsabile della
procedura, affinché provvedesse alla pubblicazione sul sito Web dell’Università ed alla
convocazione dei candidati selezionati.
Nella seduta del 2 Novembre 2015 alle ore 13:30, la Commissione ha proceduto all’appello
dei candidati, in seduta pubblica, per l’illustrazione e la discussione dei titoli presentati da
ciascuno di essi.
Sono presenti i seguenti candidati dei quali è accertata l’identità personale:
1. Francesco Gullo
2. Gustavo Marfia
3. Julinda Stefa
I candidati sono invitati ad illustrare il loro curriculum e descrivere le loro ricerche, rispondendo
alle domande dei Commissari. La seduta termina alle ore 15:30.
La Commissione infine si è riunita alle ore 15:40 del 2 Novembre 2015 per procedere alla
valutazione comparativa dei candidati ed alla determinazione del vincitore. La commissione
all’unanimità indica come vincitore il candidato Julinda Stefa.
Il giudizio complessivo comparativo sui candidati, che motiva la scelta operata, è esposto
nell’Allegato C.
Allegato C
Giudizi complessivi comparativi della Commissione:
Candidato: Francesco Gullo
qualità complessiva delle sedi di pubblicazione, e molto buono l’impatto dei risultati conseguiti
valuta inoltre ottima la visibilità internazionale del candidato, conseguita attraverso le varie
attività di servizio scientifico, e buona l’entità della partecipazione, in ruoli primari o di
supporto, in progetti finanziati. Infine, l’esperienza didattica del candidato è molto buona per il
ruolo.
Durante il colloquio il candidato ha illustrato in modo chiaro la propria attività di ricerca, i
risultati raggiunti e le direzioni future. Ha dimostrato buona maturita` scientifica, conoscenza
del settore di competenza, e capacita` di esposizione e di analisi. Da apprezzare il rigore
metodologico, la profondità e l’originalità dei risultati raggiunti. Alle domande della
commissione, il candidato ha risposto con competenza.
Candidato: Gustavo Marfia
Durante il colloquio il candidato ha illustrato ampiamente le varie tematiche che ha toccato nel
corso della propria attività di ricerca, evidenziando i risultati raggiunti ed in alcuni casi, le
direzioni future. Il candidato ha inoltre dimostrato buone capacità di analisi. Da apprezzare la
sensibilità del candidato sulle potenziali ricadute applicative dei risultati della ricerca. Il
candidato ha dimostrato buona maturità scientifica e buona conoscenza sui temi di ricerca
trattati. Alle domande della commissione, il candidato ha risposto con competenza.
Candidato: Julinda Stefa
qualità complessiva delle sedi di pubblicazione, e ottimo l’impatto dei risultati conseguiti sulla
attività di servizio scientifico, e molto buona l’entità della partecipazione, in ruoli primari o di
supporto, in progetti finanziati. Infine, l’esperienza didattica del candidato è buona per il ruolo.
Durante il colloquio il candidato ha illustrato in modo chiaro e convincente la propria attività di
ricerca, i risultati raggiunti e le direzioni future. Ha dimostrato elevata maturita` scientifica,
approfondita conoscenza del settore di competenza, e notevoli capacita` di esposizione e di
analisi. Alle domande della commissione, il candidato ha risposto con competenza ed in modo
convincente ed esaustivo.
In conclusione, la commissione ritiene che il candidato Julinda Stefa sia idonea alla posizione
di RTD di tipo B nel S.S.D. INF/01 e pienamente meritevole di risultare vincitore del presente
concorso.

Verbali - Sapienza

Transcript

Documenti analoghi

Programma di ammissione I Livello

CHITARRA disciplina principale

Organo - Conservatorio Pierluigi da Palestrina

Avviso pubblico - Dipartimento di Scienze dell`Antichità

Pag. 1/1 $$$$$.2.1/1 N° ######/03 M952

Tre candidati e un favorito è partita la lunga corsa per il Rettore che

CHITARRA preaccademico 2015

“Playhouse Disney Live!” apre le audizioni. Si

secondo strumento - pianoforte complementare