Dr Khaoula Boukir

Khaoula Boukir is an Associate Professor of Computer Science at Ibn Tofail University, Morocco. She holds a PhD in Computer Science from the University of Nantes, France, specializing in formal methods and software verification, with applications in cybersecurity and safety-critical systems. Prior to joining Ibn Tofail University, she gained international research and teaching experience at several French institutions, including CEA Paris-Saclay and Polytech Nantes. At CEA, her research focused on software safety and formal verification using Frama-C. Her research interests include formal verification, software security, real-time and embedded systems, IoT cybersecurity, and trustworthy autonomous systems. Her current work focuses on developing rigorous methods to ensure the correctness, security, and reliability of critical software, particularly operating systems and autonomous applications. She is interested in interdisciplinary collaborations that bridge formal methods, cybersecurity, and critical infrastructure protection, contributing to the development of secure, reliable, and trustworthy digital systems.