Curriculum Vitae Europass

(1)

Curriculum Vitae Europass

Informazioni personali

Cognome/i nome/i

Luca Luigi Paolini

Nazionalità Italiana Data di nascita 21/8/1970

Sesso Maschile

Web Page http://www.di.unito.it/~paolini

Posizioni Accademiche e Professionali

2008-oggi Ricercatore Universitario Confermato, posizione permanente, settore scientifico di- sciplinare INF/01 (Informatica), Università degli Studi di Torino, October 1st, 2008.

2005-2008 Ricercatore Universitario, Università degli Studi di Torino, October 1st, 2005.

2003-2005 Assegnista di Ricerca, Università degli Studi di Torino,October 1st, 2003.

Istruzione e Formazione

2004 Dottorato di Ricerca in Informatica and Doctorat en Mathématiques Discrètes et Fondements de l’Informatique conferiti, in cotutela italo-francese, dall’Università degli Studi di Genova e dal Université de la Méditerranée (Aix-Marseilles II). Titolo della Tesi: “Lambda-Theories: some investigations”. Joint advisors: Jean-Yves Girard and Giuseppe Rosolini. Esaminatori: Antonio Bucciarelli and Simona Ronchi Della Rocca.

Valutazione: eccellente (Très Honorables). Finanziata dal “Ministero dell’Universita e Ricerca Scientifica”. Data di sostenimento: 23/01/2004.

2000 Diplôme d’Études Approfondies en Mathématiques Discrètes et Fondements de l’Informatique conferita da Université de la Méditerranée (Aix-Marseilles II). Titolo del- la Tesi: “Élements de Ludique” (in francese). Advisor: Jean-Yves Girard. Valutazione:

Buono.

1998 Laurea in Scienza dell’Informazione conferita dall’Università degli Studi di Torino.

Titolo della tesi: “La chiamata per valore e la valutazione pigra nel lambda calcolo” (in Italiano). Advisor: Simona Ronchi Della Rocca. Esaminatore: Mariangiola Dezani- Ciancaglini. Valutazione: 110/110 con Lode e “Dignità di Stampa”.

1989 Diploma Di Maturità “Tecnico dell Industrie Elettriche ed Elettroniche” by IPR, Aosta.

Valutazione: 60/60.

Premi e Sovvenzioni

2009 Grant for a six-months stay in Oxford (UK) to visit Prof. Luke Ong at the Computer Laboratory of the Oxford University, Funded by the Università di Torino

(2)

2004 Two-yearspost-doc fellowship, funded by MURST (the Research Office of the Italian Government)

2004 Prize for best Italian PhD Thesis on Theoretical Computer Science of 2004 Awar- ded by Italian Chapter of the European Association for Theoretical Computer Science 2001 Grant for co-tutored doctorates, funded by the French “Ministère de la Recherche”

to support the mobility.

2001 Grant for the participation in the NATO Summer School “Proof and System Re- liability” (Marktoberdorf, Germany), allocated by the Advanced Study Institute of the NATO Science for Peace and Security Programme.

1999 Prize for best Degree Thesis on Computer Science of 1998. Awarded by Academic Senate of the Università di Torino.

Comitati Scientifici

2012 Chair of ITRS 2012 Sixth Workshop on Intersection Types and Related Systems, colocated LICS 2012, Dubrovnik, Croatia.

2012 LSFA 2012 7th Workshop on Logical and Semantic Frameworks, with Applications.

Rio de Janeiro, Brazil.

2011 LSFA 2011 6th Workshop on Logical and Semantic Frameworks, with Applications.

Belo Horizonte, Brazil.

2010 LSFA 2010 Fifth Workshop on Logical and Semantic Frameworks, with Applica- tions. Held in conjunction with 7th International Colloquium on Theoretical Aspects of Computing. Natal, Brazil.

2009 Linearity 09 First International Workshop on Linearity. Held in conjunction with CSL 2009, 18th EACSL Annual Conference on Computer Science Logic. Coimbra, Portugal.

2009 TLCA 09 Ninth International Conference on Typed Lambda Calculi and Applications.

Held as part of the fifth edition of the International Conference on Rewriting, Deduction, and Programming (RDP 09). July 01-03 2009 Brasilia, Brazil.

2009 LSFA 09 Fourth Workshop on Logical and Semantic Frameworks, with Applications.

June 28th, 2009 - Brasìlia, Brazil.

2008 LSFA 08 Third Workshop on Logical and Semantic Frameworks, with Applications.

August 26th, 2008 - Salvador, Bahia, Brazil.

Attività editoriali

2012 Ongoing special Issue ofFundamenta Informaticae. Selected Papers of Intersection Types and Related Systems 2008. CoEditor: Silvia Ghilezan.

2011 Special Issue ofLogical Methods in Computer Science. Selected Papers of the Conference Typed Lambda Calculi and Applications 2009. CoEditors: Patrick Baillot, Pierre-Louis Curien.

2008-oggi Publicity Chair of the International Conference on Typed Lambda Calculi and Applications.

2006-oggi Member of the Editorial Board of the TLCA Open Problem List published in electronic form at http://tlca.di.unito.it/opltlca/.

Gestione Progetti

2011-oggi Member of the Management Committee of COST-Action IC0901 - Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems.

(3)

Organizzazione di eventi

2012 Member of the organizing commitee of “Computer Science in Logic 2013”. It will be located in Torino.

2011 Organizing co-chair (with Alessandro Armando and Maria Paola Bonacina) of the se- cond annual meeting of the european project IC0901 Rich-Model Toolkit - An Infra- structure for Reliable Computer Systems co-located with International Conference on Formal Verification of Object-Oriented Software and International Symposia on Formal Methods for Components and Objects in Turin, Italy, on October 3-4.

2010 Final meeting of CONCERTO research project (joint meeting with the Projet CNRS PICS ’Logique Linéaire et applications’) in Torino, June 09-11, 2010.

2004 Final meeting of the PROTOCOLLO research project in Torino, 15-17 September 2004.

Partecipazione a Progetti di Ricerca

2012 “Metodi logici per il trattamento dell’informazione” project partially funded by “Ministero Italiano dell’Istruzione, Università e Ricerca”.

2012 “Sharing and Sequentiality in Proof Systems with Locality” (Project IE111499).

International Exchanges Scheme - 2011/R2 (inc. RIA) of Royal Society.

2010 European COST-ACTION IC0901: Rich-Model Toolkit.

2010 Interreg Alcotra: MyMed, 2010-2012.

2010 French project PICS (Projet International de Coopration Scientifique): Logique linéaire et applications.

2008 “Controllo e certificazione dell’uso delle risorse” (CONCERTO) project partially funded by “Ministero Italiano dell’Istruzione, Università e Ricerca”, prot. 2007BHXCFH_001, 2008.

2006 “Rete Italo-francese sulla logica e la geometria della computazione” project partially funded by “Ministero Italiano dell’Istruzione, Università e Ricerca” to boost the international cooperation of Italian University 2006-2009, prot. II04CE27L4.

2004 “Fondazioni Logiche di Linguaggi Astratti di Programmazione” (FOLLIA) project partially funded by “Ministero Italiano dell’Istruzione, Università e Ricerca”, n. 2004011194.

2004 “The Types Project” (TYPES), European Coordination Action funded by UE, n.510996.

2002 “From Proof to Computation through Linear Logic” (PROTOCOLLO) project partially funded by “Ministero Italiano dell’Istruzione, Università e Ricerca”, n.2002018192.

2001 “Dynamic Assembly, Reconfiguration and Type-Checking” (DART) project in the Global Computing pro-active initiative of Future and Emerging Technologies, ISDT-2001-33477.

2001 “Applied Semantics II” (APPSEM), a thematic network funded by the IST programme of the European Union, IST-2001-38957 APPSEM.

2000 Computational Metamodels (COMETA) project partially funded by “Ministero Italiano dell’Università e Ricerca Scientifica e Tecnologica”.

1999 “Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi” (TOSCA) project partially funded by “Ministero Italiano dell’Università e Ricerca Scientifica e Tecnologica”, n.9901248584.

1998 “TMR Linear”, a thematic network funded by the European Union, 1998-2000.

(4)

Insegnamento in

“International Summer Schools”

2009 “Parametric Lambda Calculus” at theInternational School on Rewriting - ISR’09 has been taking place in Brasília (Brazil), June 22–26, 2009.

2006 “Semantics of PCF and the full abstraction problem” at theThird International Sum- mer School of Torino-Chambery, has been taking place in Collegno (Italia) at Università Italo-Francese dal 28 Agosto al 1 Settembre 2006.

Insegnamento

2012-13 “Semantica dei Linguaggi di Programmazione”, Corso per gli studenti del Dottorato di Informatica, Università di Torino.

2012-13 “Informatica”, Laurea Triennale in Matematica per la Finanza e l’Assicurazione all’Università di Torino.

2011-12 “Semantica dei Linguaggi di Programmazione”, Laurea Magistrale in Informatica, Università di Torino.

2011-12 “Informatica”, Laurea Triennale in Matematica per la Finanza e l’Assicurazione all’Università di Torino.

2010-11 “Linguaggi Formali e Traduttori”, Laurea Triennale in Informatica, Università di Torino.

2009-10 “Programmazione 2”, Laurea Triennale in Informatica, Università di Torino.

2006 “Programmazione”, Master di Bioinformatica at “Fondazione per le Biotecnologie”, Torino.

2005 “Programmazione”, Master di Bioinformatica at “Fondazione per le Biotecnologie”, Torino.

2001 Teaching assistantship to “Logica Matematica”, Dipartimento Di Informatica e Scienza dell’Informazione, Università degli Studi di Genova.

2000 Lectures (10 ore) of “Introduzione alla Ludica” at Dipartimento di Informatica, Università degli Studi di Torino.

1990-91 Annual substitute teacher of Physics at IPR di Verrès (Aosta).

Pubblicazioni Selezionate

2011

Luca Paolini, Elaine Pimentel, and Simona Ronchi Della Rocca. Strong normalization from an unusual point of view. Theoretical Computer Science, 412(20):1903–1915, 2011

2011 Marco Gaboardi, Luca Paolini, and Mauro Piccolo. Linearity and pcf: a semantic in- sight! In ICFP 2011 - The 16th ACM SIGPLAN International Conference on Functional Programming, pages 372–384, Tokyo, Japan, September 2011. ACM

2009 Luca Paolini and Mauro Piccolo. A process-model for linear programs. In Stefano Be- rardi, Ferruccio Damiani, and Ugo de’Liguoro, editors, Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Se- lected Papers, volume 5497 of Lecture Notes in Computer Science, pages 289–305.

Springer, 2009

2008 Luca Paolini. Parametric λ-theories. Theoretical Computer Science, 398(1-3):51–62,

(5)

2008 Luca Paolini and Mauro Piccolo. Semantically linear programming languages. In 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pages 97–107, Valencia, Spain, July 2008. ACM

2006 Luca Paolini. A stable programming language. Information and Computation, 204(3):339–375, 2006

2006 Luca Paolini, Elaine Pimentel, and Simona Ronchi Della Rocca. An operational cha- racterization of strong normalization. In Luca Aceto and Anna Ingólfsdóttir, editors, Proceedings of 9th International Conference on Foundations of Software Science and Computation Structures – FOSSACS 2006, Held as Part of the European Joint Con- ferences on Theory and Practice of Software 2006, volume 3921 of Lecture Notes in Computer Science, pages 367–381, Vienna, Austria, March 2006. Springer

2004 Simona Ronchi Della Rocca and Luca Paolini. The Parametric λ-Calculus: a Meta- model for Computation. Texts in Theoretical Computer Science: An EATCS Series.

Springer-Verlag, Berlin, 2004

2004 Luca Paolini and Simona Ronchi Della Rocca. Parametric parameter passing lambda- calculus. Information and Computation, 189(1):87–106, February 2004

2001 Luca Paolini. Call-by-value separability and computability. In Antonio Restivo, Simona Ronchi Della Rocca, and Luca Roversi, editors, Proceedings of the 7th Italian Confe- rence in Theoretical Computer Science - ICTCS’01 (Torino, Italy, October 4-6, 2001), volume 2202 of Lecture Notes in Computer Science, pages 74–89. Springer-Verlag, 2002

Lingue

Madrelingua/e Italiano Autovalutazione

Livello europeo^(*)

Comprensione Parlato Scritto

Ascolto Lettura Interazione Produzione

orale

Français ^C1 _avanzato^Livello ^C2 _avanzato^Livello ^C1 _avanzato^Livello ^B2 _intermedio^Livello ^B2 _intermedio^Livello English ^B1 _intermedio^Livello ^C1 _avanzato^Livello ^B1 _intermedio^Livello ^B2 _intermedio^Livello ^B2 _intermedio^Livello

Il Dichiarante