paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 057604916Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Di Cosmo, Roberto (1963-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français,italien,anglais
Pays : Italie
Date de naissance :    1963
Genre : Masculin

Notes

Note publique d'information : 
Directeur de thèse, Université de Paris 7, 2002. Maître de Conférences, Ph.D., Département de Mathématiques et d'Informatique, (DMI) de l'Ecole normale Supérieure (ENS) de Paris . Professeur d'informatique, Université Paris Cité et chercheur à l'INRIA (en 2022). Fonde Software Heritage en 2016.


Notice d'autorité liée

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/114201219
Identifiant ORCID : 0000-0002-7493-5349
Identifiant HAL : roberto-di-cosmo
Identifiant Wikidata : Q3436879
Identifiant ZBMath : di-cosmo.roberto
Identifiant ISNI : 0000000110062430

Source

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)

... Références liées : ...