Curriculae of Luca Paolini

Personal Data

• Current position: Researcher
• Date and Place of birth: 21/08/1970 Aosta  (Italy)
• Nationality: italian
• Status: single

Education

• 23/01/2004.
  Doctorat de Mathématiques Discrètes et Fondements de l'Informatique ,  Université de la Méditerranée.
  Dottorato in Ricerca in Informatica ,  Università degli Studi di Genova.
  Thesis Title: "Lambda-Theories: some investigations".
  Supervisor: Jean-Yves Girard and Giuseppe Rosolini.
  Referees: A. Bucciarelli, S.Ronchi Della Rocca.
  Giudizio: Eccellente.
  Premiata dal capitolo italiano dell'EATCS il 15 ottobre 2004 a Roma.
   
• 27/07/2000.
  DEA de Mathématiques Discrètes et Fondements de l'Informatique ,  Université de la Méditerranée.
Sujet du Mémoire de DEA: "Éléments de Ludique".
Rapporteur: Jean-Yves Girard.
Mention: Bien.


• 23/03/1998. Laurea in Scienze dell'Informazione, Università di Torino.
Titolo della Tesi di Laurea: "La Chiamata per valore e La Valutazione Pigra nel Lambda Calcolo".
Relatore: Simona Ronchi Della Rocca
Controrelatore: Mariangiola Dezani-Ciancaglini.
Voto:110/110 con Lode e Dignità di Stampa.
Premiata dal  Senato Accademico dell'Università di Torino.


• 23/08/1989. Diploma di Maturita', IPR di Aosta. Voto:60/60.

  Others Activities

• 1991 - 1993. Molteplici esperienze di insegnamento presso scuole medie superiori.

Teaching Assistant Activity

• 2005. Corso di Introduzione alla Programmazione per un Master di Bioinformatica.
• 10/01/2001 - 31/07/2001. Supporto Didattico per Logica Matematica, Università di Genova.
• 2000 Serie di 10h di seminari sulla logica lineare e la Ludica

Research Activity

• Research interests:
Mathematical Study of Syntax and Semantics of Programming Languages and Logics.

Partecipation in Project of Research

• From Proof to Computation through Linear Logic  n.2002018192 project partially funded by the Ministero dell'Istruzione, Università e Ricerca
• Applied Semantics II  IST-2001-38957 APPSEM is a thematic network funded by the IST programme of the European Union.
• Dynamic Assembly, Reconfiguration and Type-Checking ISDT-2001-33477 project in the Global Computing pro-active initiative of Future and Emerging Technologies
• Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi    n.9901248584 project partially funded by the Ministero dell'Università e Ricerca Scientifica e Tecnologica

Conferences, Workshops, Seminars, Short Visits

• 13/07/04 - 17/07/04. Turku (Finland). Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS'04).
  
• 13 July 2004. Turku (Finland). Workshops on Intersection Types and Related Systems (ITRS'04) a satellite workshops of the Joint Meeting ICALP2004/LICS2004.
• 10/05/04 - 14/05/04. Xi'an (China). International Smposium on Domain Theory 2004 (ISDT'04).
  
• 18/12/03 - 19/12/03. Verona (Italy). Protocollo2003.
  
• 15/12/03 - 17/12/03. Udine (Italy). Cometa 2003  
  
• 28/01/02 - 1/03/02. Marseille(France).  Logic and Interaction Weeks.
• 04/10/01 - 06/10/01. Torino (Italy).  Italian Conference on Theoretical Computer Science (ITCS'01).
• 02/04/01 - 06/04/01. Genova (Italy).  European Joint Conferences on Theory and Practice of Software (ETAPS'01).
• 29/6/99 - 6/7/99. Trento (Italy). FLOC'99 (LICS).
• 9/9/98 - 11/9/98. Saint Dalmas de Tende (France). FMC "Linear Logic in Computer Science".

Referee Activity

• 2004.  The Seventh International Conference on Typed Lambda Calculi and Applications (TLCA'05). Nara (Japan).
  
• 2004.  The European Symposium on Programming (ESOP'05).  Edinburgh (Scotland).
• 2004.  Workshop on Intersection Types and Related Systems (ITRS '04). Turku (Finland).  
• 2003.  Final Workshop of the project COMETA (Cometa'03). Udine (Italy).
• 2002.  Foundations of Software Science and Computation Structures  (FOSSACS'03). Warsaw (Poland).
• 2002   Final Workshop of the project TOSCA (TOSCA'02). Venezia, Italia. 
• 2001   26th International Symposium on Mathematical Foundations of Computer Science 2001   (MFCS'01). Marianske Lazne, Czech Republic.