Mohammed Foughali, PhD

Google Scholar      dblp








I am a postdoctoral researcher at Verimag, Université Grenoble Alpes, since September 2019, under the supervision of Saddek Bensalem.

I graduated from the University of Khenchela (Algeria) in June 2008 as an electronics engineer (diplôme d’ingénieur en électronique).

From 2008 to 2011, I have been a Physics-and-Chemistry teacher at Brothers Achi high school, Kaïs (Algeria).

From 2011 to 2013, I taught Mathematics at Athmani Brahim high school, Kaïs (Algeria).

For the academic year 2013-2014, I accomplished the first year of Real-Time Systems Engineering Masters at Université de Toulouse, Toulouse (France).

In September 2015, I graduated from Université Sorbonne, Paris (France) after having accomplished the second year of Robotics and Intelligent Systems Masters.

In December 2018, I earned my PhD degree from Université de Toulouse, France. The PhD research theme was “formal verification of the functional layer of robotic and autonomous systems”.

From September 2018 to August 2019, I was a temporary lecturer and researcher (Attaché Temporaire de l’Enseignement de de la Recherche) at INSA Toulouse and LAAS-CNRS, France.