Titoli e Pubblicazioni

Titoli e Pubblicazioni
Paolo Manghi
June 6, 2008
1
Titoli
Laurea: 19.07.1996 Laurea in Scienze dell’Informazione all’Università di Pisa,
con valutazione 110/110. Tesi: Aspetti Linguistici della Costruzione di
Applicazioni Persistenti; relatore: Prof. Giorgio Ghelli.
Research Fellow - TMR Grant Holder: 31.10.1997-30.06.1999 Contratto
per attività di ricerca al progetto Hippo, presso il Department of Computer
Science dell’Università di Glasgow (UK) (referente: Prof. R. Connor).
Research Fellow - TMR Grant Holder: 01.07.1999-31.10.2000 Contratto
per attività di ricerca al progetto SNAQue, presso il Department of Information Science dell’Università di Strathclyde, Glasgow (UK) (referente:
Prof. R. Connor).
PhD - Dottorato di ricerca: 26.10.2001 Dottorato quadriennale in Informatica, Consorzio Pisa, XII Ciclo. Tesi: Extracting Typed Values from
Semistructured Databases; supervisor: Prof. Giorgio Ghelli; referees: Prof.
M. Atkinson (Glasgow, UK), Prof. F. Crestani (Glasgow, UK).
Assegnista di ricerca: 11.06.2001-11.06.2003 presso il Dipartimento di Informatica dell’Università di Pisa. Progetto: Disegno e realizzazione di un
linguaggio di interrogazione per dati semistrutturati.
Assegnista di ricerca: 01.11.2003-31.10.2005 presso il Dipartimento di Informatica dell’Università di Pisa. Tema di ricerca INF/01.
Laurea: 12.12.2003 Laurea Specialistica in Tecnologie Informatiche, all’Università
di Pisa, con valutazione 110/110.
Assegnista di ricerca: 01.05.2006-30.04.2008 ISTI - CNR (Consiglio Nazionale
delle Ricerche), Pisa. European Project: BELIEF (Proposal number:
026500), led by Dr. Donatella Castelli.
1
2
Contratti di insegnamento e di ricerca
20.03.2000 Contratto di supporto alla didattica, corso Basi di Dati e Sistemi
Informativi - Laboratorio, Laurea in Informatica, Dipartimento di Informatica, Università di Pisa.
23.10.2000 Contratto di supporto alla didattica, corso Architetture degli Elaboratori I, Diploma in Informatica, Dipartimento di Informatica, Università
di Pisa.
29.11.2000 Contratto di collaborazione alla ricerca scientifica. Progetto DataX,
Dipartimento di Informatica, Università di Pisa.
01.12.2000 Contratto di supporto alla didattica, modulo Basi di Dati, Master
su Web & Wireless, organizzato da Università di Pisa e Omnitel.
12.03.2001 Contratto di supporto alla didattica, corso Basi di Dati e Sistemi
Informativi - Laboratorio, Laurea in Informatica, Dipartimento di Informatica, Università di Pisa.
01.12.2001 Contratto per la titolarità del modulo Applicazioni Web per Basi
di Dati (12 ore) per il Web & Net Master organizzato dalla Provincia,
dall’Università di Pisa (resp. Dott.ssa Laura Ricci), dal Consorzio Qualital
e ditte del territorio.
01.01.2002 Contratto per la titolarità del modulo Basi di Dati (80 ore) per
il corso IFTS tenuto in Castelnuovo Garfagnana (LU). Responsabile per
l’Università di Pisa: Prof. Dino Pedreschi.
18.03.2002 Contratto di supporto alla didattica, corso Basi di Dati - Laboratorio, Laurea in Informatica, Dipartimento di Informatica, Università di
Pisa.
16.10.2002 Contratto di supporto alla didattica, corso Laboratorio di Introduzione alla Programmazione, Laurea in Informatica, Dipartimento di Informatica, Università di Pisa.
01.03.2003 Contratto di supporto alla didattica, corso Basi di Dati - Laboratorio, Laurea in Informatica, Dipartimento di Informatica, Università di
Pisa.
01.07.2003 Contratto di collaborazione alla ricerca scientifica. Progetto FIRB
Enabling Platforms for High-performance Computational Grids Oriented
to Scalable Virtual Organisations (grid.it), coordinatore nazionale Prof.
M. Vanneschi, Dipartimento di Informatica, Università di Pisa.
07.10.2003 - 29.02.2004 Contratto per incarico di facilitatore nell’ambito del
progetto CRUI (AICA): IT4PS, Tecnologie dell’Informazione per il Problem Solving.
2
20.10.2003 Contratto di supporto alla didattica, corso Laboratorio di Introduzione alla Programmazione, Laurea in Informatica, Dipartimento di Informatica, Università di Pisa.
01.03.2004 Contratto di supporto alla didattica, corso corso Basi di Dati Laboratorio, Laurea in Informatica, Dipartimento di Informatica, Università di Pisa.
01.05.2004 Contratto di docenza per il modulo Database (21 ore) per il corso
MASTER SIT, organizzato da Società per il Polo Scientifico e Tecnologico
dell’Area Livornese Srl, Livorno.
04.11.2004 Incaricato dalla Fondazione CRUI per la stesura dei testi relativi
ai moduli didattici previsti dal progetto IT4PS (Information Technology
for Problem Solving) nell’area di medicina e farmacia. Realizzazioni dei
testi didattici per corsi universitari avanzati ECDL di Excel e Access.
01.12.2004 Contratto di docenza per il modulo IT4PS - Access (30 ore), corso
ECDL sperimentale per il Dipartimento di patologia sperimentale biotecnologie mediche, infettivologia e epidemiologia, Università di Pisa, organizzato da CRUI in collaborazione con AICA.
01.12.2004 Contratto di docenza per il modulo IT4PS - Access (30 ore), corso
ECDL sperimentale per il Dipartimento di patologia sperimentale biotecnologie mediche, infettivologia e epidemiologia, Università di Pisa, organizzato da CRUI in collaborazione con AICA.
11.03.2005 - 16.03.2005 Ciclo di Seminari per il corso di Master Open Source
presso il Dipartimento di Informatica dell’università di Pisa, dal titolo: Le
Interrogazioni SQL e Ambienti per la definizione delle interrogazioni.
29.09.2005 Contratto di supporto alla didattica, corso Laboratorio di Introduzione alla Programmazione, Laurea in Informatica, Dipartimento di Informatica, Università di Pisa.
22.02.2006-22.03.2006 Consulting for ISTI-CNR, Definition of a document
model for the representation of heterogeneous documents stored into European Institutional Repositories; design of a virtual collection service for
such documents, Project: BELIEF, diretto dalla Dott.ssa. Donatella
Castelli.
05.04.2006 Contratto di supporto alla didattica, corso Informatica II, Corso di
Laurea in Comunicazione Pubblica Sociale e Impresa, Facoltà di Lettere,
University of Pisa.
08.09.2006 - 15.09.2006 Seminars: Il ruolo della progettazione nello sviluppo
delle Basi di Dati e Il Linguaggio SQL, Master Open Source course. Dipartimento di Informatica, University of Pisa.
3
14.09-19.10-11.11.2007 Seminars: SQL Data Definition Language, Master
Open Source course. Dipartimento di Informatica, University of Pisa.
01-31.10.2007 Course: On Teaching Databases, SSIS in Informatica (Teachers
School of Specialization), Dipartimento di Informatica di Pisa.
24-29.08.2008 Module Put Yourself in the DRIVER’s Seat - Practical Training for Building a European Repository Network at the Summer School
Digital Libraries la Carte 2008, Tilburg University, The Netherlands.
3
Pubblicazioni
Tesi
1 Manghi P. Aspetti Linguistici della Costruzione di Applicazioni Persistenti,
Master Thesis (relatore: Prof. Ghelli G.), Dipartimento di Informatica,
University of Pisa, Italy, 1996.
5 Manghi P. Extracting Typed Values from Semistructured Databases, PhD Thesis (supervisor: Prof. Ghelli G.), Dipartimento di Informatica, University
of Pisa, Italy, October 2001.
Libri
19 Brogi A., Martinelli A., Gervasi V., Manghi P., Fabrizio A., Pacini G. Il
Foglio Elettronico per Medicina e Farmacia, McGraw Hill, May 2005.
20 Manghi P., Brogi A., Martinelli A., Gervasi V., Fabrizio A., Pacini G. Basi
di Dati per Medicina e Farmacia, McGraw Hill, November 2005.
Riviste
6 Albano, A., Colazzo, D., Ghelli, G., Manghi, P. & Sartiani, C. A Typed Text
Retrieval Query Language for XML Documents In JASIST, Special Topic
Issue on XML and Information Retrieval, ISSN 1532-2882, August 2001.
8 Simeoni F., Manghi P., Lievens D., Connor R.C.H. and Neely S. An Approach
to High-Level Language Bindings for XML In Elsevier Journal on Information and Software Technology, Special Issue on Objects, <XML> and
Databases, Volume 44, Issue 4, pp. 217-228, ISSN 0950-5849, 2002.
12 Simeoni F., Lievens D., Connor R.C.H., and Manghi P. Language bindings
to XML In IEEE Internet Computing Journal, Volume 7, Number I, pp.
19-27, Jan-Feb 2003.
17 D. Colazzo, G. Ghelli, P. Manghi, C. Sartiani. Static Analysis for Path Correctness of XML queries. In Journal of Functional Programming (JFP),
Volume 16, Issue 4-5, Pages 621-661, 2006. ISSN 0956-7968.
4
Conferenze
2 Connor R.C.H., Ghelli G. & Manghi P. Modules and Type Abstraction in
Persistent Systems 7th International Workshop in Persistent Object Systems, Cape May, New Jersey, 1996 (Persistent Object Systems (POS) Principles and Practice, R.Connor & S.Nettles, (Eds) Morgan Kaufmann,
1997).
3 Connor R.C.H., Manghi P. & Sibson K. On the Unification of Persistent
Programming and the World Wide Web In Proc. Workshop on the Web
and Data Bases (WebDB98) held in conjunction with EDBT’98, SpringerVerlag - Vol. 1590, LNCS series, Valencia, Spain, 1998.
4 Albano, A., Colazzo, D., Ghelli, G., Manghi, P. & Sartiani, C. A Type System for Querying XML Documents In proceedings SIGIR00-XML ACM
Workshop held in conjunction with 23rd International SIGIR Conference
on Research and Development in Information Retrieval, Athens, Greece,
2000.
9 Colazzo, D., Ghelli, G., Manghi, P. & Sartiani, C. Types for Correctness
of Queries over Semistructured Data In Proceedings of 5th International
Workshop on Web and Data Bases (WebDB02), 6th-7th June 2002, held
in conjunction with ACM SIGMOD 2002.
10 G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, C. Sartiani The
Query Language TQL In Proceedings of 5th International Workshop on
Web and Data Bases (WebDB02), 6th-7th June 2002, held in conjunction
with ACM SIGMOD 2002.
13 Manghi P., Simeoni F., Lievens D., and Connor R.C.H. Hybrid Applications over XML: Integrating the Procedural and Declarative Approaches,
In Proceedings of ACM WIDM Workshop, Virginia, ISBN 1-58113-593-9,
8th November 2002
14 D. Colazzo, G. Ghelli, P. Manghi, C. Sartiani. Types for Path Correctness
for XML Queries. ACM International Conference on Functional Programming (ICFP), Snowbird, Utah, USA, 2004.
23 Candela L., Castelli D., Manghi P., Pagano P. Enabling Services in Knowledge Infrastructures: The DRIVER Experience. Accepted at IRCDL2007,
Padua, Italy, 2007.
24 Candela L., Castelli D., Manghi P., Pagano P. Item-Oriented Aggregator
Services. Accepted at IRCDL2007, Padua, Italy, 2007.
26 G. Conforti, G. Ghelli, P. Manghi, C. Sartiani Scalable Query Dissemination
in XPeer. IDEAS2007 IEEE, Banff, Canada, 2007.
27 M. Assante, L. Candela, D. Castelli, L. Frosini, L. Lelii, P. Manghi, A.
Manzi, P. Pagano, and M. Simi An Extensible Virtual Digital Libraries
Generator. ECDL Conference, Aarhus, Denmark, September 2008.
5
Rapporti di progetto
Functional Specification Document, Deliverable D3.1, STREP European project
DRIVER (Proposal number: IST-034047), August 2006
Architectural Specification Document, Deliverable D3.2, STREP European project
DRIVER (Proposal number: IST-034047), October 2006
Proposte di progetto accettate
DRIVER-II Project Proposal, accettata nella 7FP Call on e-infrastructure, I3
European project, May 2007. Stesura e organizzazione del contenuto per
le parti: Joint Research Activities, Networking e Service areas.
Workshops
7 Connor R.C.H., Lievens D., Manghi P., Neely S. and Simeoni F. Extracting
Typed Values from XML Databases, In Proceedings of OOPSLA Workshop
on Objects, <XML> and Databases, Tampa Bay, Florida, USA, 2001.
Extended version published as [8].
11 Albano, A., Colazzo, D., Conforti, G., Ghelli, G., Manghi, P. and Sartiani,
C. The Query language TQL - Demo Presentation In Proceedings of Xth
Convegno nazionale su Sistemi Evoluti per Basi di Dati, Portoferraio (Isola
d’Elba), 19-21 Giugno 2002.
15 XPeer: A Self-organising XML P2P Database System Sartiani, C., Manghi,
P., Ghelli, G. and Conforti, G. P2P&DB Workshop, in conjunction with
EDBT Conference 2004, Heraklion, Crete, Greece.
16 A Self-organizing XML P2P Database System, Extended Abstract Sartiani,
C., Manghi, P., Ghelli, G. and Conforti, G. XII Convegno nazionale su
Sistemi Evoluti per Basi di Dati, S.Margherita di Pula (CA), 21-23 Giugno
2004.
18 D. Colazzo, G. Ghelli, P. Manghi, C. Sartiani. Types for Path Correctness
of XML Queries. XIII Convegno nazionale su Sistemi Evoluti per Basi di
Dati, Brixen-Bressanone, Italy, 20-22 June, 2005.
21 Candela L., Castelli D., Manghi P., Pagano P. Typing OpenDLib Repository
Service: Strengths of an Information Object Type Language. 1st European
Workshop on the use of Digital Object Repository Systems in Digital Libraries (DORSDL), held in conjunction with ECDL2006, Alicante, Spain,
21st of September 2006.
22 Conforti, G., Ghelli, G., Manghi, P., Sartiani, C. Scalable Query Dissemination in XPeer ICDT Workshop on Emerging Research Opportunities in
Web Data Management EROW2007, Barcelona, Spain, 2007.
6
25 Candela L., Manghi P., Pagano P. An Architecture for Type-based Repository
Systems DELOS Proceedings of the Second Workshop on Foundations
of Digital Libraries. In conjunction with 11th European Conference on
Research and Advanced Technologies on Digital Libraries (ECDL2007),
Budapest, Hungary, September 20, 2007.
28 M. Artini, L. Candela, D. Castelli, P. Manghi, M. Mikulicic Sustainable Digital Library Systems over the DRIVER Repository Infrastructure. Short
Paper, ECDL Conference, Aarhus, Denmark, September 2008.
7