Director of the Institute for Information Sciences and Technologies
Senior researcher Michel Bidoit is an alumnus of the École Normale Supérieure of Saint Cloud (Paris), with an advanced teaching diploma in mathematics and a PhD in science. A specialist in methods of formal specification and verification of critical software, he was director of the LSV (Laboratoire Spécification et Vérification, CNRS/ENS Cachan) until 2005. Between 2004 and 2006, he worked for the Ministry of Higher Education and Research as deputy research director in charge of mathematics, and information and communication sciences and technologies. He then headed the INRIA Futurs and INRIA Saclay Île de France research centers from 2007 to 2010. Michel Bidoit has been head of the INS2I since May 2013.
- Mél : Secretary
- Tél : (+33) 1 44 96 42 42