Torna alla biblioteca

id=112
    Roberto Di Cosmo

    Intervista

    La grande speranza nel software libero Parigi, 21/01/1998

    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 ).