Michel Bidoit
Director
Information Sciences and Technologies
Centre National de la Recherche Scientifique (CNRS)
France
Biography
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.
Research Interest
Computer science, Automatic control engineering, Signal and image processing, Robotics, Development of systems-on-chips
Publications
-
Bidoit M, Mosses PD. CASL User Manual: Introduction to Using the Common Algebraic Specification Language. Springer; 2003 Dec 19.
-
Astesiano E, Bidoit M, Kirchner H, Krieg-Brückner B, Mosses PD, Sannella D, Tarlecki A. CASL: the common algebraic specification language. Theoretical Computer Science. 2002 Sep 17;286(2):153-96.
-
Bérard B, Bidoit M, Finkel A, Laroussinie F, Petit A, Petrucci L, Schnoebelen P. Systems and software verification: model-checking techniques and tools. Springer Science & Business Media; 2013 Apr 17.
