Michel Bidoit Directeur du centre de recherche INRIA Saclay - Île-de-France +33 1 72 92 59 01 Michel.Bidoit@inria.fr

Le 1^er janvier 2008 Michel Bidoit est nommé directeur du centre de recherche INRIA Saclay - Île-de-France.

Michel Bidoit, ancien élève de l'Ecole normale supérieure de Saint-Cloud, est docteur ès sciences et directeur de recherche au CNRS. C'est un spécialiste des méthodes formelles de spécification et de vérification de logiciels critiques. En 1996 il participe à la création du Laboratoire Spécification et Vérification, (LSV, CNRS UMR 8643, Ecole normale supérieure de Cachan) et en assure la direction jusqu'en 2005. Il a été membre du bureau exécutif du RNTL de sa création jusqu'en 2004, date à laquelle il rejoint le ministère chargé de la recherche comme directeur adjoint à la direction de la Recherche, en charge du secteur " Mathématiques, Sciences et Technologies de l'information et de la Communication". Le 1^er juin 2007 Michel Bidoit a été nommé directeur du centre de recherche INRIA Futurs pour mettre en place le Centre de recherche INRIA Saclay - Île-de-France.