Traitement de l’information - Roberto Di Cosmo

> 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)