Titoli e Pubblicazioni
Transcript
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