Colloque des 8 et 9 décembre 2016, Paris

Nos tutelles

CNRS Nom tutelle 1

Nos partenaires

Nom tutelle 2 Nom tutelle 3 Nom tutelle large

Rechercher




Accueil > Intervenants

Michel Bidoit

Ouverture du colloque - Jeudi 8 novembre 9h20 - 9h40

par Laure Thiebault - publié le , mis à jour le

Michel Bidoit

Biographie

Michel Bidoit est directeur de l’Institut des sciences de l’information et de leurs interactions (INS2I) au CNRS.
Ancien élève de l’École normale supérieure de Saint-Cloud, agrégé de mathématiques, Michel Bidoit 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/École normale supérieure de Cachan) et en assure la direction jusqu’en 2005.
Il est 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 dirige ensuite le centre de recherche Inria Futurs puis Saclay - Île-de-France de juin 2007 à début 2010. Il rejoint alors l’INS2I où il est directeur adjoint scientifique, avant d’en devenir directeur en mai 2013.

Intervention

Ouverture du colloque
Jeudi 8 novembre 9h20 - 9h40