Advertising Console

    Traitement de l’information - Roberto Di Cosmo

    Reposter
    Sciences_Maths_Paris

    par Sciences_Maths_Paris

    145
    292 vues
    > Traitement de l’information par Roberto Di Cosmo, professeur à l’université Paris Diderot
    >Journée de lancement de la Fondation « Sciences Mathématiques de Paris » Vendredi 28 septembre 2007 Amphithéâtre Marguerite de Navarre, Collège de France.
    >Ancien élève de la Scuola Normale Superiore de Pise, Roberto Di Cosmo a préparé son doctorat en France, où il a ensuite poursuivi sa carrière. Il est professeur d’informatique à l’université Paris Diderot. Il est spécialiste des langages de programmation et de l’étude formelle des logiciels libres et effectue sa recherche au sein du laboratoire Preuves, Programmes et Systèmes (CNRS - Paris-Diderot-Paris 7 UMR 7126)