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.
19-06-2018: Second CAVIAR working day [link]
CAVIAR working day [link]
31-10/2-11-17: ASE'17 participation from 31 Oct to 2nd Nov (Urbana Champaign Illilois state) - talk on Fault localization using Pattern Mining and Constraint Programming. (slides)
ICTAI'17 participation from 5 to 8 Nov (Boston)
- talk on Multiple Fault localization using Pattern
Mining and Constraint Programming. (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.
23-05-2017: Pôle SDD (Science des Données et de la Décision) - UMR LS2N. "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.