"In the name of Physics, Chemistry and the Holy Maths. Amen."

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.

My Research Interests

Formal Verification of Robotic and Autonomous Systems

Skills:

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

Contact me

Phone: +33 (0)4 57 42 22 51

Email: mohammed.foughali@univ-grenoble-alpes.fr