Roberto Di Cosmo

From Wikipedia, the free encyclopedia

Naissance
Nationalité
Activité
Roberto Di Cosmo
En .
Biographie
Naissance
Nationalité
Formation
Activité
Autres informations
A travaillé pour
Inria (depuis le )
Université Paris-Descartes (depuis )Voir et modifier les données sur Wikidata
Directeur de thèse
Site web

Roberto Di Cosmo, né le 19 décembre 1963 à Parme, est un chercheur informaticien italien, installé en France, membre du laboratoire Preuves, Programmes et Systèmes de l'université Paris-Diderot.

Il est diplômé de l'École normale supérieure de Pise et a soutenu sa thèse de doctorat à l'université de Pise, avant de devenir maître de conférences à l'École normale supérieure à Paris, puis professeur à l'université Paris-Diderot. Depuis , il est le directeur du laboratoire IRILL (Initiative pour la recherche et l'innovation sur le logiciel libre). Depuis il est détaché auprès de l'Inria. Le , Jérôme Vouillon et Roberto Di Cosmo ont remporté le prix « Microsoft Research Distinguished Artefact Award »[1]. Il a été l'initiateur du premier MOOC sur le langage de programmation OCaml, dont la première session a eu lieu en [2].

Le , Roberto Di Cosmo devient membre d'honneur de la Société informatique de France[3].

Logiciels libres

Membre de l'AFUL, l'association francophone des utilisateurs de Linux et des logiciels libres, il fait régulièrement des conférences sur des sujets liés au logiciel libre. Une de ses grandes contributions à Linux est, également, la diffusion de la première distribution live (de 2000 à 2002) : DemoLinux, permettant d'utiliser Linux à partir d'un CD-ROM, sans installation. Il a été l'un des porteurs, en tant que président du bureau provisoire, du projet de pôle de compétitivité Ouverture, consacré au logiciel libre sur la région Paris-Île-de-France, intégré en 2007 au sein du pôle Systematic. Le , l'Inria a dévoilé Software Heritage, une initiative qui vise à préserver l'ensemble du code source disponible publiquement. Roberto Di Cosmo est l'un des architectes de cette bibliothèque ainsi que directeur du projet, sur lequel il travaille en collaboration étroite avec Stefano Zacchiroli[4].

Publications

Notes et références

Liens externes

Related Articles

Wikiwand AI