04 Janvier 2010

Un chercheur de l’Ecole des Mines de Nantes lauréat du prix de la chancellerie des universités de Paris

Nicolas Tabareau, chercheur au département informatique de l’Ecole des Mines de Nantes, a été récompensé, mercredi 9 décembre à La Sorbonne, par le prix « Rosemont / Demassieux », prix de la Chancellerie des Universités de Paris dans la catégorie « Mathématiques Fondamentales et Appliquées » pour ses travaux de thèse.

Nicolas Tabareau, récompensé par le prix « Rosemont / Demassieux »

Chaque année, la Chancellerie de Paris décerne une cinquantaine de prix et bourses financés par des mécènes. Ces prix ont vocation à encourager et récompenser des projets de recherche réalisés par des étudiants de troisième cycle, inscrits dans l’une des 17 universités franciliennes ou dans des établissements d’enseignement supérieurs parisiens.
 
Cette année, le prix de la Chancellerie catégorie «Mathématiques Fondamentales et Appliquées» a été décerné à Nicolas Tabareau, ancien étudiant de l’Université Paris VII. Sa thèse a porté sur la logique des langages de programmation. L’idée est d’abstraire un programme dans un langage plus mathématisé pour en étudier les propriétés. Cela permettrait ainsi, par exemple, l’analyse d’équivalence entre deux programmes.
Chercheur à l'INRIA, Nicolas Tabareau a rejoint en 2009 l’équipe ASCOLA (commune à l'INRIA/EMNantes/Université de Nantes) hébergée au sein du département Informatique de l’Ecole des Mines de Nantes.
 
 
L’Informatique : le pôle d’expertise de l’Ecole
 
Le Département Informatique de l’Ecole des Mines de Nantes, membre de l'Institut Carnot M.I.N.E.S, est dirigé par Narendra Jussien. Il regroupe 58 personnes dont : 20 permanents, 15 ingénieurs de recherche et post doctorants et 18 doctorants. Les activités de ce département se concentrent dans le domaine des « sciences et technologies du logiciel », dont l’objectif est de répondre à un double défi :

 

1. l’évolution des grands systèmes d’informations
2. la rationalisation et l’optimisation de l’outil de production.

 
Les équipes du Département Informatique s’inscrivent dans un pôle informatique d’excellence inter-régional en synergie avec le centre INRIA Rennes-Bretagne-Atlantique, l’Université de Nantes et le LINA (UMR CNRS). L’Ecole des Mines de Nantes forme des ingénieurs généralistes et a développé sa formation autour des deux pôles d’excellence que sont l’informatique, les systèmes d’information et de production et, le nucléaire.