I'm an associate professor at the University
of Montpellier (IUT
Montpellier-Sète), since september 2013, and a member of the
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:
Declarative Data Mining.
Constraint-Based Software Testing.
Software Verification and Validation via Artificial Intelligence.
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].
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.
JOURNAL: Artificial Intelligence (AIJ), Constraints.
INTERNATIONAL CONF: AAAI, IJCAI, ECAI, CP, QSR, ICSME, QSIC, TAP, ICST.
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".
10-03-2014: Spring workshop on Mining and Learning. Ostende, Belgium. "QUACQ: Quick 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.