Biographical information
Short, english
An alumnus of the Scuola Normale Superiore di Pisa, with a PhD in Computer Science from the University of Pisa, Roberto Di Cosmo was associate professor for almost a decade at Ecole Normale Supérieure in Paris. In 1999, he became a Computer Science full professor at University Paris Diderot, where he was head of doctoral studies for Computer Science from 2004 to 2009. President of the board of trustees and scientific advisory board of the IMDEA Software institute and chair of the Software chapter of the National Committee for Open Science in France, he is currently on leave at Inria.
His research activity spans theoretical computing, functional programming, parallel and distributed programming, the semantics of programming languages, type systems, rewriting and linear logic, and, more recently, the new scientific problems posed by the general adoption of Free Software, with a particular focus on static analysis of large software collections. He has published over 20 international journals articles and 50 international conference articles.
In 2008, he has created and coordinated the european research project Mancoosi, that had a budget of 4.4Me and brought together 10 partners to improve the quality of package-based open source software systems.
Following the evolution of our society under the impact of IT with great interest, he is a long term Free Software advocate, contributing to its adoption since 1998 with the best-seller Hijacking the world, seminars, articles and software. He created in October 2007 the Free Software thematic group of Systematic, that helped fund over 50 Open Source research and development collaborative projects for a consolidated budget of over 200Me. From 2010 to 2018, he was director of IRILL, a research structure dedicated to Free and Open Source Software quality.
He created in 2015, and now directs Software Heritage, an initiative to build the universal archive of all the source code publicly available, in partnership with UNESCO.
Short, french
Ancien élève de la Scuola Normale Superiore de Pise, Roberto Di Cosmo a obtenu son doctorat en Informatique à l'Université de Pisa. Après avoir enseigné plusieurs années à l'Ecole Normale Supérieure de Paris, il est devenu Professeur d'Informatique à l'Université Paris Diderot, où il a été directeur adjoint pour l'Informatique dans l'école doctorale ED 386 de 2005 à 2009. Président du conseil scientifique et du conseil d'administration d'IMDEA Software, pilote du Collège Logiciel du Comité d'Orientation pour la Science Ouverte en France, il est actuallement detaché chez Inria.
Il a une longue histoire de contributions à la recherche en Informatique, dans des domaines allant de la réécriture à la logique et de la programmation fonctionnelle à la programmation parallèle. Il s'intéresse maintenant aux problèmes nouveaux posés par l'essor du Logiciel Libre, et en particulier à l'analyse statique de grandes masses de code. Il a publié plus de 20 articles dans des revues internationales, et 50 articles dans des conférences internationales.
En 2008, il a créé et coordonné le projet de recherche éuropéen Mancoosi, avec un budget de 4.4Me et 10 partenaires réunis pour travailler à améliorer la qualité des systèmes logiciels à base de paquets.
Suivant de près l'impact de l'Informatique sur la société, il prone depuis longtemps l'adoption du Logiciel Libre, notamment à partir de la publication de son best-seller Le Hold-Up Planétaire en 1998; plus récemment, il s'est intéressé aux questions soulévées par la problématique de la rémuneration des artistes à l'ère d'Internet, avec l'ouvrage Manifeste Pour Une Création Artistique Libre Dans Un Internet Libre.
Il a créé le Groupe Thématique Logiciel Libre dans le Pole de compétitivié Systematic à Paris, qui a financé plus de 40 projets de R&D depuis 2007, et il dirige depuis 2010 l'IRILL, une structure de recherche de pointe sur le Logiciel Libre.
En 2015, il a été à l'origine de Software Heritage, une initiative qui vise à construire l'archive universelle de tout le code source publiquement disponible, en partenariat avec l'UNESCO.
Short, italian
Allievo della Scuola Normale Superiore di Pisa con un dottorato di ricerca dell'Università di Pisa, Roberto Di Cosmo è diventato professore associato all'Ecole Normale Supérieure diParigi nel 1993 e professore ordinario di Informatica all'Università Paris Diderot dal 1999, dove ha diretto il dottorato di ricerca in Informatica dal 2004 al 2009. Presidente del consiglio di amministrazione e del comitato scientifico dell'istituto IMDEA Software e presidente del capitolo Software del Comitato Nazionale per la Scienza Aperta in Francia, è attualmente distaccato presso Inria.
I suoi interessi di ricerca comprendono l'informatica teorica, la programmazione funzionale e parallela e distribuita, la semantica dei linguaggi di programmazione, i sistemi di tipi, la logica lineare, la riscrittura e, più recentemente, i nuovi problemi scientifici posti dall'adozione generalizzata del Software Libero. Ha pubblicato oltre 20 articoli su riviste internazionali e 50 articoli in conferenze internazionali.
Nel 2008 ha creato e coordinato il progetto europeo Mancoosi, con un budget di 4,4 milioni di euro e 10 partners, per migliorare la qualità dei sistemi software basati su pacchetti.
Sostenitore di lungo corso del Software Libero, ha contribuito alla sua adozione dal 1998 con il best seller Hijacking the world, seminari, articoli e software. Nel 2007 ha creato il gruppo tematico Software Libero di Systematic, che ha contribuito a finanziare oltre 50 progetti di ricerca e sviluppo collaborativi sull'Open Source per un budget consolidato di oltre 200 milioni di euro. Dal 2010 al 2018 è stato direttore di IRILL, una struttura di ricerca dedicata alla qualità del software libero.
Nel 2015 ha creato, e ora dirige, Software Heritage, un'iniziativa per costruire l'archivio universale di tutti i codici sorgente pubblicamente disponibili, in collaborazione con l'UNESCO.
Short, spanish
Alumno de la Scuola Normale Superiore di Pisa con un doctorado de la Universidad de Pisa, Roberto Di Cosmo se convirtió en profesor asociado de la Ecole Normale Supérieure de París en 1993 y en profesor titular de Informática en la Universidad de París Diderot desde 1999, donde dirigió el doctorado en Informática de 2004 a 2009. Presidente del consejo de administración y del consejo científico del instituto IMDEA Software y presidente del capítulo de software del Comité Nacional para la Ciencia Abierta en Francia, actualmente está adscrito a Inria.
Sus intereses de investigación incluyen la informática teórica, la programación funcional, paralela y distribuida, la semántica de los lenguajes de programación, los sistemas de tipos, la lógica lineal, la reescritura y, más recientemente, los nuevos problemas científicos planteados por la adopción generalizada del software libre. Ha publicado más de 20 artículos en revistas internacionales y 50 ponencias en conferencias internacionales.
En 2008, creó y coordinó el proyecto europeo Mancoosi, con un presupuesto de 4,4 millones de euros y 10 socios, para mejorar la calidad de los sistemas de software basados en paquetes.
Partidario desde hace tiempo del software libre, ha contribuido a su adopción desde 1998 con el best seller Hijacking the world, seminarios, artículos y software. En 2007 creó el grupo temático de software libre de Systematic, que ha ayudado a financiar más de 50 proyectos de investigación y desarrollo en colaboración sobre el código abierto con un presupuesto consolidado de más de 200 millones de euros. De 2010 a 2018 fue director de IRILL, un centro de investigación dedicado a la calidad del software libre.
En 2015 creó, y ahora dirige, Software Heritage, una iniciativa para construir el repositorio universal de todo el código fuente disponible públicamente, en colaboración con UNESCO.