Jean-Marc Faure received the Ph.D. degree from the Ecole Centrale de Paris and the “Habilitation à diriger des recherches” from the University of Aix-Marseille in 1991 and 1997 respectively.
He is currently Professor of Automatic Control at the Institut Supérieur de Mécanique de Paris and researcher at LURPA (Laboratory of Research in Automated Production) of Ecole Normale Supérieure de Cachan, France. His research fields are modeling, synthesis and analysis of Discrete Event Systems (DES) with special focus on formal verification and test methods to improve dependability of critical systems.
J.-M. Faure is member of the IFAC TC 1.3 "Discrete Event and Hybrid Systems" and vice-chair of the TC 5.1 "Manufacturing Plant Control". He is with Jean-Jacques Lesage the initiator of the IFAC Workshops series "Dependable Control of Discrete Systems". He has served in many committees of IFAC and IEEE conferences.