Oran - وهران
Rennes
3 / 3
New York
Alger
Rome
Bruxelle
Buenos Aires
Washington DC
Bruge
Cambridge
Chicago
Edenburg
Montreal
Pompei
Tlemcen - تلمسان
Barcelone
Cork
Angers
Boston
Lillehammer
St Andrews
Nancy
Kristel
Salerno
Le Havre
Camp nou
London
Montmarin
Quebec
Madagh
Roubaix
Limassol

Portfolio


About me


Nadjib Lazaar is a full professor at Paris-Saclay , affiliated with the LaHDAK team at the LISN laboratory. Previously, from 2013 to 2024, he served as 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).

Highlights


  • NEWS:

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].



  • European Projects:

  • Other Projects:

    • 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.

 

  • ACP Executive Committee member (Treasury officer) from January 1st 2023


  • chair  of:


  • SPC member  of:


  • PC member of:       

 

  • Reviewer for:

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.

 

  • 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