Postdoctoral Fellow

Charaf Eddine Dridi

Department of Computer science, Electrical engineering and Mathematical sciences
Charaf Eddine Dridi
Email: Send email
Bergen
Download contact card

Field of work

Charaf is a postdoctoral research fellow in Software Engineering research group (SE) at the Western Norway University of Applied Sciences (HVL).

Previously, he served as an as a temporary teaching and research associate at (ATER) at the University of Pau et des Pays de l'Adour (UPPA) France. He received a PhD in Computer Science in 2024 (joint supervision between UPPA/LIUPPA and the University of Constantine 2/LIRE). 

His research lies at the intersection of software engineering and formal methods. Within CroFlow project, he works on automated cross-organisational workflow planning, combining resource-aware scheduling, rigorous semantics in rewriting logic (Maude), model checking, and static analyses to handle dependencies and ensure correctness and efficiency.