Home

I received the undergraduate degree in applied computer sciences, in 2004, from Ecole Nationale d'Ingénieurs de Carthage, Tunis, Tunisia. I received the M.S. degree incomputer science (field "Software: Formal Methods and Engineering"), in 2007, from the University of Lorraine, Nancy, France, and the Ph.D. in computer science, in 2011, from the University of Franche-Comté, Besançon, France.

From October 2011 to September 2012, I served as a Postdoctoral Researcher at INRIA Grenoble, France. Following this, I worked as an R&D Engineer at SafeRiver in Montrouge, France, from October 2012 to May 2015. During the summer of 2015, I held the position of Engineer in Safety Assurance at ALSTOM Transport in Saint-Ouen, France. Subsequently, from September 2015 to August 2020, I served as a Lecturer-Researcher at ECE - Ecole d’ingénieurs, OMNES Eduction, Paris, France.

From September 2020 to April 2024, I held the position of Associate Professor at ESTACA Campus Paris-Saclay, Montigny-le-Bretonneux, France, affiliated with the research department ESTACA'Lab (pôle S2ET "Systèmes et Energies Embarqués pour les Transports"). Since May 2024, I've joined the Cloud Reliability Lab at the Huawei Ireland Research Center as a Principal Research Engineer, where I am involved in innovative research in formal methods for cloud reliability.

My activities are mainly in the topics:

• Formal design & verification of real-time, and safety-critical embedded systems

• Component-based applications : object-oriented distributed approaches

• Internet of Vehicles : design, simulation prototyping, ...

• Controller synthesis for cyber-physical systems

Currently interested in:

• Formal methods for cloud reliability: requirements, design and verification

• AI & machine learning: applied to intelligent transportation systems

• Cybersecurity: theory, cryptography, exploitation, vulnerabilities ...

• Wireless communication & IoT: theory, protocols, software-defined radio, 5/6G ...