Accueil du site > La recherche en sciences de l’information > Vie de l’institut

Recherchez sur ce site

précédente suivante

Nomination de M. Michel BIDOIT à l’INS2I

Michel BIDOIT est nommé directeur adjoint scientifique à l’INS2I

Né le 30 août 1957, Michel Bidoit, ancien élève de l’Ecole normale supérieure de Saint-Cloud, agrégé en mathématiques, 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 des logiciels critiques. Michel Bidoit a été membre élu du CoNRS de 1987 à 1991. En 1996 il participe à la création du Laboratoire Spécification et Vérification (CNRS/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 en 2000 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", jusque fin 2006. Il a ensuite dirigé le centre de recherche INRIA Futurs puis Saclay - Île-de-France de juin 2007 à début 2010. Depuis le 1er mai 2010, Michel Bidoit occupe les fonctions de directeur adjoint scientifique de l’Institut des Sciences Informatiques et de leurs Interactions.