portrait Sebti Mouelhi

Assistant Professor (Enseignant-Chercheur), ECE Paris - École d'ingénieurs,
Immeuble POLLUX, 37 Quai de Grenelle, 75015 Paris.
P500 | Phone : +33 (0) 1 77 48 70 77
Email :
first dot last at ece dot fr

I received the undergraduate degree in applied computer sciences, in 2004, from Ecole Nationale d'Ingénieurs de Carthage, Tunis, Tunisia. I received the M.S. degree in computer science (field "Software: Formal Methods and Engineering"), in 2007, from the University of Lorraine, Nancy, France, and the Ph.D. in computer science, in 2011, from the University of Franche-Comté, Besançon, France.

From October 2011 to September 2012, I was hired as postdoctoral researcher at INRIA Grenoble, France. From October 2012 to May 2015, I was R&D engineer at SafeRiver, Montrouge, France. During Summer 2015, I was engineer in safety assurance at ALSTOM Transport, Saint-Ouen, France. I am assistant professor at ECE Paris since September 2015.

My activities are mainly in the topic of the formal design and verification of high integrity safety-critical embedded systems (especially railway and automotive systems) using object-oriented, component-based, real-time, and distributed approaches. I am also interested in the use of formal methods for the control of hybrid and cyber-physical systems (CPS).