Roberto Di Cosmo

Interviste

• "La grande speranza nel software libero" (Parigi, 21/01/98)

Biografia

Nato a Parma nel 1963, Roberto di Cosmo (http://www.dmi.ens.fr/~dicosmo) si è laureato in informatica presso la Scuola Normale Superiore di Pisa dove ha anche conseguito un dottorato di ricerca. Dal 1993 è professore associato di Informatica alla Scuola Normale Superiore di Parigi.

Si interessa attivamente alla ricerca in informatica teorica, e più specificamente alla programmazione funzionale, programmazione parallela e distribuita, riscrittura, semantica dei linguaggi di programmazione, isomorfismi di tipo e logica lineare. Segue con vivo interesse l'evoluzione degli aspetti sociologici dell'informatica nella società di oggi e contribuisce dal 1998 con libri, seminari e articoli di divulgazione a riannodare i legami tra università e mezzi di comunicazione.

Bibliografia

Tra le sue pubblicazioni ricordiamo:

• Isomorphisms of types: from lambda-calculus to information retrieval and language designBirkhauser, 1995.

e alcuni tra i suoi lavori più recenti:

• Roberto Di Cosmo, A brief history of rewriting with extensionality, in Fairouz Kamareddine (editor) International Summer School on Type Theory and Rewriting, Glasgow, September 1996 (una selezione di foto riguardanti l'argomento è disponibile all'indirizzo: ftp://ftp.ens.fr/pub/dmi/users/dicosmo/Slides/GLA96.ps.gz).
• Pierre-Louis Curien and Roberto Di Cosmo, A confluent reduction system for the lambda-calculus with surjective pairing and terminal object in Journal of Functional Programming, 6(2):299-327, 1996.
• Roberto Di Cosmo and Delia Kesner, Combining algebraic rewriting, extensional lambda calculi and fix points Theoretical Computer Science, 169(2):201-220, 1996.
• Roberto Di Cosmo, Second order isomorphic types A proof theoretic study on second order lambda-calculus with surjective pairing and terminal object Information and Computation, pages 176-201, 1995.
• Maria-Virginia Aponte, Roberto Di Cosmo, and Catherine Dubois Signature subtyping modulo type isomorphisms, In via di pubblicazione.
• Vincent Danos and Roberto Di Cosmo The Linear Logic Primer, 1997, In preparazione (una versione preliminare è disponibile all’indirizzo http://www.dmi.ens.fr/ dicosmo).
• Roberto Di Cosmo, Jean-Vincent Loddo, and Stéphane Nicolet, A game semantics foundation for logic programming, In via di pubblicazione.
• Roberto Di Cosmo Piège dans le Cyberespace Multimédium, 17 March 1998 (disponibile in rete http://www.mmedium.com/dossiers/piege).