Welcome to my page !
I am currently (since July 2020) an associate professor (lecturer and researcher) at CESI engineering school
campus of Aix-en-Provence, France and the LINEACT research lab
on the "Ingénierie et outils numériques" theme.
From September 2018 til July 2020, I was a temporary lecturer and researcher
(ATER: Attaché Temporaire d'Enseignement et de Recherche)
at the University of Pau and the countries of Adour, France
and the LIUPPA laboratory (computer science research lab of the University of Pau),
MOVIES team,
I hold a Ph.D. in Computer Science
from the University of Pau
and the University of Constantine 2.
I defended my Ph.D. thesis on June, 29th 2019.
My research interests
Formal modeling and verification of properties in complex systems, with a particular focus on Cyber-Physical Systems (CPS), Cloud/Fog and Service-Oriented Computing.
Skills
Formal modeling and verification of properties in complex systems, with a particular focus on Cyber-Physical Systems (CPS), Cloud/Fog and Service-Oriented Computing.
Skills
- Formal modeling of systems structures and behaviors
- Formalization of self-* properties in software systems
- State-based model-checking
- Bigraphical reactive systems, Rewriting logic, Linear Temporal Logic, Queuing theory
- Algorithmics and Programming
- Cloud Computing