Nadjib Lazaar is an Associate Professor of Computer Science (Maître de Conférences - HDR) at the University of Montpellier
(IUT Montpellier-Sète) and a member of the MaREL team at the LIRMM.
His research interests are at the intersection of Constraint Programming, Data Mining, Machine Learning, and Software Engineering.
His current research focuses on developing techniques and tools for Constraint Acquisition, Declarative Data Mining,
Constraint-Based Software Testing, Software Verification, and Validation through Artificial Intelligence for Neuro-Symbolic and
Trustworthy AI systems. The current work is part of a partnership with Simula
(Constraint Acquisition for Autonomous Vehicles), CEA Paris-Saclay (AI for Verification),
and Nehs Digital (AI for Health).
ACP Executive Committee member (Treasury officer) from January 1st 2023
14-04-2021: Invited talk at GT-GLIA kickoff meeting.
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].
CAP Project (2023-2024) - Défi clé “Institut Cybersécurité d’Occitanie”
SATT AxLR Projet de Maturation FlowGraft (2023-2025)
UM 2020/2021 projet, CAR: Constraint Acquisition and Learning Robots.
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 2017 project. PRECONSY: Preferences and constraints for recommender systems.
ANR project BR4CP (2012 - 2015)
APROSOP IN2SI PEPS-JCJC projet (2015)
JOURNAL: Artificial Intelligence (AIJ), Journal of Artificial Intelligence Research (JAIR), Constraints, Aircraft Engineering and Aerospace Technology, Soft Computing.
INTERNATIONAL CONF: AAAI, IJCAI, IJCAI Survey Track, ECAI, CP, CPAIOR, QSR, ICSME, QSIC, TAP, ICST, AITEST.
NATIONAL and WORKSHOPS: JFPC, DP-CP, LML, CSTVA.
Namrata Patel (reviewer): October 2016, University of Montpellier.
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".
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.
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.