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

NB: My publications are available on HAL. For a better experience, always use the HAL version provided under the Publication section of this page. The HAL version of any of my publications ensures the absence of copy-editing mistakes that were not caught or could not be corrected during the publication process.

I am Maître de Conférences (Associate Professor) at Université Paris Cité, France. I teach at UFR Informatique (Department of Computer Science) and conduct my research activities within the Modeling and Verification team at Institut de Recherche en Informatique Fondamentale IRIF.

Before, I was a fixed-term lecturer and researcher (Attaché Temporaire de l’Enseignement et de la Recherche) at INSA Toulouse and LAAS-CNRS, then a postdoctoral researcher at Verimag, Université Grenoble Alpes. See my biography here.

I defended my PhD thesis on December 17th 2018.

My Research Interests

Formal methods, real-time systems, robotics.

Details under Research and Publications sections.

Contact me

foughali@irif.fr