My Education

In 2006, I completed my Baccalaureate in "Natural and Life Sciences" in Sidi Bel Abbes, Algeria. In 2009, I earned a bachelor's degree in Computer Science with a focus on "Fundamental Computer Science" from the University of Djillali Liabes, Sidi Bel Abbes. In 2011, I obtained a Master's degree in Computer Science with a specialization in "Computer Science Theory" (CST) from the same university, where I graduated at the top of my class.

In 2012, I began my doctoral thesis at the University of Oran 1 Es-Senia, focusing on "Exploring the Potential of CSP for Error Localization from Counterexamples". I was awarded my PhD in December 2015.

In 2024, I achieved the Habilitation à Diriger des Recherches (HDR) from the École Supérieure en Informatique de Sidi Bel Abbès, Algeria.

Professional Experience

— Doctoral Student, Université d'Oran 1, 2012 - 2015
— Maître de Conférences Classe B, École Supérieure en Informatique de Sidi Bel Abbès, 2018 - 2024
— Maître de Conférences Classe A, École Supérieure en Informatique de Sidi Bel Abbès, 2024 - Present

Research Areas of Interest
  1. Enhancing Anomaly Detection in System Logs with Machine Learning

    2. Anomaly detection aims at uncovering abnormal system behaviors. These systems generate logs (detailed runtime information during system operation), which are widely available and used as the main data source for anomaly detection. Traditional methods rely on manual log analysis to detect anomalies. However, these methods are inadequate for large-scale systems. My research focuses on using machine learning and deep learning methods to improve anomaly detection in system logs.

  2. Error Localization

    3. Error localization is a critical area in software engineering, particularly for safety-critical systems where software errors can have severe consequences. My research focuses on identifying faulty code sections using counterexamples or execution traces, which is often a complex and time-consuming task. I am dedicated to advancing constraint-based approaches that streamline the error localization process, making it more accessible and efficient for developers. My work explores novel methods to enhance the identification of problematic code, contributing to more reliable software development.


  3. Constraint Programming (CP)

    4. Constraint Programming is an essential tool in Operations Research and software debugging, especially when dealing with inconsistent systems. My research examines algorithms that detect inconsistencies within constraint systems by identifying Minimal Unsatisfiable Subsets (MUSs) and Minimal Correction Subsets (MCSs). These subsets help diagnose which constraints are causing conflicts, providing valuable insights for debugging. I am particularly interested in refining these algorithms to enhance their computational efficiency and applicability, contributing to more robust constraint-based solutions in real-world scenarios.


  4. Verification of Programs

    5. Ensuring the correctness of software programs through formal verification methods is an integral aspect of my research. I focus on developing verification techniques that detect discrepancies between expected and actual program behaviors, ensuring software reliability and safety. This work supports the creation of software that meets rigorous standards, particularly in critical systems.


  5. Artificial Intelligence (AI)

    6. AI plays a pivotal role in my research, where I explore its applications in automating complex tasks such as error detection and optimization. My work delves into leveraging AI techniques to improve decision-making processes within constraint-based and verification systems, making them more adaptive and intelligent.


  6. Natural Language Processing (NLP)

    7. My interest in NLP centers on using language technologies to enhance human-computer interaction and automate the analysis of textual data. I investigate ways to integrate NLP with other fields, such as constraint programming and verification, to create comprehensive solutions that address complex, multi-faceted problems.

Teaching Experience

Since 2018, I have been teaching the following courses at the École Supérieure en Informatique de Sidi Bel Abbès:

  • Algorithmique et structures de données dynamiques (1ère année Classe Préparatoire)
  • Bureautique et web (1ère année Classe Préparatoire)
  • Introduction au système d’exploitation 2 (1ère année Classe Préparatoire)
  • Projet pluridisciplinaire (2ème année Classe Préparatoire, 2ème année Second Cycle de Spécialité : Intelligence Artificielle et Sciences de Données (IASD))
  • Bases de Données (1ère année Second Cycle)
  • Complexité et Résolution de Problème (2ème année Second Cycle de Spécialité : Intelligence Artificielle et Sciences de Données (IASD))

Academic and Research Engagements

  • I completed a research internship at the Department of Computer Science, Sapienza University of Rome, Italy. The internship took place from April 12, 2024, to April 22, 2024. During this period, I collaborated with Professor Enrico Tronci (http://wwwusers.di.uniroma1.it/~tronci/) on combining model checking and testing techniques to enhance fault localization in imperative programs.
    You can access the report here.

Publications & Talks

 Combining Model Checking and Spectrum-Based Fault Localization with Multiple Counterexamples
  • Conference: The International Symposium on iNnovative Informatics of Biskra (IEEE-ISNIB'2025)
  • Date: Jan 29-30th , 2025
  • Location: Biskra, Algeria
  • Organized by: Mohamed khider University
  • Link to the conference: IEEE-ISNIB'2025
  • Link to the article: Read the paper
  • Presentation:
Model Checking-Enhanced Spectrum-Based Fault Localization A bounded constraint-based approach to aid in fault localization from a counterexample Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults
  • Conference: Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023)
  • Date: November 6 - 8, 2023
  • Location: Sousse, Tunisia
  • Link to the conference: TACC 2023
  • Link to the article: Read the paper
  • Presentation:

"Exploration of the scalability of LocFaults approach for error localization with While-loops programs." Hal-01132781
Mohammed Bekkouche.
Research report.

"Exploration de la scalabilité de LocFaults." Hal-01132780
Mohammed Bekkouche.
Research report.