Khaoula Boukir, PhD
Associate Professor of Computer Science
Ibn Tofail University, Morocco
Formal Methods · Software Verification · Safety-Critical Systems
I am an Associate Professor of Computer Science at Ibn Tofail University in Morocco.
My research focuses on formal verification of safety- and
security-critical software systems, with a particular interest in deductive
verification and contract-based specification.
I 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 real-time operating systems using model-checking. Before that I got a M.Sc degree in applied computer science (real-time systems) from Centrale Nantes (France) in 2016.
I have been employed in 2019-2020 as a Contract Assistant/Associate Professor at Polytech Nantes.
During 2021, I worked as a postdoctoral fellow in CEA-LIST of Paris-Saclay in the Software Security and Reliability Laboratory (LSL). My research topic was focused on extensive code security analyses by developping and enhancing frameworks for Frama-C, a code analysis platform for C programs.