About Me

I am currently a PhD student in Artificial Intelligence at CRIL reseach center in Lens (France), working with
Eric Grégoire and Jean-Marie Lagniez. My research focuses on skeptical reasoning, especially, on developping efficient methods for filtering conflicting information in inconsistent knowledge using SAT technologies.
I obtained a Master degree in Artificial Intelligence from University of Toulouse 3 (France). My Master thesis was on constraint satisfaction problems and supervised by Hélène Fargier.
Before coming to France, I received my Bachelor degree from University of Tizi-ouzou in Algeria.


  • 2016 E.Gregoire, Y.Izza, JM.Langiez, On the Extraction of One Maximal Information Subset that Does not Conflict with Multiple Contexts, in Thirty AAAI Conference on Artificial Intelligence (AAAI 2016).
  • 2017 E.Gregoire, Y.Izza, JM.Langiez, On Computing one max⊆ Consensus, in Twenty-ninth International Conference on Tools with Artificial Intelligence (ICTAI 2017).
  • 2018 E.Gregoire, Y.Izza, Du Zhang, On Admissible Consensuses, in International Journal on Artificial Intelligence Tools.
  • 2018 E.Gregoire, Y.Izza, JM.Langiez, Boosting MCSes Enumeration, in Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018).


  • Advanced Object Oriented Programming Java
    • 30 hours of pratical works
  • Algorithmic 4 C
    • 18 hours of pratical works
  • Object Oriented Programming Java
    • 36 hours
  • Numeration and Circuits
    • 18 hours of courses
    • 22 hours of pratical works
  • Algorithmic 1 Python
    • 24 hours of tutorials
    • 24 hours of pratical works
  • Software office 2
    • 9 hours of pratical works
  • Software office 1
    • 28 hours of pratical works