Mohammed “Mo” Aristide Foughali is maître de conférences (associate professor) at Université Paris Cité (Paris, France) since 2021. He is a member of the Modelling and Verification team at Laboratoire de Recherche en Informatique Fondamentale (IRIF). His research interests span different approaches of formal verification of real-time and hybrid systems, including model checking and runtime monitoring.

Before, he was a postdoctoral researcher at the VERIMAG laboratory (Grenoble, France) from 2019 to 2021. Between 2018 and 2019, he was a temporary lecturer and researcher at INSA Toulouse and LAAS-CNRS (Toulouse, France). In 2018, he earned his PhD degree from INSA Toulouse in computer science and robotics on the subject of formal verification of robotic and autonomous systems.