Site internet : http://www.pps.jussieu.fr
Information trouvée : Professeur, Université Paris 7-Denis Diderot, UFR d'informatique, membre du laboratoire
Preuves, Programmes et Systèmes (PPS), CNRS UMR 7126, Université Denis Diderot, Case
7014, 2 Place Jussieu, 75251 PARIS Cedex 05
Une étude des sommes fortes : isomorphismes et formes normales / Vincent Balat ; sous
la dir. de Roberto Di Cosmo, 2002
Wikipedia, 2020-12-16
Information trouvée : Roberto Di Cosmo est un chercheur informaticien italien, installé en France, membre
du laboratoire Preuves, Programmes et Systèmes de l'université Paris Diderot. 19 décembre
1963
https://fr.wikipedia.org/wiki/Software_Heritage
Information trouvée : Fonde Software Heritage en 2015
https://www.dicosmo.org/, 2022-12-16
Information trouvée : Professeur d'informatique, Université Paris Cité et chercheur à l'INRIA (en 2022)