057604916
1998-11-24
2023-06-06T11:56:50
Site internet : http://www.pps.jussieu.fr : 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 : 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://www.dicosmo.org/, 2022-12-16 : Professeur d'informatique, Université Paris Cité et chercheur à l'INRIA (en 2022)
https://fr.wikipedia.org/wiki/Software_Heritage : Fonde Software Heritage en 2015
0000-0002-7493-5349
0000000110062430
male
Di Cosmo, Roberto (1963-....)
Di Cosmo
Roberto
Roberto Di Cosmo
1963
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.
Software Heritage (Paris)
Software Heritage (Paris)
Fond
Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings / edited by Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli. / 1st ed. 2017. / Cham : Springer International Publishing , 2017
Révéler le contenu latent du code source : à la découverte des topoi de programme / Carlo Ieva ; sous la direction de Souhila Kaci / , 2018
Transformation de collections topologiques de dimension arbitraire : application à la modélisation de systèmes dynamiques / Antoine Spicher ; sous la direction de Jean-Louis Giavitto / , 2006
Certification of a Tool Chain for Deductive Program Verification / Paolo Herms ; sous la direction de Claude Marché / , 2013
Organizing the graph of public software development for large-scale mining / Antoine Pietri le 2021 [ Université Paris Cité ]
Verification of Shell scripts performing file hierarchy transformations / Nicolas Jeannerod le 2021 [ Université Paris Cité ]
Révéler le contenu latent du code source : à la découverte des topoi de programme / Carlo Ieva le 2018 [ Montpellier ]
Differential program semantics / Thibaut Girka le 2018 [ Sorbonne Paris Cité ]
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation / Benoit Vaugon le 2016 [ Université Paris-Saclay (ComUE) ]
Certification of a Tool Chain for Deductive Program Verification / Paolo Herms le 2013 [ Paris 11 ]
Linux embarqué : nouvelle étude de cas : traite d'OpenEmbedded / Pierre Ficheux, Eric Bénard ; [préface par Roberto Di Cosmo] / 4e édition / Paris : Eyrolles , DL 2012, cop. 2012
Le hold-up planétaire : la face cachée de Microsoft / Roberto Di Cosmo, Dominique Nora / Paris : France Loisirs , c1998
Le hold-up planétaire : la face cachée de Microsoft / Roberto Di Cosmo, Dominique Nora / Paris : Calmann-Lévy , DL 1998
Manifeste pour une création artistique libre dans un internet libre / Roberto Di Cosmo / [S.l.] : ILV-Bibliotheca , 2011
Le hold-up planétaire : la face cachée de Microsoft / Roberto Di Cosmo, Dominique Nora / Paris : France loisirs , 1998
Isomorphisms of types : from [lambda]-calculus to information retrieval and language design / Roberto Di Cosmo / Boston : Birkhäuser , 1995
Interoperability between proof systems using the logical framework Dedukti / François Thiré ; sous la direction de Gilles Dowek et de Stéphane Lengrand / , 2020
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation / Benoit Vaugon ; sous la direction de Michel Mauny / , 2016
Verification of Shell scripts performing file hierarchy transformations / Nicolas Jeannerod ; sous la direction de Ralf Treinen et de Yann Régis-Gianas / , 2021
Organizing the graph of public software development for large-scale mining / Antoine Pietri ; sous la direction de Stefano Zacchiroli / , 2021
Organizing the graph of public software development for large-scale mining / Antoine Pietri le 2021 [ Université Paris Cité ]
Verification of Shell scripts performing file hierarchy transformations / Nicolas Jeannerod le 2021 [ Université Paris Cité ]
Interoperability between proof systems using the logical framework Dedukti / François Thiré le 2020 [ université Paris-Saclay ]
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation / Benoit Vaugon le 2016 [ Université Paris-Saclay (ComUE) ]
A formal approach to distributed application synthesis and deployment automation = = Une approche formelle à la synthèse des applications distribuées et leur déploiement automatique : / Jakub Zwolakowski ; sous la direction de Roberto Di Cosmo et Stefano Zacchiroli / Lille : Atelier national de reproduction des thèses , 2015
Etude formelle des distributions de logiciel libre = = a formal study of Free Software distributions : / Jacob Pieter Boender ; sous la direction de Roberto di Cosmo / [S.l.] : [s.n.] , 2011
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo ; sous la direction de Roberto Di Cosmo / Grenoble : Atelier national de reproduction des thèses , 2002
Vers une certification de l'extraction de coq / Stéphane Glondu ; sous la direction de Roberto di Cosmo / [S.l.] : [s.n.] , 2012
Etude formelle des distributions de logiciel libre = = a formal study of Free Software distributions : / Jacob Pieter Boender ; sous la direction de Roberto di Cosmo / Lille : Atelier national de reproduction des thèses , 2011
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo ; sous la dir. de Roberto Di Cosmo / [S.l.] : [s.n.] , 2002
A formal approach to distributed application synthesis and deployment automation = = Une approche formelle à la synthèse des applications distribuées et leur déploiement automatique : / Jakub Zwolakowski ; sous la direction de Roberto Di Cosmo et Stefano Zacchiroli / [Lieu de publication inconnu] : [éditeur inconnu] , 2015
Une étude des sommes fortes : isomorphismes et formes normales / Vincent Balat ; sous la direction de Roberto Di Cosmo / Grenoble : Atelier national de reproduction des thèses , 2002
Vers une certification de l'extraction de coq / Stéphane Glondu ; sous la direction de Roberto di Cosmo / Lille : Atelier national de reproduction des thèses , 2012
Une étude des sommes fortes : isomorphismes et formes normales / Vincent Balat ; sous la dir. de Roberto Di Cosmo / [S.l.] : [s.n.] , 2002
Differential program semantics / Thibaut Girka ; sous la direction de Roberto Di Cosmo et de David Mentré / , 2018
Differential program semantics / Thibaut Girka le 2018 [ Sorbonne Paris Cité ]
A formal approach to distributed application synthesis and deployment automation / Jacub Zwolakowski le 2015 [ Sorbonne Paris Cité ]
Vers une certification de l'extraction de coq / Stéphane Glondu le 2012 [ Paris 7 ]
Etude formelle des distributions de logiciel libre / Jacob Pieter Boender le 2011 [ Paris 7 ]
Généralisation des jeux combinatoires et applications aux langages logiques / Jean-Vincent Loddo le 2002 [ Paris 7 ]
Une étude des sommes fortes : isomorphismes et formes normales / Vincent Balat le 2002 [ Paris 7 ]
Analyse de dépendances ML pour les évaluateurs de logiciels critiques. / Vincent Benayoun ; sous la direction de Catherine Dubois / , 2014
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle / Cédric Teyton ; sous la direction de Xavier Blanc et de Jean-Rémy Falleri / , 2014
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle / Cédric Teyton le 2014 [ Bordeaux ]
Analyse de dépendances ML pour les évaluateurs de logiciels critiques. / Vincent Benayoun le 2014 [ Paris, CNAM ]