Content on this page requires a newer version of Adobe Flash Player.

Get Adobe Flash player

Nadjib Lazaar
Ing - Phd - Associate Professor - University of Montpellier - COCONUT Team


About me

I'm an associate professor at the University of  Montpellier  (IUT Montpellier-Sète), since september 2013, and a member of the COCONUT team (LIRMM). My research interests are situated at the crossroads of Constraint Programming (CP), Data Mining (DM), Machine Learning (ML) and Software Testing. In particular, I’m interested in developing techniques and tools for:

  • Constraint Acquisition.

  • Declarative Data Mining.

  • Constraint-Based Software Testing. 

  • Software Verification and Validation via Artificial Intelligence.



  • NEWS:

19-06-2019: Invited talk at GT-Verif days, Nantes.

11-06-2019: LIRMM AI day (talk on Declarative Data Mining) [program].

27-05-2019: 3rd CAVIAR working day at LIFO, Orléans.

21-05-2019: Invited talk at NordConsNet 2019, Oslo: "Constraint Acquisition".

07-04-2019: Best Paper Award AI Test 2019 (award)

05 to 10-04-2019: Participation at AI Test'19, San Francisco

10 to 13-12-2018:  Visiting SIMULA lab. Oslo (VIVA PHC AURORA Project)

08 to 12-10-2018:  Visiting SIMULA lab. Oslo (VIVA PHC AURORA Project)

11-10-2018: Invited talk at Certus 13th User Partner Workshop, SIMULA, Oslo. ""Specialised vs Declarative Data Mining : Software Testing Applications"[slides].

  • Projects:

    • PHC AURORA 2018 project France/Norway. V&V via IA

    • Associate Participant to RCN T-LARGO Project (Testing of Learning Robots, Sep. 2018-Feb. 2022)

    • PEPS I3A 2018 INSMI and IN2SI project. Taxonomy of Query Types for Constraint Acquisition

    • UM 2017project. PRECONSY: Preferences and constraints for recommender systems.


  • chair  of:

  • SPC member  of:

  • PC member of:       


  • Reviewer for:

JOURNAL: Artificial Intelligence (AIJ), Constraints.


  • PhD Juries:

    • Namrata Patel (reviewer): October 2016, University of Montpellier.


  • invited TALKS:

  • 04-07-2018: ISMP'18- Bordeaux. "Constraint Acquisition".

  • 23-05-2017: Pôle SDD (Science des Données et de la Décision) - UMR LS2N. "Constraint Acquisition".

  • 24-02-2017: ROADEF17 - gdrRO - working group RO&Constraints. "New Approaches to Constraint Acquisition".

    10-03-2014: Spring workshop on Mining and Learning. Ostende, Belgium. "QUACQ: Quick Acquisition".


Once Upon A Time me

Postdoc positions:

at LIRMM ( oct. 2012/2013) at COCONUT team and involved in the FP7-FET project ICON. A Work done with Christian Bessiere on constraint acquisition.


at INRIA-Microsoft Research Joint Centre (oct. 2011/2012). Attached to TAO-LRI teamproject. Have worked with Youssef Hamadi, Michèle Sebag and Said Jabbour on learning efficient solving strategies on top of existing parallel SAT solver.


Phd thesis:

I passed my Phd at INRIA Rennes (IRISA), in the Celtique team (follow-up of Lande team), under the supervision of Arnaud Gotlieb, Yahia Lebbah and Thomas Jensen. My research area during my thesis was about the debugging in constraint programming, especially on the detection, localization and correction of faults in constraint models.


Contact Me

eXTReMe Tracker