PhD student in formal verification of real-time systems, conducting a joint doctoral program between École Centrale de Nantes in France and Ibn Tofail University in Morocco.
My research focuses on the modeling and verification of HPC-DAG tasks(Heterogeneous Parallel Condition Directed Acyclic Graph). These task graphs represent highly parallel AI applications with complex dependencies and timing constraints.
The objective of this work is to ensure the reliability, safety, and temporal correctness of these systems, particularly in critical domains such as aerospace applications.
