Khaoula Boukir - PhD

Associate professor of Computer Science

PhD in Computer Science / Real-time systems/ Formal Verification

Khaoula Boukir received a Ph.D degree in computer science at the University of Nantes in 2020. The research project was resolutely oriented towards the verification of real-time systems and real-time operating systems using formal methods, namely model-checking.

She also got an Engineering degree in networking and telecommunications from the National School of Applied Sciences in Fez (Morocco) in 2014, and a M.Sc degree in applied computer sciences (real-time systems) from Centrale Nantes (France) in 2016. She has been employed in 2019-2020 as a Contract Assistant/Associate Professor at Polytech Nantes.

During 2021, she worked as a postdoctoral fellow in CEA-LIST of Paris-Saclay in the Software Security and Reliability Laboratory (LSL). Her research topic was focused on extensive code security analyses by developping and enhancing frameworks for Frama-C, a code analysis platform for C programs using formal methods.

Currently, she occupies a position as an associate professor of computer science (and researcher) at Ibn Tofail University in Morocco.

During her carrier, she gave lectures in both computer science and embedded systems field.