Research
Professor, LITIO Lab., Computer Science Department, University of Oran, Algeria
Associate Researcher, CeP Team, I3S, Université of Nice - Sophia Antipolis, France
Research topics
- Continuous constraints solving, global optimization and interval analysis
- Constraints satisfaction and combinatorial optimization
- Linear programming relaxations for continuous problems
- Program testing and verification
- Graph mining/Data mining
- Multicriteria optimization
Current projects
- High Performance Computing Center, University of Oran, Algeria
Visiting positions
- Laboratoire LIMOS, Université Clermont Auvergne, 25/03-06/04/2018
- Seminar "Global Constraints for Data Mining"
- Laboratoire Greyc, Université de Caen, France, 03/2014
- Short visiting positions, Laboratoire I3S, Université Nice Sophia Antipolis, France, 2001-2013.
- INRIA Sophia Antipolis, France, 09-10-11/2003
Past projects
- CMEP/TASSILI « Application de la programmation par contraintes en optimisation globale »
- Laboratoire I3S/CNRS, Université de Nice Sophia Antipolis, France ; Laboratoire LITIO, Université d’Oran, Algérie
- STIC Project « Traitement des contraintes issues du test de conformité des programmes à contraintes », (STIC6) 2011-2012
- Celtique, INRIA Rennes, France ; Laboratoire LITIO, Université d’Oran, Algérie
- COPRIN Project, INRIA & Laboratoire I3S, Université de Nice - Sophia Antipolis, France, 2002-2005
Papers