Curriculum Vitae di Paolo Coppola

Ricercatore universitario, settore scientifico disciplinare INF/01: Informatica.
Università di Udine.
Facoltà di Lettere e Filosofia.
Dipartimento di Matematica e Informatica.

Nato a Roma, il 04 novembre 1973.

Studi

• Dottore di Ricerca in Informatica, Università di Udine, 2002.
  Tesi: On the Complexity of Optimal Reduction of Functional Programming Languages;
  Relatore: Simone Martini.
• Laurea in Scienze dell'Informazione, Università di Udine,1997.
  Votazione: 110 su 110 con lode.

Partecipazione a scuole

• 18-29 maggio 1998: Scuola Nazionale dei Dottorati di Informatica delle Facoltà di Scienze, Bertinoro (Italia);
• 10-13 aprile 1999: School in Logic and Computation, Edinburgh (Gran Bretagna).

Attività

Posizioni

• (Novembre 2001 - novembre 2002) Assegnista di ricerca. Dipartimento di Matematica e Informatica, Università di Udine.
• (30 dicembre 2002 - oggi) Ricercatore (INF/01: Informatica), Università di Udine

Attività organizzativa

• Rappresentante delle Facoltà nel Consiglio Direttivo del Centro Servizi Informatici e Telematici dell'Università di Udine.
• Rappresentante dei ricercatori nel Consiglio di Facoltà di Lettere e Filosofia.
• Rappresentante della Facoltà di Lettere nella commissione permanente delle facoltà del Centro Servizi Informatici e Telematici.
• Membro della commissione orari della Facoltà di Lettere e Filosofia.
• Membro della commissione paritetica per il riparto del contributo studenti della Facoltà di Lettere e Filosofia.
• Membro della commissione bibliteche del Dipartimento di Matematica e Informatica.
• Membro della commissione spazi del Dipartimento di Matematica e Informatica.

Attività scientifica

Interessi di ricerca

• Implementazione di linguaggi funzionali.
• Logiche per computazioni con risorse limitate.
• Applicazioni per dispositivi mobili basate su contesto.

Progetti di ricerca

• Responsabile: contratto di ricerca 2004-2005 ``Sistema di autoadattamento dei dispositivi di comunicazione mobile al variare degli ambienti residenziali''. Importo globale amministrato e finanziato dalla ditta CRS s.r.l di Gemona del Friuli: 50.000,00 euro.
• Partecipante: TMR 1998-2001 ``Linear Logic in Theoretical Computer Science''. Principal contractor: Université Marseille.
• Partecipante: progetto cofinanziato MURST 2001-2003 ``Logica Lineare e oltre''. Responsabile nazionale: Andrea Asperti (Bologna).
• Partecipante: progetto cofinanziato MIUR 2003-2004 ProToCoLLo ``From proof to computation through linear logic''. Coordinatore scientifico: Simona Ronchi Della Rocca (Torino).
• Partecipante: progetto PRIN cofinanziato MIUR 2004-2005 FOLLIA ``Fondazioni Logiche di Linguaggi Astratti di Programmazione'' (Logical foundations of abstract programming languages). Coordinatore scientifico: Simona Ronchi Della Rocca (Torino).
• Partecipante: progetto ``ICT for EU-India Cross Cultural Dissemination'' 2004-2006 cofinanziato dalla Commissione Europe nell'ambito del programma EU-India Economic Cross Cultural Programme. Project co-ordinator: Furio Honsell (Udine).

Altra attività scientifica

• Attività di referee er le conferenze PPDP2000, CSL2001, FOSSACS02, LICS2003, MobileHCI2003, RTA2004, LICS2004, TLCA2005 e per le riviste Journal of Functional Programming e Theoretical Computer Science B.
• Membro del comitato organizzativo di MobileHCI2003.
• Membro del LIDA: Laboratorio Informatico per la Documentazione Storico-Artistica.

Attività didattica

Corsi di laurea/diploma universitario

• Laboratorio Informatico presso il corso di Laurea in Scienze e Tecnologie Multimediali, Facoltà di Scienze della Formazione di Udine durante gli anni accademici 2000/2001 e 2001/2002.
• Laboratorio di Programmazione presso il corso di Laurea in Tecnologie Web e Multimediali, Facoltà di Scienze Matematiche Fisiche e Naturali di Udine durante gli anni accademici 2001/2002, 2002/2003 e 2003/2004.
• Programmazione presso il corso di Laurea in Tecnologie Web e Multimediali, Facoltà di Scienze Matematiche Fisiche e Naturali di Udine durante gli anni accademici 2003/2004 e 2004/2005.
• Gestione Automatica degli Archivi e delle Biblioteche presso il corso di Laurea in Conservazione dei Beni Culturali, Facoltà di Lettere e Filosofia di Udine durante l'anno accademico 2001/2002.
• Informatica per gli Archivi e le Biblioteche presso il corso di Laurea in Conservazione dei Beni Culturali, Facoltà di Lettere e Filosofia di Udine durante gli anni accademici 2002/2003, 2003/2004 e 2004/2005.
• Elementi di Informatica e Scienza della Catalogazione dei Beni Culturali presso il corso di Laurea in Conservazione dei Beni Culturali, Facoltà di Lettere e Filosofia di Udine durante l'anno accademico 2004/2005.
• Fondamenti di Informatica per gli Umanisti presso i corsi di Laurea in Lettere e Conservazione dei Beni Culturali, Facoltà di Lettere e Filosofia di Udine durante l'anno accademico 2004/2005.

Corsi non universitari

• 1996: insegnante di corsi di MS-Dos, Windows e Visual Basic con contratto di collaborazione coordinata e continuativa presso la ditta ``Password s.r.l.'' di Manzano (UD);
• 1998: insegnante di corsi di Informatica di base, Windows, suite Office con contratto di collaborazione coordinata e continuativa per il CEFAP;
• aprile-giugno 2000: insegnante per il corso di programmazione Java per lo IAL di Udine;
• settembre-novembre 2000: insegnante per il corso ``Internet - Posta elettronica - Ricerca in WWW'' per l'Associazione Piccole e medie Imprese di Udine;
• febbraio-marzo 2003: insegnante per un corso di aggiornamento su Java presso la ditta Data Consult di Pordenone;
• 30 agosto-1 settembre 2005: ``XML and digitization'', Summer school on IT, Hyderabad, India.

Relazioni e controrelazioni di Tesi

• 24/11/2004: controrelatore della tesi ``I siti web delle biblioteche pubbliche italiane: censimento e analisi (2002-2004)''. Laureando Massimo: Milan. Relatore: Prof.ssa Angela Nuovo. Corso di Laurea in Conservazione dei Beni Culturali. Facoltà di Lettere e Filosofia. Università di Udine.
• 06/10/2005: relatore della tesi ``Modifica di un programma open-source per la realizzazione di VPN basate su SSL''. Laureando: Luca Martincigh. Tutor: Ing. Carlo Daffara. Corso di Laurea in Tecnologie Web e Multimediali. Facoltà di Scienze Matematiche Fisiche e Naturali. Università di Udine.
• 06/10/2005: relatore della tesi ``Studio sull’Apprendimento Ontogenetico e Filogenetico con Reti Neurali Evolutive''. Laureando: Alessandro De Nardi. Correlatore: Prof. Goffredo Pieroni. Corso di Laurea in Informatica. Facoltà di Scienze Matematiche Fisiche e Naturali. Università di Udine.

Pubblicazioni

Riviste

ACM04

Andrea Asperti, Paolo Coppola, and Simone Martini.
(Optimal) duplication is not elementary recursive.
Information and Computation, 193Issue 1:21-56, 2004.

CR05

Paolo Coppola and Simona Ronchi Della Rocca.
Principal Typing for Lambda Calculus in Elementary Affine Logic.
Fundamenta Informaticae, 65(1-2):87-112, 2005.

CMar

Paolo Coppola and Simone Martini.
Optimizing Optimal Reduction.
ACM Transaction of Computational Logic, to appear.

Atti di Congressi

ACM00

Andrea Asperti, Paolo Coppola, and Simone Martini.
(Optimal) duplication is not elementary recursive.
In Conference Record of POPL '00: The 27th ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages, pages 96-107, Boston, Massachusetts (USA), 19-21 January 2000. ACM Press.

CC00

Luca Chittaro and Paolo Coppola.
Animated Products as a Navigation Aid for E-commerce.
In CHI 2000 Extended Abstracts, Conference on Human Factors in Computing Systems, 1-6 April 2000.

CM01

Paolo Coppola and Simone Martini.
Typing Lambda Terms in Elementary Logic with Linear Constraints.
In Samson Abramsky, editor, Proceedings of Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, volume 2044 of Lecture Notes in Computer Science, pages 76-90. Springer-Verlag, May 2001.

CR03

Paolo Coppola and Simona Ronchi Della Rocca.
Principal Typing in Elementary Affine Logic.
In Martin Hofmann, editor, Proceedings of Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, volume 2701 of Lecture Notes in Computer Science, pages 90-104. Springer-Verlag, June 2003.

CDR05

Paolo Coppola, Ugo Dal Lago, and Simona Ronchi Della Rocca.
Elementary affine logic and the call-by-value lambda calculus.
In Pawel Urzyczyn, editor, TLCA, volume 3461 of Lecture Notes in Computer Science. Springer, 2005. pages 131-145.

Tesi

Cop97

Paolo Coppola.
Complessità e riduzione ottimale nel lambda calcolo.
Master's thesis, Università di Udine, 1997.

Cop02

Paolo Coppola.
On the Complexity of Optimal Reduction of Functional Programming Languages.
PhD thesis, University of Udine, 2002.

Libri e Contributi in Collezioni

CM04

Paolo Coppola and Stefano Mizzaro.
Laboratorio di programmazione in Java.
Apogeo, 2004.
288 pagine.

CDDM04

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, and Stefano Mizzaro.
The concept of relevance in mobile and ubiquitous information access.
In F. Crestani, M. dunlop, and S. Mizzaro, editors, Mobile and Ubiquitous Information Access, volume 2954 of Lecture Notes in Computer Science, pages 1-10. Springer-Verlag, Berlin Heidelberg, 2004.

Atti di Workshop

CDDM02

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, and Stefano Mizzaro.
From E-Relevance to W-Relevance.
In M.-K. Leong and G. Loudon, editors, Mobile Personal Information Retrieval, Proceedings of the SIGIR2002 Workshop, pages 64-72, Tampere, Finland, aug 2002.

CDD⁺05a

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, and Paolo Zandegiacomo Riziò.
Information Filtering and Retrieving of Context-Aware Applications Within the MoBe Framework.
In Proceedings of CIR 2005 - International Workshop on Context-Based Information Retrieval, CONTEXT 2005, Paris, France, 5 July 2005.

CDD⁺05b

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, and Paolo Zandegiacomo Riziò.
MoBe: A Framework for Context-Aware Mobile Applications.
In Proceedings of CAPS 2005 - Workshop on Context Awareness for Proactive Systems, Helsinki, Finland, 16-17 June 2005.

CDD⁺05c

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, and Paolo Zandegiacomo Riziò.
MoBe: Context aware mobile application on mobile devices for mobile users.
In Proceedings of ECHISE 2005 - 1st International Workshop on Exploiting Context Histories in Smart Environments, Pervasive 2005, Munich, Germany, 8-13 May 2005.

Seminari

• 3-4 febbraio 1998: Fourth Italian Workshop on Functional Programming FUN'98, Como (Italia), titolo del seminario: ``P & P-Space Complete Problems with Optimal Reduction'';
• 4-6 giugno 1999: 2nd Annual Workshop of the European TMR LINEAR Network, Edinburgh (Gran Bretagna), titolo del seminario: ``Complexity of optimal sharing in elementary logic'';
• 19-21 gennaio 2000: POPL'00 International Conference, Boston (U.S.A.), titolo del seminario: ``(Optimal) duplication is not elementary recursive'';
• 2-16 maggio 2000: Dipartimento di Matematica e Informatica dell'Università degli Studi di Udine, seminario dal titolo: ``Programmare in VRML: lo standard per le applicazioni 3D su Internet'';
• 22-25 aprile 2001: 4th Annual Workshop of the European TMR LINEAR Network, Bertinoro (Italia), titolo del seminario: ``Typing Lambda Terms in Elementary Logic with Linear Constraints'';
• 2-5 maggio 2001: TLCA'01 International Conference, Kraków (Poland), titolo del seminario: ``Typing Lambda Terms in Elementary Logic with Linear Constraints'';
• 24-25 gennaio 2002: Workshop annuale progetto LINEAR, Bologna, titolo del seminario: ``Tipi principali in EAL'';
• 10-12 febbraio 2003: Workshop La Logica Lineare, Roma, titolo del seminario: ``Proof-nets, Optimal Reduction, Complexity Bounded Logics'';
• 10-12 giugno 2003: TLCA'03 International Conference, Valencia (Spain), titolo del seminario: ``Principal Typing in Elementary Affine Logic'';
• 15 giugno 2004: Dipartimento di Matematica e Informatica dell'Università degli Studi di Udine, seminario dal titolo: ``Optimizing Optimal Reduction'';
• 6-7 settembre 2004: Workshop Implicit Computational Complexity and Logic, Parigi (Francia), titolo del seminario: ``Type inference algorithm in Elementary Affine Logic'';
• 29-30 agosto 2005: Workshop on IT for Preservation and Dissemination of Cultural Heritage, Hyderabad (India), titolo del seminario: ``E-Dvara: design and pragmatics'';
• 31 agosto 2005: Workshop on IT for Industry, Education and Research, Hyderabad (India), titolo del seminario: ``ICT incubators in Udine: a first-hand experience'';
• 2 settembre 2005: seminario dal titolo ``Web 3 initiatives at the University of Udine'', Pune (India).