Roberto Di Cosmo
Roberto Di Cosmo est un chercheur informaticien italien, installé en France, membre du laboratoire Preuves, Programmes et Systèmes de l'université Paris Diderot.
Naissance | |
---|---|
Nationalité | |
Formation | |
Activité |
A travaillé pour |
Institut national de recherche en informatique et en automatique (depuis le ) Université Paris-Descartes (depuis ) |
---|---|
Directeur de thèse | |
Site web |
Parcours
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 VII-Denis-Diderot. Depuis , il est le directeur du laboratoire IRILL (Initiative pour la recherche et l'innovation sur le logiciel libre). Depuis il est detaché auprès d'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].
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 , 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[3].
Publications
Il est devenu célèbre lors de la publication sur le Net d'un pamphlet en 1998 : Piège dans le cyberespace. Il est coauteur d'un livre avec la journaliste Dominique Nora : Le Hold-up planétaire : la face cachée de Microsoft. Ce livre est aujourd'hui disponible gratuitement sous licence Creative Commons BY-NC-ND.
Notes et références
- (en) New Award Honors Distinguished Artifact, par Microsoft Research Connections Team, paru sur Microsoft Research Connections Blog le 13 septembre 2011.
- « Introduction to Functional Programming in OCaml », sur FUN-MOOC (consulté le )
- « Inria crée la bibliothèque d'Alexandrie des Logiciels Libres », sur Le Figaro (consulté le )
Liens externes
- Ressources relatives Ă la recherche :
- Page personnelle
- Piège dans le cyberspace
- Le Hold-up planétaire : la face cachée de Microsoft gratuit sous licence CC-BY-NC-ND. Imprimé: Calmann-Levy 1998, (ISBN 2-7021-2923-4)
- « Interview de Roberto Di Cosmo dans Sciences et Avenir de septembre 2009 »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)