© CNRS / Délégation PMA

Michel BidoitDirecteur de l'institut des sciences de l'information et de leurs interactions

Directeur de recherche, Michel Bidoit est un ancien élève de l'École normale supérieure de Saint-Cloud, agrégé de mathématiques et docteur ès sciences. Spécialiste des méthodes formelles de spécification et de vérification des logiciels critiques, il assure la direction du Laboratoire spécification et vérification (LSV, CNRS/ENS Cachan) jusqu'en 2005. Entre 2004 et 2006, il est directeur adjoint à la recherche en charge du secteur « Mathématiques, sciences et technologies de l'information et de la communication » au ministère chargé de la Recherche. Il assure ensuite la direction des centres de recherche Inria Futurs puis Inria Saclay-Île-de-France de 2007 à 2010. Michel Bidoit dirige l'INS2I depuis mai 2013.

Missions de l'INS2I

Soutenir et coordonner les recherches en sciences de l'information, tout en favorisant un dialogue permanent entre les questions fondamentales et les enjeux socio-économiques.

Thématiques scientifiques

  • Informatique
  • Automatique
  • Traitement du signal et des images
  • Robotique
  • Conception de systèmes sur puce
     

Voir le site de l'INS2I