DI COSMO Roberto

DI COSMO Roberto

Ancien élève de l’Ecole normale supérieure de Pise, titulaire d’un doctorat en informatique de l’université de Pise, Roberto Di Cosmo a été professeur associé pendant près de dix ans à l’École normale supérieure de Paris. En 1999, il est devenu professeur titulaire d’informatique à l’Université Paris Diderot, où il a été responsable des études doctorales en informatique de 2004 à 2009. Président du conseil d’administration et du conseil scientifique de l’institut IMDEA Software, et membre du comité national pour la science ouverte en France, il est actuellement en disponibilité à l’Inria.

Ses activités de recherche couvrent l’informatique théorique, la programmation fonctionnelle, la programmation parallèle et distribuée, la sémantique des langages de programmation, les systèmes de typage, la réécriture et la logique linéaire et, plus récemment, les nouveaux enjeux scientifiques des logiciels libres, avec un accent particulier sur l’analyse statique de grandes collections de logiciels. 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 européen Mancoosi, doté d’un budget de 4.4Me et réunissant 10 partenaires pour améliorer la qualité des systèmes logiciels open source basés sur des paquets. Intéressé par l’évolution de notre société sous l’impact de l’informatique, il défend de longue date le Logiciel Libre, contribuant à son adoption depuis 1998 avec le best-seller Hijacking the world, des séminaires, des articles et des logiciels. Il a créé en octobre 2007 le groupe Systematic sur la thématique du Logiciel Libre, qui a permis de financer plus de 50 projets collaboratifs de recherche et développement Open Source pour un budget consolidé de plus de 200 M€. De 2010 à 2018, il a été directeur de l’IRILL, structure de recherche dédiée à la qualité des Logiciels Libres et Open Source.

Il a créé en 2015 et dirige aujourd’hui Software Heritage, une initiative visant à constituer l’archive universelle de tous les codes source accessibles au public, en partenariat avec l’UNESCO.

Etablissement

Université de Paris / Inria
France