Biographical information

personal photo

Short, english

Roberto Di Cosmo holds a PhD in Computer Science and is currently Computer Science professor at University Paris Diderot, after teaching for almost a decade at Ecole Normale Supérieure in Paris, and spending a few years at INRIA.

He has been actively involved in research in theoretical computing, specifically in functional programming, parallel and distributed programming, the semantics of programming languages, type systems, rewriting and linear logic. He focus now on new scientific problems posed by the general adoption of Free Software, with a particular focus on static analysis of large software collections, that were at the core of the european reseach project Mancoosi.

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 the Free Software thematic group of Systematic in October 2007, and since 2010 he is director of IRILL, a research structure dedicated to Free and Open Source Software quality.

In 2016, he co-founded and directs Software Heritage, an initiative to build the universal archive of all the source code publicly available.

Short, french

Ancien élève de la Scuola Normale Superiore de Pise, Roberto Di Cosmo a préparé son doctorat en France, où il a ensuite poursuivi sa carrière. Après avoir enseigné plusieurs années à l'Ecole Normale Supérieure de Paris, il est Professeur d'Informatique à l'Université Paris Diderot.

Il a une longue histoire de contributions à la recherche en Informatique, dans des domaines allant de la logique à 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, qui étaient à l'origine du projet de recherche éuropéen Mancoosi.

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 2016, il a été à l'origine de Software Heritage, une initiative qui vise à construire l'archive universelle de tout le code source publiquement disponible.