I am a postdoctoral researcher at Verimag, Université Grenoble Alpes. I am currently working on the design and statistical model checking of the FDIR components in the ADE EU project using the BIP Toolset.
From september 2018 to August 2019, I was a fixed-term lecturer and researcher (Attaché Temporaire de l’Enseignement de de la Recherche) at INSA Toulouse and LAAS-CNRS, France. I taught at the Department of Computer Science and Electrical Engineering and conducted my research within the VERTICS team.
I defended my PhD thesis on December 17th 2018.
Formal Verification of Robotic and Autonomous Systems
Formalization of Languages and Systems
Formal Modeling and Verification of Timed Systems
Time Petri Nets, Timed Automata, Transition Systems
Real-Time Systems
Algorithmics & Programming
Robotics
Phone: +33 (0)4 57 42 22 51
Email: mohammed.foughali@univ-grenoble-alpes.fr