CURRICULUM VITAE OF LUCA ROVERSI

Date: December 19, 2008.

Contents

Contents
 1.  Curriculum studiorum
 2.  Professional status
 3.  Services for Università degli Studi di Torino
 4.  Teaching activity at University
   4.1.  Courses
   4.2.  Tutoring activities
 5.  Divulgation
 6.  Other teaching activities
   6.1.  Higher schools
   6.2.  Refresher course
 7.  Scientific activity
   7.1.  Scientific spreading
   7.2.  Membership to international projects
   7.3.  Membership to national projects
   7.4.  Post-Doctoral periods
   7.5.  Participation to national and international schools
   7.6.  Revision activities
 8.  Classification of the bibliography
References
 9.  Assessments

1. Curriculum studiorum

10/11/1995:
Doctorate in Informatica, Università degli Studi di Pisa. Dissertation: “Semantics of Lambda Calculi designed from Intuitinistic Linear logic”, supervisor Prof.ssa Simona Ronchi Della Rocca. International referees: Prof. Martin Hyland, Cambridge — UK”, Prof. John Mitchell, Stanford — USA.
1/03/1990:
Laurea (quadriennale) in Scienze dell’Informazione: “Problema dell’Inferenza Automatica di Tipi Polimorfi nel λ-Calcolo”, suprevisor Prof.ssa Simona Ronchi Della Rocca, Dipartimento di Scienze dell’informazione — Università degli Studi di Torino.

2. Professional status

since 1st November 2002:
Associate professor, Facoltà di Scienze Politiche — Università degli studi di Torino.
16/07/1999 — 30/10/2002:
Researcher, Dipartimento di Informatica — Università degli studi di Torino.

3. Services for Università degli Studi di Torino

29/11/2006 — 6/12/2006:
Retraining stage, 40 hours for the personnelo of the Università degli Studi di Torino.
a.y. 2004/2006:
Membership of the Commissione servizi informatizzati di Facoltà, Facoltà di Scienze Politiche — Università degli Studi di Torino.
since a.y. 2002/2003:

4. Teaching activity at University

4.1. Courses.

since a.y. 2006/2007:
a.y. 2005/2006:
On sick leave.
a.y. 2004/2005:
a.y. 2003/2004:
since a.y. 2002/2003:
“Informatica di Base/Uso del Calcolatore elettronico”. Exams to check the acquired skills in the use of Personal computers, configured for standard office activities, Facoltà di Scienze Politiche — Università degli Studi di Torino.
a.y. 2002/2003:
a.y. 2001/2002:
“Informatica Applicata — Basi di Dati”. 30 hours for students of the 3rd year of “Scienze della Comunicazione”, Ivrea — Università degli Studi di Torino.
a.y. 2000/2001:
a.y. 1999/2000:
“Esercitazioni di laboratorio”. 14 hours for Corso “Basi di Dati I”, Corso di Laurea in Informatica, Dipartimento d’Informatica — Università degli Studi di Torino.
November 1992 — Dicember 1992:
“Semantica Algebrica Operazionale del Prolog”. 12 hours for Corso “Metodi per il Trattamento dell’Informazione”, Dipartimento di Scienze dell’Informazione — Università degli Studi di Pisa.

4.2. Tutoring activities.

March 2007 — current:
Bachelor thesis for laurea quinquennale “Plug-in per OpenOffice: dal formato open Dodcument Format al formato MetaPost”, candidate Andrea Roccatello.
March 2004 — current:
Bachelor thesis for laurea di I livello “Live! — I learn @ home”, candidate Claudio Grandi.
a.y. 2003/2004:
Bachelor thesis for Laurea specialistica Reti telematiche per applicazioni sociali ed economiche: “Comunità professionali in rete: come valutarne l’efficacia e il R.O.I.”, supervisor Ing. Guglielmo Trentin, reader Luca Roversi, candidate Giuseppe Morino.
a.y. 2001/2002:
a.y. 1998/1999:
October 1998 — May 1999:
Memoire de D.E.A. “Une logique pur la detection de code mort”, supervisor Luca Roversi, candidate Romain Anne, Université Paris VII — U.F.R de Sciences.

5. Divulgation

26/09/2007:
“L’Informatica come collante metodologico”, invited talk at the meeting:
“Verso una multimedialità sostenibile — Ripensare le tecnologie per le scienze umane”, for the twentieth anniversary of CISI.

6. Other teaching activities

6.1. Higher schools.

6/12/1995 — 22/12/1995:
Programming courses at Liceo Scientifico Sperimentale “A. Gramsci” — Ivrea.
1/11/1994 — 10/01/1995:
Programming courses at Liceo Scientifico Sperimentale “A. Gramsci” — Ivrea.

6.2. Refresher course.

18/01/2000 — 20/01/2000:
Participant to the course ECA-UNESCO “Formazione al tutorato di Ricercatori universitari”, for researchers, Torino.

7. Scientific activity

7.1. Scientific spreading.

06/09/2004 — 07/09/2004:
Invited talk ”Light languages and primitive recursive functions” at the workshop “Implicit Computational Complexity and Logic” of the project “ACI Nouvelles interfaces des mathmatiques GEOCAL”, Paris-Nord (Villetaneuse).
29/01/2003 — 01/02/2003:
Course “An Introduction to Intuitionistic Light Affine Logic”, of 2 hours, for doctoral stdents and researchers, mini doctoral school Chambéry-Torino in Theoretical Computer Science, Centre Langévin du CNRS, Aussois (73) — Francia.
25/04/2000 — 28/04/2000:
Course “Light Linear Logic” of 8 hours for researchers at Mathematischen Institut der Ludwig-Maximilians-Universitat (Münich).
June 1999 — July 1999:
Course “Un mini corso sul Lambda calcolo”, of 15 hours, for doctoral students of the Dipartimento di Informatica — Università degli Studi di Torino.
June 1995 — July 1995:
Course “Teoria di Base dei Domini di Scott”, of 18 hours, for doctoral studentsof the Dipartimento di Informatica — Università degli Studi di Torino.

7.2. Membership to international projects.

2002 — 2005:
Project IST-2001-33477 “DART” (Dynamic Assembly, Reconfiguration and Type-checking), researcher.
1998 — 2000:
Project TMR Network n. ERBFMRXCT980170: “Linear”, researcher.
1998 — 2000:
Project NATO n. HTECH.LG 960875: “Foundations of Object-Oriented, Functional and Parallel Programming”, researcher.
1996 — 1998:
Project HCM n. CHRX-CT92-0046: “Typed Lambda-Calculus”, researcher.

7.3. Membership to national projects.

2004 — 2006:
MURST 40%: “FOLLIA” (FOndazioni Logiche di LInguaggi Astratti di programmazione), researcher.
2002 — 2004:
MURST 40%: “PROTOCOLLO” (from PROof TO COmputations through Linear LOgic), researcher in charge of the research argument “Logic and computational complexity”.
2002 — 2004:
MURST 40%: “COMETA” (COMputational METAmodels) researcher in charge of the research argument “Models and types for computations with bounded complexity (Complexity)”.
2001 — 2002:
MURST 40%: “Semantica Logica e Logical Frameworks”, researcher.
2000 — 2002:
MURST 40%: “Logica Lineare e oltre”, researcher.

7.4. Post-Doctoral periods.

1/06/1998 — 31/05/1999:
Institute de Mathématiques de Luminy — CNRS (Marseille — Francia). “Marie Curie” fellowship of the european research project Training and Mobility of Researchers, contract n. ERBFMBICT972805. Title: “Types and Computations-as-Questions/Answers Protocol”, supervisor Prof. Jean-Yves Girard.
1/06/1997 — 31/05/1998:
Institute de Mathématiques de Luminy — CNRS (Marseille — Francia). “Marie Curie” fellowship of the european project Training and Mobility of Researchers, contract n. ERBFMBICT961411. Title: “Models of Lambda Calculus and Structural Rules”, supervisor Prof. Jean-Yves Girard.
1/11/1996 — 31/07/1997:
Brandeis University (Waltham, Massachusetts — Stati Uniti). NFS funds CDA-9504288 and CCR-9216185, fund ONR N00014-93-1-1015. Title: “Optimal evaluation of the Lambda Calculus”, Supervisor Prof. Harry Mairson.

7.5. Participation to national and international schools.

25/09/2007 — 27/09/2007:
“Elementi di Dinamica Non Lineare: Stabilità, Biforcazioni e Caos”, Politecnico di Milano — Italia.
19/08/2007 — 31/08/2007:
“International TYPES Summer School on Automated theorem proving and program verification”, Bertinoro — Italia.
25/09/1995 — 29/09/1995:
“Summer School on Semantics and Logics Computation”, Cambridge — Gran Bretagna.
28/06/1993 — 9/07/1993:
“International Summer School in Logic for Computer Science”, Chambery — Francia.
30/09/1991 — 11/10/1991:
“Advanced School on the Algebraic, Logical and Categorical Foundations of Concurrency”, Gargnano del Garda — Italy.

7.6. Revision activities.

since 1999:
Mathematical Review reviewer.
International conferences:
DCM07, CSL07, LICS07, TERM-GRAPH07, TLCA07, ITRS05, TLCA05, TABLEAUX05, ESOP04, POPL04, SAAC03, ICTCS03, TYPES03, CSL02, LICS02, TCS02, FOSSACS01, TLCA01, FOSSACS00, CSL00, ICC00, LICS99, FCT99, FI99, TLCA99, LICS98, TLCA97, CAAP97, TLCA95, CSL92.
Riviews:
Information & Computations, Mathematical Structures in Computer Science, Theoretical Computer Science.
Books:
Advances on Linear Logic II.

8. Classification of the bibliography

Reviews:
[DLMR04]. [AR02], [Rov00], [PRR99], [RR97].
Guest editor:
[RRDRR01].
International conferences:
[BBGR05], [RDRR01], [Rov99], [Rov98b], [Rov96], [PRL95].
International workshops:
[PRDRR05].
National conferences:
[Rov98a], [PR95], [Rov92].
National workshop:
[BBDM+05],
Technical reports:
[Rov06].
Doctoral dissertation:
[Rov95].

References

[AR02]    A. Asperti and L. Roversi. Intuitionistic light affine logic. ACM Transactions on Computational Logic, 3(1):1 – 39, January 2002.

[BBDM+05]    M. Baldoni, C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau, and L. Roversi. Esperienze di E-learning all’interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell’Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Settembre 2005.

[BBGR05]    M. Baldoni, C. Baroglio, C. Grandi, and L. Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294 – 295, Genova, July 2005. ECIG Edizioni Culturali Internazionali Genova.

[DLMR04]    U. Dal Lago, S. Martini, and L. Roversi. Higer-order linear ramified recurrence. In Proceedings of TYPES’04, volume 3085 of Lecture Notes in Computer Science, pages 178 – 193. Springer Verlag, December 2004.

[PR95]    A. Pravato and L. Roversi. λ! considered both as a paradigmatic language and as a meta-language. In Fifth Italian Conference on Theoretical Computer Science, Salerno (Italy), 1995.

[PRDRR05]    Elaine Pimentel, Simona Ronchi Della Rocca, and Luca Roversi. Intersection types: a proof-theoretical approach. In Proc. of STRUCTURES AND DEDUCTION - ICALP Workshop, Lisbon July 16-17, pages 189 – 204, July 2005. Presented at the workshop Structures and Deduction (SD’05).

[PRL95]    A. Pravato, S. Ronchi della Rocca, and Roversi L. Categorical semantics of the call-by-value lambda calculus. In Proc. of TLCA’95, Second International Symposium on Typed Lambda Calculus and Applications, volume 902 of Lecture Notes in Computer Science, pages 381–396. Springer-Verlag, 1995.

[PRR99]    A. Pravato, S. Ronchi della Rocca, and L. Roversi. The call by value λ-calculus: a semantic investigation. Mathematical Structures in Computer Science, 9(5):617 – 650, 1999.

[RDRR01]    S. Ronchi Della Rocca and L. Roversi. Intersection Logic. In Proceedings of CSL’01, volume 2412 of Lecture Notes in Computer Science, pages 414–428. Springer Verlag, 2001.

[Rov92]    L. Roversi. A compiler from Curry-typed λ-terms to linear-λ-terms. In Theoretical Computer Science: Proceedings of the Fourth Italian Conference, pages 330 – 344, L’Aquila (Italy), October 1992. World Scientific.

[Rov95]    L. Roversi. Semantics of lambda-calculi designed from Intuitionistic linear logic. PhD thesis, Dipartimento di Informatica, Università di Pisa, C.so Italia 40 – 56125 Pisa – Italy, February 1995.

[Rov96]    L. Roversi. a Type-Free Resource-Aware λ-Calculus. In Fifth Annual Conference of the EACSL (CSL’96), volume 1258 of Lecture Notes in Computer Science, pages 399 – 413, Utrecht (The Nederland), September 1996. Springer-Verlag.

[Rov98a]    L. Roversi. Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment. In Sixth Italian Conference on Theoretical Computer Science (ICTCS’98), pages 24 – 36, Prato (Italy), November 1998. World Scientific.

[Rov98b]    L. Roversi. A Polymorphic Language which is Typable and Poly-step. In Proceedings of the Asian Computing Science Conference (ASIAN’98), volume 1538 of Lecture Notes in Computer Science, pages 43 – 60, Manila (The Philippines), December 1998. Springer Verlag.

[Rov99]    L. Roversi. A P-Time Completeness Proof for Light Logics. In Ninth Annual Conference of the EACSL (CSL’99), volume 1683 of Lecture Notes in Computer Science, pages 469 – 483, Madrid (Spain), September 1999. Springer-Verlag.

[Rov00]    L. Roversi. Light affine logic as a programming language: a first contribution. International Journal of Foundations of Computer Science, 11(1):113 – 152, March 2000.

[Rov06]    L. Roversi. Weak Affine Light Typing for a poly-time fragment of System F. Technical Report RT 94/06, Dipartimento di Informatica — Università degli Studi di Torino, C.so Svizzera, n.185 — 10149 Torino — Italy, September 2006. 2nd revision: 14th October, 2007.

[RR97]    S. Ronchi della Rocca and L. Roversi. Lambda calculus and intuitionistic linear logic. Studia Logica, 59(3), 1997.

[RRDRR01]    G. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors. Theoretical Computer Science - 7th Italian Conference (ICTCS 2001), volume 2202 of Lecture Notes in Computer Science. Springer Verlag, October 2001.

9. Assessments

14/04/1999:
Qualified to the function of Maître de Conference — section 27 (INFORMATIQUE), french Conseil national des univerités.
20/10/1995:
Qualified to teach LIV. Informatica Industriale in italian higher schools, Ministero della pubblica istruzione, sovraintendenza per il Piemonte.